The lion eats the mouse. The lion needs the mouse. The mouse eats the lion. The mouse is green. The mouse is red. The mouse is young. The mouse needs the lion. If someone likes the mouse then they need the mouse. If someone is red then they like the mouse. If the lion is green and the lion eats the mouse then the mouse is not nice. If the lion needs the mouse then the lion eats the mouse. If someone is nice and they need the mouse then the mouse needs the lion. If someone needs the mouse and the mouse is not nice then they do not like the lion. If someone is red and they eat the mouse then they like the lion. If someone likes the lion then the lion is nice.
The mouse does not like the mouse.
@0: The lion eats the mouse.[(triple1 OR ((triple2) -> rule4))] The lion needs the mouse.[(triple2)] The mouse eats the lion.[(triple3)] The mouse is green.[(triple4)] The mouse is red.[(triple5)] The mouse is young.[(triple6)] The mouse needs the lion.[(triple7)] @1: The mouse likes the mouse.[(((triple5) -> rule2))] @2: The mouse needs the mouse.[(((((triple5) -> rule2)) -> rule1))]