The lion eats the mouse. The lion is green. The lion is kind. The lion is red. The lion is rough. The lion is young. The lion sees the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is green. The mouse is kind. The mouse is red. The mouse is rough. The mouse is young. The mouse does not see the lion. The mouse visits the lion. If someone visits the lion then they eat the lion. If someone sees the mouse then they do not see the lion.
The lion does not eat the lion.
@0: The lion eats the mouse.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion sees the mouse.[(triple7)] The lion visits the mouse.[(triple8)] The mouse does not see the lion.[(triple15)] The mouse eats the lion.[(triple9 OR ((triple16) -> rule1))] The mouse is green.[(triple10)] The mouse is kind.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse is young.[(triple14)] The mouse visits the lion.[(triple16)] @1: The lion does not see the lion.[(((triple7) -> rule2))]