The bear eats the squirrel. The bear is red. The bear likes the lion. The bear likes the squirrel. The bear visits the lion. The lion likes the bear. The lion likes the squirrel. The squirrel eats the lion. The squirrel likes the bear. The squirrel likes the lion. The squirrel visits the bear. The squirrel visits the lion. If something is nice and red then it likes the squirrel. If something eats the lion and the lion is nice then it visits the squirrel. If the squirrel eats the bear and the squirrel is young then the bear is red. If the lion is young and the lion is red then the lion likes the squirrel. If something eats the squirrel and it likes the squirrel then it likes the bear. If something visits the squirrel and it is red then it visits the bear. If something eats the squirrel then it is kind. If something likes the bear then the bear visits the squirrel.
The squirrel eats the bear.
@0: The bear eats the squirrel.[(triple1)] The bear is red.[(triple2)] The bear likes the lion.[(triple3)] The bear likes the squirrel.[(triple4)] The bear visits the lion.[(triple5)] The lion likes the bear.[(triple6)] The lion likes the squirrel.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel likes the bear.[(triple9)] The squirrel likes the lion.[(triple10)] The squirrel visits the bear.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The bear is kind.[(((triple1) -> rule7))] The bear likes the bear.[(((triple1 triple4) -> rule5))] The bear visits the squirrel.[(((triple6) -> rule8) OR ((triple9) -> rule8) OR ((((triple1 triple4) -> rule5)) -> rule8))] @2: The bear visits the bear.[(((((triple6) -> rule8) triple2) -> rule6) OR ((((triple9) -> rule8) triple2) -> rule6) OR ((((((triple1 triple4) -> rule5)) -> rule8) triple2) -> rule6))]