@prefix s: <http://infomesh.net/simp.n3#> .
@prefix : <#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

this log:forAll :x , :y .

{ :x s:watchedSimpsonsEpisodesToday :y . :y log:greaterThan "1" }
log:implies
{ s:Today s:notA s:Saturday } .