The cow is blue. The cow likes the mouse. The cow likes the tiger. The mouse eats the cow. The mouse is blue. The tiger chases the cow. The tiger likes the mouse. If someone chases the cow and they are nice then they chase the mouse. All big, blue people are round. If someone likes the tiger then the tiger is nice.
The tiger is nice.
@0: The cow is blue.[(triple1)] The cow likes the mouse.[(triple2)] The cow likes the tiger.[(triple3)] The mouse eats the cow.[(triple4)] The mouse is blue.[(triple5)] The tiger chases the cow.[(triple6)] The tiger likes the mouse.[(triple7)] @1: The tiger is nice.[(((triple3) -> rule3))] @2: The tiger chases the mouse.[(((triple6 ((triple3) -> rule3)) -> rule1))]