The bear likes the rabbit. The cow is big. The mouse likes the cow. The rabbit is blue. If someone chases the cow then the cow is rough. If someone chases the cow and they are big then they are rough. If someone likes the cow then the cow eats the mouse. If someone eats the cow then they like the bear. If the bear is big and the bear is blue then the bear eats the mouse. If the rabbit eats the cow and the cow is blue then the cow chases the bear. If someone likes the rabbit and the rabbit likes the mouse then they like the bear. If someone eats the mouse then they eat the cow.
The bear is not nice.
@0: The bear likes the rabbit.[(triple1)] The cow is big.[(triple2)] The mouse likes the cow.[(triple3)] The rabbit is blue.[(triple4)] @1: The cow eats the mouse.[(((triple3) -> rule3))] @2: The cow eats the cow.[(((((triple3) -> rule3)) -> rule8))] @3: The cow likes the bear.[(((((((triple3) -> rule3)) -> rule8)) -> rule4))]