The cat eats the squirrel. The cat is blue. The cat is green. The cat is red. The cat is rough. The cat is round. The cat likes the squirrel. The cat sees the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the cat. The squirrel sees the cat. If something is round then it eats the squirrel. If something sees the cat and it likes the squirrel then the cat is green. All red, blue things are green. If something is green and it likes the squirrel then the squirrel eats the cat. If the squirrel eats the cat then the cat sees the squirrel. If something sees the cat then the cat sees the squirrel.
The squirrel does not like the squirrel.
@0: The cat eats the squirrel.[(triple1 OR ((triple6) -> rule1))] The cat is blue.[(triple2)] The cat is green.[(triple3 OR ((triple4 triple2) -> rule3))] The cat is red.[(triple4)] The cat is rough.[(triple5)] The cat is round.[(triple6)] The cat likes the squirrel.[(triple7)] The cat sees the squirrel.[(triple8 OR ((triple16) -> rule6) OR ((triple9) -> rule5) OR ((((triple3 triple7) -> rule4)) -> rule5) OR ((((((triple4 triple2) -> rule3) triple7) -> rule4)) -> rule5))] The squirrel eats the cat.[(triple9 OR ((triple3 triple7) -> rule4) OR ((((triple4 triple2) -> rule3) triple7) -> rule4))] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11 OR ((triple12 triple10) -> rule3))] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the cat.[(triple15)] The squirrel sees the cat.[(triple16)] @1: The squirrel eats the squirrel.[(((triple14) -> rule1))]