The mouse chases the rabbit. The mouse is cold. The rabbit sees the mouse. If someone sees the mouse then they are cold. If someone likes the rabbit and they like the mouse then they see the mouse. If someone chases the mouse then they like the rabbit. If the mouse is big and the mouse sees the rabbit then the mouse likes the rabbit. If someone is cold then they chase the mouse. If someone likes the rabbit then the rabbit chases the mouse.
The mouse is nice.
@0: The mouse chases the rabbit.[(triple1)] The mouse is cold.[(triple2)] The rabbit sees the mouse.[(triple3)] @1: The mouse chases the mouse.[(((triple2) -> rule5))] The rabbit is cold.[(((triple3) -> rule1))] @2: The mouse likes the rabbit.[(((((triple2) -> rule5)) -> rule3))] The rabbit chases the mouse.[(((((triple3) -> rule1)) -> rule5) OR ((((((triple2) -> rule5)) -> rule3)) -> rule6))] @3: The rabbit likes the rabbit.[(((((((triple3) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule3))]