The cat likes the tiger. The rabbit is blue. The rabbit is nice. The squirrel eats the tiger. The squirrel is nice. The tiger is rough. The tiger needs the cat. If something likes the squirrel then it eats the rabbit.
The squirrel does not eat the rabbit.
@0: The cat likes the tiger.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is nice.[(triple3)] The squirrel eats the tiger.[(triple4)] The squirrel is nice.[(triple5)] The tiger is rough.[(triple6)] The tiger needs the cat.[(triple7)]