The bear eats the cat. The bear is round. The bear likes the rabbit. The cat eats the squirrel. The cat is blue. The cat likes the bear. The cat needs the squirrel. The rabbit is blue. The rabbit likes the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel is red. If something eats the bear then the bear eats the cat.
The cat does not need the cat.
@0: The bear eats the cat.[(triple1)] The bear is round.[(triple2)] The bear likes the rabbit.[(triple3)] The cat eats the squirrel.[(triple4)] The cat is blue.[(triple5)] The cat likes the bear.[(triple6)] The cat needs the squirrel.[(triple7)] The rabbit is blue.[(triple8)] The rabbit likes the squirrel.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is red.[(triple12)]