The bear eats the cow. The cow is red. The mouse eats the tiger. The tiger eats the mouse. All cold people are red. If the cow chases the bear and the cow is not green then the bear eats the tiger. Red people are blue. If someone is green then they chase the bear. If the tiger is red and the tiger chases the cow then the cow likes the mouse. If someone is blue then they do not eat the mouse.
The bear likes the tiger.
@0: The bear eats the cow.[(triple1)] The cow is red.[(triple2)] The mouse eats the tiger.[(triple3)] The tiger eats the mouse.[(triple4)] @1: The cow is blue.[(((triple2) -> rule3))] @2: The cow does not eat the mouse.[(((((triple2) -> rule3)) -> rule6))]