The mouse sees the tiger. The rabbit does not eat the tiger. The squirrel is nice. The tiger is green. If someone sees the tiger then they eat the mouse. If someone is green then they like the squirrel. If someone is green and they eat the tiger then the tiger does not like the mouse.
The tiger is blue.
@0: The mouse sees the tiger.[(triple1)] The rabbit does not eat the tiger.[(triple2)] The squirrel is nice.[(triple3)] The tiger is green.[(triple4)] @1: The mouse eats the mouse.[(((triple1) -> rule1))] The tiger likes the squirrel.[(((triple4) -> rule2))]