The lion is green. The lion is nice. The lion is red. The lion is young. The lion needs the mouse. The mouse eats the lion. The mouse is green. The mouse is red. The mouse is round. The mouse is young. The mouse needs the lion. The mouse visits the lion. If something needs the lion and it visits the mouse then it eats the mouse. If something is nice then it needs the mouse.
The mouse is not round.
@0: The lion is green.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3)] The lion is young.[(triple4)] The lion needs the mouse.[(triple5 OR ((triple2) -> rule2))] The mouse eats the lion.[(triple6)] The mouse is green.[(triple7)] The mouse is red.[(triple8)] The mouse is round.[(triple9)] The mouse is young.[(triple10)] The mouse needs the lion.[(triple11)] The mouse visits the lion.[(triple12)]