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