The lion chases the mouse. The lion is green. The lion is not nice. The lion is red. The lion is round. The lion needs the mouse. The lion visits the mouse. The mouse chases the lion. The mouse is cold. The mouse is nice. The mouse is round. The mouse visits the lion. If the mouse is nice and the mouse is round then the mouse needs the lion. If the lion needs the mouse and the lion does not chase the mouse then the mouse does not need the lion.
The lion needs the mouse.
@0: The lion chases the mouse.[(triple1)] The lion is green.[(triple2)] The lion is not nice.[(triple3)] The lion is red.[(triple4)] The lion is round.[(triple5)] The lion needs the mouse.[(triple6)] The lion visits the mouse.[(triple7)] The mouse chases the lion.[(triple8)] The mouse is cold.[(triple9)] The mouse is nice.[(triple10)] The mouse is round.[(triple11)] The mouse visits the lion.[(triple12)] @1: The mouse needs the lion.[(((triple10 triple11) -> rule1))]