The lion needs the mouse. The lion needs the rabbit. The lion sees the mouse. The mouse eats the lion. The mouse eats the rabbit. The mouse is cold. The mouse needs the lion. The mouse sees the lion. The rabbit eats the lion. The rabbit is nice. If something needs the lion then it eats the lion. If something is nice and it sees the rabbit then it is round.
The mouse does not need the lion.
@0: The lion needs the mouse.[(triple1)] The lion needs the rabbit.[(triple2)] The lion sees the mouse.[(triple3)] The mouse eats the lion.[(triple4 OR ((triple7) -> rule1))] The mouse eats the rabbit.[(triple5)] The mouse is cold.[(triple6)] The mouse needs the lion.[(triple7)] The mouse sees the lion.[(triple8)] The rabbit eats the lion.[(triple9)] The rabbit is nice.[(triple10)]