The mouse does not eat the rabbit. The mouse is blue. The mouse is not cold. The mouse is round. The mouse is young. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is not blue. The rabbit sees the mouse. If something sees the mouse then it visits the mouse. If something eats the rabbit and the rabbit visits the mouse then the mouse does not see the rabbit. If the mouse does not see the rabbit then the rabbit eats the mouse.
The mouse is cold.
@0: The mouse does not eat the rabbit.[(triple1)] The mouse is blue.[(triple2)] The mouse is not cold.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)] The mouse sees the rabbit.[(triple6)] The mouse visits the rabbit.[(triple7)] The rabbit eats the mouse.[(triple8)] The rabbit is not blue.[(triple9)] The rabbit sees the mouse.[(triple10)] @1: The rabbit visits the mouse.[(((triple10) -> rule1))]