The cow does not chase the mouse. The mouse is not red. The tiger is rough. If the mouse is nice and the mouse likes the tiger then the mouse does not like the cow. If the mouse is not red then the mouse sees the tiger. If something sees the tiger then the tiger is nice. If the mouse likes the tiger and the mouse is not round then the tiger does not like the mouse. If something chases the mouse then it sees the tiger. If something chases the mouse and it likes the mouse then it chases the tiger. If something is nice then it does not like the cow. If something likes the mouse and it chases the cow then it does not see the mouse.
The mouse chases the tiger.
@0: The cow does not chase the mouse.[(triple1)] The mouse is not red.[(triple2)] The tiger is rough.[(triple3)] @1: The mouse sees the tiger.[(((triple2) -> rule2))] @2: The tiger is nice.[(((((triple2) -> rule2)) -> rule3))] @3: The tiger does not like the cow.[(((((((triple2) -> rule2)) -> rule3)) -> rule7))]