The bear likes the cow. The cat is rough. The cow likes the bear. The mouse likes the cat. If something is blue and it likes the bear then the bear likes the mouse. If something is round and it does not like the bear then it does not eat the cow. If something likes the cat and it is not round then the cat eats the cow. Young things are red. If something is rough then it eats the bear. If something is rough and it eats the bear then the bear likes the cat.
The mouse does not like the cat.
@0: The bear likes the cow.[(triple1)] The cat is rough.[(triple2)] The cow likes the bear.[(triple3)] The mouse likes the cat.[(triple4)] @1: The cat eats the bear.[(((triple2) -> rule5))] @2: The bear likes the cat.[(((triple2 ((triple2) -> rule5)) -> rule6))]