The bear is big. The bear is red. The bear needs the cow. The cow eats the bear. The cow is blue. The cow likes the bear. The cow needs the bear. If someone is red and they need the cow then the cow eats the bear. If someone eats the bear then the bear is red. If someone needs the bear and they are nice then the bear is blue. If someone needs the cow and the cow likes the bear then the bear likes the cow. If the bear likes the cow then the cow is nice. If the cow is big and the cow eats the bear then the cow is red. If someone likes the cow and they eat the cow then they need the bear. If the bear eats the cow then the bear likes the cow.
The bear eats the cow.
@0: The bear is big.[(triple1)] The bear is red.[(triple2 OR ((triple4) -> rule2))] The bear needs the cow.[(triple3)] The cow eats the bear.[(triple4 OR ((triple2 triple3) -> rule1))] The cow is blue.[(triple5)] The cow likes the bear.[(triple6)] The cow needs the bear.[(triple7)] @1: The bear likes the cow.[(((triple3 triple6) -> rule4))] @2: The cow is nice.[(((((triple3 triple6) -> rule4)) -> rule5))] @3: The bear is blue.[(((triple7 ((((triple3 triple6) -> rule4)) -> rule5)) -> rule3))]