The cat sees the mouse. The mouse likes the cat. The mouse sees the cat. If something visits the cat and it likes the mouse then it likes the cat. If something sees the cat and it is rough then it sees the mouse. If something visits the mouse and it visits the cat then the cat sees the mouse. If something sees the cat and it sees the mouse then it visits the mouse. If something sees the mouse then the mouse is cold. If something likes the cat then it is rough.
The mouse is not green.
@0: The cat sees the mouse.[(triple1)] The mouse likes the cat.[(triple2)] The mouse sees the cat.[(triple3)] @1: The mouse is cold.[(((triple1) -> rule5) OR ((((triple3 ((triple2) -> rule6)) -> rule2)) -> rule5))] The mouse is rough.[(((triple2) -> rule6))] @2: The mouse sees the mouse.[(((triple3 ((triple2) -> rule6)) -> rule2))] @3: The mouse visits the mouse.[(((triple3 ((triple3 ((triple2) -> rule6)) -> rule2)) -> rule4))]