The mouse does not see the rabbit. The mouse sees the tiger. The mouse visits the tiger. The rabbit is green. The rabbit is not rough. The tiger is kind. The tiger does not see the mouse. If someone likes the tiger then they see the mouse. If someone is green then they like the tiger.
The mouse does not see the mouse.
@0: The mouse does not see the rabbit.[(triple1)] The mouse sees the tiger.[(triple2)] The mouse visits the tiger.[(triple3)] The rabbit is green.[(triple4)] The rabbit is not rough.[(triple5)] The tiger does not see the mouse.[(triple7)] The tiger is kind.[(triple6)] @1: The rabbit likes the tiger.[(((triple4) -> rule2))] @2: The rabbit sees the mouse.[(((((triple4) -> rule2)) -> rule1))]