@prefix : <http://purl.org/net/sw/sbp/#> .
@prefix log: <http://www.w3.org/2000/10/swap/log.n3#> .
:Sean :knowsWell :Aaron, :Seth, :William .
:Aaron :emailBox <mailto:aaron@aaronsw.com> .
:Seth :emailBox <mailto:seth@robustai.net> .
:William :emailBox <mailto:love26@gorge.net> .
:Aaron :knowsWell :Seth, :William .
:Seth :knowsWell :William .

<> log:forAll <#x> , <#y> .
{ <#x> :knowsWell <#y> . } log:implies { <#y> :knowsWell <#x> . } .
# Should infer, e.g., :William :knowsWell :Seth .