The bear eats the cat. The bear eats the cow. The bear likes the cow. The cat eats the cow. The cat is big. The cat needs the cow. The cow eats the bear. The cow eats the cat. The cow needs the bear. The cow needs the cat. If something eats the cat then the cat is red. If the bear needs the cow and the cow likes the cat then the cow eats the bear. If something likes the cat then it is nice.
The bear needs the cat.
@0: The bear eats the cat.[(triple1)] The bear eats the cow.[(triple2)] The bear likes the cow.[(triple3)] The cat eats the cow.[(triple4)] The cat is big.[(triple5)] The cat needs the cow.[(triple6)] The cow eats the bear.[(triple7)] The cow eats the cat.[(triple8)] The cow needs the bear.[(triple9)] The cow needs the cat.[(triple10)] @1: The cat is red.[(((triple1) -> rule1) OR ((triple8) -> rule1))]