The cat eats the mouse. The cat is round. The cat visits the mouse. The lion eats the cat. The lion eats the mouse. The mouse eats the lion. The mouse is cold. If someone visits the lion and they are red then the lion eats the cat. If someone visits the mouse then they need the lion. If someone eats the lion and they visit the cat then the lion eats the mouse.
The cat does not need the lion.
@0: The cat eats the mouse.[(triple1)] The cat is round.[(triple2)] The cat visits the mouse.[(triple3)] The lion eats the cat.[(triple4)] The lion eats the mouse.[(triple5)] The mouse eats the lion.[(triple6)] The mouse is cold.[(triple7)] @1: The cat needs the lion.[(((triple3) -> rule2))]