The cat does not chase the squirrel. The cat eats the squirrel. The cat is blue. The cat is not cold. The cat is round. The cat visits the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is cold. The squirrel does not visit the cat. If someone eats the squirrel then the squirrel is cold. If the squirrel chases the cat then the cat eats the squirrel. If someone is nice then they are red. If the cat is red and the cat eats the squirrel then the squirrel is round. If the squirrel chases the cat and the cat chases the squirrel then the squirrel is not round. If someone is red and they chase the cat then they are cold. If someone chases the cat and they visit the cat then the cat is cold. If someone visits the squirrel then they are nice.
The cat does not visit the cat.
@0: The cat does not chase the squirrel.[(triple1)] The cat eats the squirrel.[(triple2 OR ((triple7) -> rule2))] The cat is blue.[(triple3)] The cat is not cold.[(triple4)] The cat is round.[(triple5)] The cat visits the squirrel.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel does not visit the cat.[(triple10)] The squirrel eats the cat.[(triple8)] The squirrel is cold.[(triple9 OR ((triple2) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] @1: The cat is nice.[(((triple6) -> rule8))] @2: The cat is red.[(((((triple6) -> rule8)) -> rule3))] @3: The squirrel is round.[(((((((triple6) -> rule8)) -> rule3) triple2) -> rule4) OR ((((((triple6) -> rule8)) -> rule3) ((triple7) -> rule2)) -> rule4))]