The bear chases the cow. The bear is big. The bear likes the rabbit. The cow is big. The cow needs the mouse. The mouse is round. The mouse does not like the bear. The mouse needs the cow. The mouse needs the rabbit. The rabbit is young. If something likes the bear then it is not big. If something likes the mouse then it is green. If something needs the mouse then it likes the mouse.
The cow is not big.
@0: The bear chases the cow.[(triple1)] The bear is big.[(triple2)] The bear likes the rabbit.[(triple3)] The cow is big.[(triple4)] The cow needs the mouse.[(triple5)] The mouse does not like the bear.[(triple7)] The mouse is round.[(triple6)] The mouse needs the cow.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit is young.[(triple10)] @1: The cow likes the mouse.[(((triple5) -> rule3))] @2: The cow is green.[(((((triple5) -> rule3)) -> rule2))]