The mouse chases the rabbit. The mouse likes the rabbit. The rabbit is nice. If something is nice then it likes the rabbit. If something eats the mouse then it does not like the rabbit. If something chases the rabbit then it likes the rabbit. If the rabbit chases the mouse then the mouse eats the rabbit. If something is cold then it does not like the mouse. If something chases the mouse then it is cold.
The rabbit eats the mouse.
@0: The mouse chases the rabbit.[(triple1)] The mouse likes the rabbit.[(triple2 OR ((triple1) -> rule3))] The rabbit is nice.[(triple3)] @1: The rabbit likes the rabbit.[(((triple3) -> rule1))]