@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix : <#>.

this log:forAll :x.


:me <#hairColor> "red".
<#something> <#suggests> { :me <#height> "6foot2inches" }.



{ :x <#hairColor> "red".
  <#something> <#suggests> { :x <#height> "6foot2inches" }
}
  log:implies { :x a :Found }.

#  { this log:forSome :y.
#    :y <#hairColor> "red".
#  <#something> <#suggests> { :x <#height> "6foot2inches" }
#}
#  log:implies { :x a :Found2 }.