The cat chases the squirrel. The cat eats the squirrel. The cat is nice. The cat is red. The cat is round. The cat sees the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel sees the cat. If something is nice and red then it eats the cat. If something is rough and it chases the squirrel then the squirrel is blue.
The squirrel is not blue.
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat sees the squirrel.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel eats the cat.[(triple8 OR ((triple9 triple10) -> rule1))] The squirrel is nice.[(triple9)] The squirrel is red.[(triple10)] The squirrel is round.[(triple11)] The squirrel sees the cat.[(triple12)] @1: The cat eats the cat.[(((triple3 triple4) -> rule1))]