The cat is cold. The cat is kind. The cat is red. The cat visits the dog. The cat visits the squirrel. The dog does not eat the cat. The dog likes the squirrel. The squirrel eats the dog. The squirrel visits the cat. The squirrel visits the dog. If something likes the squirrel and it does not visit the squirrel then it eats the cat. If something is young then it does not eat the cat. If something is red then it visits the cat. If something visits the cat then it is young. If something eats the squirrel then it does not like the squirrel. If the dog likes the squirrel then the dog visits the cat.
The dog visits the cat.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat is red.[(triple3)] The cat visits the dog.[(triple4)] The cat visits the squirrel.[(triple5)] The dog does not eat the cat.[(triple6 OR ((((((triple7) -> rule6)) -> rule4)) -> rule2))] The dog likes the squirrel.[(triple7)] The squirrel eats the dog.[(triple8)] The squirrel visits the cat.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The cat visits the cat.[(((triple3) -> rule3))] The dog visits the cat.[(((triple7) -> rule6))] The squirrel is young.[(((triple9) -> rule4))] @2: The cat is young.[(((((triple3) -> rule3)) -> rule4))] The dog is young.[(((((triple7) -> rule6)) -> rule4))] The squirrel does not eat the cat.[(((((triple9) -> rule4)) -> rule2))] @3: The cat does not eat the cat.[(((((((triple3) -> rule3)) -> rule4)) -> rule2))]