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