The cat does not eat the rabbit. The cat is nice. The cat is young. The cat likes the squirrel. The cat visits the squirrel. The rabbit is nice. The rabbit does not like the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel likes the cat. The squirrel visits the cat. The squirrel visits the rabbit. If something is red and nice then it eats the cat. If the cat is not red then the cat is not nice. If something likes the cat then it is nice.
The cat eats the cat.
@0: The cat does not eat the rabbit.[(triple1)] The cat is nice.[(triple2)] The cat is young.[(triple3)] The cat likes the squirrel.[(triple4)] The cat visits the squirrel.[(triple5)] The rabbit does not like the squirrel.[(triple7)] The rabbit is nice.[(triple6)] The squirrel eats the rabbit.[(triple8)] The squirrel is big.[(triple9)] The squirrel is red.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel visits the cat.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The squirrel is nice.[(((triple13) -> rule3))] @2: The squirrel eats the cat.[(((triple10 ((triple13) -> rule3)) -> rule1))]