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