The lion visits the squirrel. The mouse eats the lion. The mouse eats the squirrel. The mouse is nice. The mouse is round. The squirrel is red. The squirrel visits the mouse. If something eats the lion and the lion is red then it eats the squirrel. If the lion visits the squirrel and the squirrel visits the lion then the squirrel eats the lion. If something needs the lion and the lion is rough then it eats the squirrel. Round things are red. If something eats the mouse then it is red. If something visits the lion and it is round then it visits the mouse. If something eats the mouse then the mouse is kind. If something visits the mouse then the mouse is red.
The mouse does not eat the lion.
@0: The lion visits the squirrel.[(triple1)] The mouse eats the lion.[(triple2)] The mouse eats the squirrel.[(triple3)] The mouse is nice.[(triple4)] The mouse is round.[(triple5)] The squirrel is red.[(triple6)] The squirrel visits the mouse.[(triple7)] @1: The mouse is red.[(((triple5) -> rule4) OR ((triple7) -> rule8))]