The cat sees the mouse. The lion likes the cat. The mouse is red. If something is green and it sees the cat then the cat likes the mouse. If something is nice then it needs the lion. If something is young and it likes the mouse then it is nice. If something likes the mouse then it sees the mouse. Red things are nice. If something sees the cat then it likes the cat.
The cat does not like the mouse.
@0: The cat sees the mouse.[(triple1)] The lion likes the cat.[(triple2)] The mouse is red.[(triple3)] @1: The mouse is nice.[(((triple3) -> rule5))] @2: The mouse needs the lion.[(((((triple3) -> rule5)) -> rule2))]