The cow is blue. The cow needs the dog. The cow needs the squirrel. The cow sees the dog. The dog is big. The dog needs the cow. The dog needs the squirrel. The dog sees the cow. The squirrel is nice. The squirrel visits the dog. If the dog needs the cow then the cow is big. If someone is big then they visit the dog. If the cow is green then the cow needs the squirrel. If the cow needs the squirrel and the cow visits the dog then the cow sees the squirrel. If someone visits the squirrel then the squirrel is green. If someone sees the cow and they visit the cow then they visit the dog.
The cow visits the dog.
@0: The cow is blue.[(triple1)] The cow needs the dog.[(triple2)] The cow needs the squirrel.[(triple3)] The cow sees the dog.[(triple4)] The dog is big.[(triple5)] The dog needs the cow.[(triple6)] The dog needs the squirrel.[(triple7)] The dog sees the cow.[(triple8)] The squirrel is nice.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The cow is big.[(((triple6) -> rule1))] The dog visits the dog.[(((triple5) -> rule2))] @2: The cow visits the dog.[(((((triple6) -> rule1)) -> rule2))] @3: The cow sees the squirrel.[(((triple3 ((((triple6) -> rule1)) -> rule2)) -> rule4))]