The cat eats the squirrel. The cat is cold. The dog eats the squirrel. The squirrel is young. The squirrel sees the cat. The squirrel visits the cat. The squirrel visits the dog. If something visits the squirrel and it eats the dog then the dog sees the squirrel. If something is young then it visits the dog. If the squirrel eats the dog and the dog is young then the squirrel is kind. If something visits the dog then the dog sees the cat. If something eats the squirrel and it sees the cat then it eats the cat. If something visits the cat and it is young then the cat visits the squirrel. If something visits the squirrel then it is young. If the squirrel is young then the squirrel is round.
The dog sees the squirrel.
@0: The cat eats the squirrel.[(triple1)] The cat is cold.[(triple2)] The dog eats the squirrel.[(triple3)] The squirrel is young.[(triple4)] The squirrel sees the cat.[(triple5)] The squirrel visits the cat.[(triple6)] The squirrel visits the dog.[(triple7 OR ((triple4) -> rule2))] @1: The cat visits the squirrel.[(((triple6 triple4) -> rule6))] The dog sees the cat.[(((triple7) -> rule4) OR ((((triple4) -> rule2)) -> rule4) OR ((((((((triple6 triple4) -> rule6)) -> rule7)) -> rule2)) -> rule4))] The squirrel is round.[(((triple4) -> rule8))] @2: The cat is young.[(((((triple6 triple4) -> rule6)) -> rule7))] The dog eats the cat.[(((triple3 ((triple7) -> rule4)) -> rule5) OR ((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule5) OR ((triple3 ((((((((triple6 triple4) -> rule6)) -> rule7)) -> rule2)) -> rule4)) -> rule5))] @3: The cat visits the dog.[(((((((triple6 triple4) -> rule6)) -> rule7)) -> rule2))]