The lion eats the mouse. The lion is blue. The lion does not visit the mouse. The lion does not visit the squirrel. The mouse eats the lion. The mouse eats the squirrel. The mouse is nice. The mouse likes the squirrel. The mouse visits the lion. The mouse visits the squirrel. The squirrel eats the lion. The squirrel eats the mouse. The squirrel is kind. The squirrel is nice. The squirrel does not like the lion. The squirrel likes the mouse. If someone visits the squirrel then they are not young. If someone is kind then they visit the squirrel. If someone visits the lion and they are not big then the lion does not like the squirrel. If the mouse visits the lion and the mouse is nice then the mouse is blue. If someone eats the lion then the lion eats the mouse. If someone is big and they do not visit the lion then the lion visits the squirrel. If the mouse eats the squirrel and the squirrel does not eat the mouse then the squirrel does not visit the mouse. If someone visits the squirrel and they are not young then they do not visit the mouse.
The squirrel is not young.
@0: The lion does not visit the mouse.[(triple3)] The lion does not visit the squirrel.[(triple4)] The lion eats the mouse.[(triple1 OR ((triple11) -> rule5) OR ((triple5) -> rule5))] The lion is blue.[(triple2)] The mouse eats the lion.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is nice.[(triple7)] The mouse likes the squirrel.[(triple8)] The mouse visits the lion.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel does not like the lion.[(triple15)] The squirrel eats the lion.[(triple11)] The squirrel eats the mouse.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is nice.[(triple14)] The squirrel likes the mouse.[(triple16)] @1: The mouse is blue.[(((triple9 triple7) -> rule4))] The mouse is not young.[(((triple10) -> rule1))] The squirrel visits the squirrel.[(((triple13) -> rule2))] @2: The mouse does not visit the mouse.[(((triple10 ((triple10) -> rule1)) -> rule8))] The squirrel is not young.[(((((triple13) -> rule2)) -> rule1))] @3: The squirrel does not visit the mouse.[(((((triple13) -> rule2) ((((triple13) -> rule2)) -> rule1)) -> rule8))]