The dog chases the tiger. The mouse chases the rabbit. The rabbit is blue. The tiger is not nice. If someone chases the tiger then they chase the mouse. If someone chases the mouse then the mouse chases the tiger. If someone is green then they do not chase the tiger. If the rabbit needs the mouse and the rabbit does not like the mouse then the rabbit is blue. If someone likes the rabbit and the rabbit likes the mouse then the mouse is not blue. If someone likes the tiger then the tiger is nice.
The mouse does not chase the tiger.
@0: The dog chases the tiger.[(triple1)] The mouse chases the rabbit.[(triple2)] The rabbit is blue.[(triple3)] The tiger is not nice.[(triple4)] @1: The dog chases the mouse.[(((triple1) -> rule1))] @2: The mouse chases the tiger.[(((((triple1) -> rule1)) -> rule2))] @3: The mouse chases the mouse.[(((((((triple1) -> rule1)) -> rule2)) -> rule1))]