The bear eats the squirrel. The dog eats the lion. The dog is not nice. The lion eats the dog. The lion eats the squirrel. The lion is green. The lion is not nice. The lion is round. The lion is young. The lion visits the bear. The squirrel eats the bear. The squirrel eats the lion. The squirrel is young. The squirrel visits the dog. The squirrel visits the lion. If something eats the lion and it is green then the lion eats the dog. If something is green and it eats the dog then the dog visits the bear. If something eats the lion then the lion visits the dog. If something visits the lion and the lion visits the dog then the dog sees the squirrel. If something visits the dog then it sees the dog. If something is nice and it does not see the lion then it visits the dog. If something eats the squirrel and it does not eat the dog then the squirrel visits the bear. If the dog sees the squirrel and the squirrel is young then the squirrel visits the bear.
The squirrel is nice.
@0: The bear eats the squirrel.[(triple1)] The dog eats the lion.[(triple2)] The dog is not nice.[(triple3)] The lion eats the dog.[(triple4)] The lion eats the squirrel.[(triple5)] The lion is green.[(triple6)] The lion is not nice.[(triple7)] The lion is round.[(triple8)] The lion is young.[(triple9)] The lion visits the bear.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel is young.[(triple13)] The squirrel visits the dog.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The dog visits the bear.[(((triple6 triple4) -> rule2))] The lion visits the dog.[(((triple12) -> rule3) OR ((triple2) -> rule3))] The squirrel sees the dog.[(((triple14) -> rule5))] @2: The dog sees the squirrel.[(((triple15 ((triple12) -> rule3)) -> rule4) OR ((triple15 ((triple2) -> rule3)) -> rule4))] The lion sees the dog.[(((((triple12) -> rule3)) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] @3: The squirrel visits the bear.[(((((triple15 ((triple12) -> rule3)) -> rule4) triple13) -> rule8) OR ((((triple15 ((triple2) -> rule3)) -> rule4) triple13) -> rule8))]