The cat is blue. The cat does not need the lion. The cat needs the mouse. The lion eats the cat. The lion is round. The lion likes the mouse. The mouse eats the cat. The mouse eats the lion. The mouse is round. The mouse does not need the lion. If someone needs the mouse and the mouse eats the lion then they eat the cat.
The mouse is round.
@0: The cat does not need the lion.[(triple2)] The cat is blue.[(triple1)] The cat needs the mouse.[(triple3)] The lion eats the cat.[(triple4)] The lion is round.[(triple5)] The lion likes the mouse.[(triple6)] The mouse does not need the lion.[(triple10)] The mouse eats the cat.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is round.[(triple9)] @1: The cat eats the cat.[(((triple3 triple8) -> rule1))]