The cat eats the squirrel. The cat is blue. The cat likes the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is big. The squirrel is not blue. The squirrel is kind. The squirrel is red. The squirrel is not round. The squirrel likes the cat. The squirrel visits the cat. If something visits the squirrel and it is kind then it eats the cat. If the squirrel visits the cat then the cat is kind. If something is red then it visits the cat. If something is round and blue then it does not eat the squirrel. If something eats the cat then the cat is not red. If something likes the squirrel and the squirrel does not like the cat then the squirrel visits the cat.
The squirrel visits the squirrel.
@0: The cat eats the squirrel.[(triple1)] The cat is blue.[(triple2)] The cat likes the squirrel.[(triple3)] The cat visits the squirrel.[(triple4)] The squirrel eats the cat.[(triple5)] The squirrel is big.[(triple6)] The squirrel is kind.[(triple8)] The squirrel is not blue.[(triple7)] The squirrel is not round.[(triple10)] The squirrel is red.[(triple9)] The squirrel likes the cat.[(triple11)] The squirrel visits the cat.[(triple12 OR ((triple9) -> rule3))] @1: The cat is kind.[(((triple12) -> rule2) OR ((((triple9) -> rule3)) -> rule2))] The cat is not red.[(((triple5) -> rule5) OR ((((triple4 ((triple12) -> rule2)) -> rule1)) -> rule5) OR ((((triple4 ((((triple9) -> rule3)) -> rule2)) -> rule1)) -> rule5))] @2: The cat eats the cat.[(((triple4 ((triple12) -> rule2)) -> rule1) OR ((triple4 ((((triple9) -> rule3)) -> rule2)) -> rule1))]