The bear is big. The bear visits the squirrel. The cat is blue. The cat visits the dog. The dog does not see the bear. The dog sees the cat. The squirrel does not need the dog. If something is big then it sees the squirrel. If something is big then it needs the squirrel. If the squirrel is not blue then the squirrel is not big. If something visits the cat and the cat visits the bear then the cat does not visit the dog. If something sees the dog and it visits the bear then it sees the cat. If something needs the squirrel then the squirrel visits the cat. If something is big and rough then it is young. If something sees the cat and the cat visits the squirrel then the squirrel needs the dog.
The squirrel visits the cat.
@0: The bear is big.[(triple1)] The bear visits the squirrel.[(triple2)] The cat is blue.[(triple3)] The cat visits the dog.[(triple4)] The dog does not see the bear.[(triple5)] The dog sees the cat.[(triple6)] The squirrel does not need the dog.[(triple7)] @1: The bear needs the squirrel.[(((triple1) -> rule2))] The bear sees the squirrel.[(((triple1) -> rule1))] @2: The squirrel visits the cat.[(((((triple1) -> rule2)) -> rule6))]