The cow likes the squirrel. The squirrel visits the cow. If the cow needs the squirrel and the cow visits the squirrel then the cow likes the squirrel. If something is big then it visits the squirrel. If something visits the cow then the cow likes the squirrel. If something visits the cow and the cow likes the squirrel then the cow visits the squirrel. If something visits the squirrel then it needs the squirrel. If something is red then it likes the squirrel. If something is round and it likes the cow then it needs the cow. If something visits the squirrel and the squirrel needs the cow then the cow needs the squirrel.
The cow visits the squirrel.
@0: The cow likes the squirrel.[(triple1 OR ((triple2) -> rule3))] The squirrel visits the cow.[(triple2)] @1: The cow visits the squirrel.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule3)) -> rule4))] @2: The cow needs the squirrel.[(((((triple2 triple1) -> rule4)) -> rule5) OR ((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule5))]