The mouse is cold. The mouse likes the rabbit. The rabbit is not blue. The rabbit is cold. The rabbit is not green. The rabbit is red. The rabbit is round. The rabbit likes the mouse. The rabbit sees the mouse. The rabbit visits the mouse. If someone visits the rabbit and the rabbit likes the mouse then they see the rabbit. If someone likes the mouse then the mouse sees the rabbit. If someone is red then they visit the rabbit.
The mouse sees the rabbit.
@0: The mouse is cold.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit is cold.[(triple4)] The rabbit is not blue.[(triple3)] The rabbit is not green.[(triple5)] The rabbit is red.[(triple6)] The rabbit is round.[(triple7)] The rabbit likes the mouse.[(triple8)] The rabbit sees the mouse.[(triple9)] The rabbit visits the mouse.[(triple10)] @1: The mouse sees the rabbit.[(((triple8) -> rule2))] The rabbit visits the rabbit.[(((triple6) -> rule3))] @2: The rabbit sees the rabbit.[(((((triple6) -> rule3) triple8) -> rule1))]