The mouse chases the rabbit. The mouse is nice. The mouse is rough. The mouse likes the rabbit. The rabbit is nice. The rabbit is rough. The rabbit likes the mouse. If someone likes the rabbit then the rabbit chases the mouse. If someone likes the mouse and they chase the mouse then they like the rabbit.
The mouse is not cold.
@0: The mouse chases the rabbit.[(triple1)] The mouse is nice.[(triple2)] The mouse is rough.[(triple3)] The mouse likes the rabbit.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is rough.[(triple6)] The rabbit likes the mouse.[(triple7)] @1: The rabbit chases the mouse.[(((triple4) -> rule1))] @2: The rabbit likes the rabbit.[(((triple7 ((triple4) -> rule1)) -> rule2))]