The cow sees the mouse. The mouse is red. The mouse is rough. If something likes the cow then it is not nice. If something is green and it eats the mouse then it is not nice. If something eats the mouse and it is red then it does not like the mouse. If something sees the cow then it eats the cow. If something eats the mouse then the mouse sees the cow. If something likes the cow then it is round. If something is red then it eats the mouse. If something sees the mouse and it does not like the mouse then the mouse eats the cow.
The cow likes the mouse.
@0: The cow sees the mouse.[(triple1)] The mouse is red.[(triple2)] The mouse is rough.[(triple3)] @1: The mouse eats the mouse.[(((triple2) -> rule7))] @2: The mouse does not like the mouse.[(((((triple2) -> rule7) triple2) -> rule3))] The mouse sees the cow.[(((((triple2) -> rule7)) -> rule5))] @3: The mouse eats the cow.[(((((((triple2) -> rule7)) -> rule5)) -> rule4))]