The mouse is blue. The mouse is cold. The mouse needs the rabbit. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit sees the mouse. The rabbit visits the mouse. If something needs the rabbit and the rabbit sees the mouse then the rabbit visits the mouse. If something visits the mouse and it is round then the mouse sees the rabbit. If something sees the rabbit then it needs the rabbit.
The rabbit is cold.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse needs the rabbit.[(triple3 OR ((triple4) -> rule3))] The mouse sees the rabbit.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit sees the mouse.[(triple6)] The rabbit visits the mouse.[(triple7 OR ((triple3 triple6) -> rule1) OR ((((triple4) -> rule3) triple6) -> rule1))]