The cat eats the squirrel. The cat is big. The cat is cold. The cat is young. The cat needs the squirrel. The squirrel eats the cat. The squirrel is big. The squirrel is cold. The squirrel is rough. The squirrel is young. The squirrel likes the cat. The squirrel needs the cat. If something eats the cat then it likes the squirrel. If something likes the squirrel and the squirrel eats the cat then it eats the squirrel.
The cat is not cold.
@0: The cat eats the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is young.[(triple4)] The cat needs the squirrel.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel is big.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the cat.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The squirrel likes the squirrel.[(((triple6) -> rule1))] @2: The squirrel eats the squirrel.[(((((triple6) -> rule1) triple6) -> rule2))]