The lion does not chase the mouse. The lion eats the mouse. The lion is not cold. The lion does not need the mouse. The mouse chases the lion. The mouse does not eat the lion. The mouse needs the lion. If something eats the mouse then it is round. If something eats the lion and the lion does not eat the mouse then it is rough. If something is kind then it chases the mouse.
The lion is cold.
@0: The lion does not chase the mouse.[(triple1)] The lion does not need the mouse.[(triple4)] The lion eats the mouse.[(triple2)] The lion is not cold.[(triple3)] The mouse chases the lion.[(triple5)] The mouse does not eat the lion.[(triple6)] The mouse needs the lion.[(triple7)] @1: The lion is round.[(((triple2) -> rule1))]