The cat eats the squirrel. The cat likes the tiger. The cow eats the tiger. The cow is not blue. The cow likes the cat. The squirrel is blue. The tiger is nice. If someone needs the cat then they are not blue. If someone likes the cow then they are not blue. If someone is big and they eat the tiger then they eat the cat. If the cat eats the squirrel then the squirrel likes the cat. If someone eats the cat and they need the tiger then the tiger is nice. If someone is nice and big then they like the cat.
The tiger does not like the cat.
@0: The cat eats the squirrel.[(triple1)] The cat likes the tiger.[(triple2)] The cow eats the tiger.[(triple3)] The cow is not blue.[(triple4)] The cow likes the cat.[(triple5)] The squirrel is blue.[(triple6)] The tiger is nice.[(triple7)] @1: The squirrel likes the cat.[(((triple1) -> rule4))]