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