The cat likes the squirrel. The cat likes the tiger. The dog is blue. The dog is nice. The dog is young. The squirrel eats the dog. The squirrel is young. The tiger eats the cat. The tiger eats the squirrel. The tiger is nice. The tiger is round. The tiger does not like the squirrel. If the cat does not need the squirrel and the squirrel is not nice then the squirrel needs the cat. If the tiger eats the squirrel then the squirrel needs the cat. If something eats the squirrel then the squirrel is blue. If something is young then it likes the cat. If something is blue then it is cold. If the tiger needs the cat and the tiger is not blue then the tiger likes the cat. If something eats the tiger then the tiger does not need the squirrel. If something is blue and it does not need the cat then the cat eats the dog.
The tiger is not nice.
@0: The cat likes the squirrel.[(triple1)] The cat likes the tiger.[(triple2)] The dog is blue.[(triple3)] The dog is nice.[(triple4)] The dog is young.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel is young.[(triple7)] The tiger does not like the squirrel.[(triple12)] The tiger eats the cat.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is nice.[(triple10)] The tiger is round.[(triple11)] @1: The dog is cold.[(((triple3) -> rule5))] The dog likes the cat.[(((triple5) -> rule4))] The squirrel is blue.[(((triple9) -> rule3))] The squirrel likes the cat.[(((triple7) -> rule4))] The squirrel needs the cat.[(((triple9) -> rule2))] @2: The squirrel is cold.[(((((triple9) -> rule3)) -> rule5))]