The lion eats the mouse. The lion is kind. The lion is red. The lion is rough. The lion sees the squirrel. The lion visits the mouse. The mouse eats the squirrel. The mouse is green. The mouse sees the squirrel. The mouse visits the lion. The mouse visits the squirrel. The squirrel is big. The squirrel is red. The squirrel does not see the lion. The squirrel sees the mouse. The squirrel does not visit the mouse. If something sees the squirrel then the squirrel sees the mouse. If something sees the squirrel and the squirrel sees the mouse then the squirrel does not eat the mouse. If something visits the squirrel and it does not eat the squirrel then it does not see the squirrel. If something eats the squirrel then it sees the squirrel. If something sees the squirrel then the squirrel does not visit the lion. If something sees the mouse and it does not visit the lion then the mouse is kind.
The mouse is not kind.
@0: The lion eats the mouse.[(triple1)] The lion is kind.[(triple2)] The lion is red.[(triple3)] The lion is rough.[(triple4)] The lion sees the squirrel.[(triple5)] The lion visits the mouse.[(triple6)] The mouse eats the squirrel.[(triple7)] The mouse is green.[(triple8)] The mouse sees the squirrel.[(triple9 OR ((triple7) -> rule4))] The mouse visits the lion.[(triple10)] The mouse visits the squirrel.[(triple11)] The squirrel does not see the lion.[(triple14)] The squirrel does not visit the mouse.[(triple16)] The squirrel is big.[(triple12)] The squirrel is red.[(triple13)] The squirrel sees the mouse.[(triple15 OR ((triple5) -> rule1) OR ((triple9) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] @1: The squirrel does not eat the mouse.[(((triple5 triple15) -> rule2) OR ((triple9 triple15) -> rule2) OR ((triple5 ((triple5) -> rule1)) -> rule2) OR ((triple5 ((triple9) -> rule1)) -> rule2) OR ((triple9 ((triple5) -> rule1)) -> rule2) OR ((triple9 ((triple9) -> rule1)) -> rule2) OR ((((triple7) -> rule4) triple15) -> rule2) OR ((((triple7) -> rule4) ((triple5) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((triple9) -> rule1)) -> rule2) OR ((triple5 ((((triple7) -> rule4)) -> rule1)) -> rule2) OR ((triple9 ((((triple7) -> rule4)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule1)) -> rule2))] The squirrel does not visit the lion.[(((triple5) -> rule5) OR ((triple9) -> rule5) OR ((((triple7) -> rule4)) -> rule5))] @2: The mouse is kind.[(((triple15 ((triple5) -> rule5)) -> rule6) OR ((triple15 ((triple9) -> rule5)) -> rule6) OR ((((triple5) -> rule1) ((triple5) -> rule5)) -> rule6) OR ((((triple5) -> rule1) ((triple9) -> rule5)) -> rule6) OR ((((triple9) -> rule1) ((triple5) -> rule5)) -> rule6) OR ((((triple9) -> rule1) ((triple9) -> rule5)) -> rule6) OR ((triple15 ((((triple7) -> rule4)) -> rule5)) -> rule6) OR ((((triple5) -> rule1) ((((triple7) -> rule4)) -> rule5)) -> rule6) OR ((((triple9) -> rule1) ((((triple7) -> rule4)) -> rule5)) -> rule6) OR ((((((triple7) -> rule4)) -> rule1) ((triple5) -> rule5)) -> rule6) OR ((((((triple7) -> rule4)) -> rule1) ((triple9) -> rule5)) -> rule6) OR ((((((triple7) -> rule4)) -> rule1) ((((triple7) -> rule4)) -> rule5)) -> rule6))]