The cat needs the dog. The dog chases the cat. The dog chases the squirrel. The dog is blue. The dog is young. The dog visits the cat. The dog visits the squirrel. The squirrel does not chase the dog. The squirrel is blue. The squirrel is cold. The squirrel does not visit the cat. The squirrel visits the dog. If something needs the dog then it visits the dog. If something needs the dog and the dog is blue then it visits the squirrel. If something visits the squirrel then it is not cold. If something needs the dog and it is not cold then it does not need the cat. If something chases the squirrel then the squirrel does not visit the cat. If something needs the cat and it chases the dog then the cat chases the squirrel.
The squirrel does not visit the squirrel.
@0: The cat needs the dog.[(triple1)] The dog chases the cat.[(triple2)] The dog chases the squirrel.[(triple3)] The dog is blue.[(triple4)] The dog is young.[(triple5)] The dog visits the cat.[(triple6)] The dog visits the squirrel.[(triple7)] The squirrel does not chase the dog.[(triple8)] The squirrel does not visit the cat.[(triple11 OR ((triple3) -> rule5))] The squirrel is blue.[(triple9)] The squirrel is cold.[(triple10)] The squirrel visits the dog.[(triple12)] @1: The cat visits the dog.[(((triple1) -> rule1))] The cat visits the squirrel.[(((triple1 triple4) -> rule2))] The dog is not cold.[(((triple7) -> rule3))] @2: The cat is not cold.[(((((triple1 triple4) -> rule2)) -> rule3))] @3: The cat does not need the cat.[(((triple1 ((((triple1 triple4) -> rule2)) -> rule3)) -> rule4))]