The bear is not round. The cow needs the bear. The dog is green. The squirrel visits the bear. If something sees the squirrel then it needs the dog. If something visits the bear then it visits the dog. If something is nice and it visits the squirrel then it sees the bear. If the dog is green then the dog visits the bear. If something needs the bear and the bear is not nice then the bear does not visit the cow. If something is nice and it does not visit the bear then it needs the bear.
The squirrel sees the squirrel.
@0: The bear is not round.[(triple1)] The cow needs the bear.[(triple2)] The dog is green.[(triple3)] The squirrel visits the bear.[(triple4)] @1: The dog visits the bear.[(((triple3) -> rule4))] The squirrel visits the dog.[(((triple4) -> rule2))] @2: The dog visits the dog.[(((((triple3) -> rule4)) -> rule2))]