The bear is round. The cow eats the mouse. The mouse likes the cow. If something chases the bear and the bear chases the cow then it is rough. If something chases the mouse then it is nice. All rough things are nice. If something is round then it chases the cow. If the mouse is green then the mouse does not eat the cow. If the bear is round and the bear chases the cow then the bear chases the mouse.
The cow is big.
@0: The bear is round.[(triple1)] The cow eats the mouse.[(triple2)] The mouse likes the cow.[(triple3)] @1: The bear chases the cow.[(((triple1) -> rule4))] @2: The bear chases the mouse.[(((triple1 ((triple1) -> rule4)) -> rule6))] @3: The bear is nice.[(((((triple1 ((triple1) -> rule4)) -> rule6)) -> rule2))]