The bear chases the squirrel. The bear eats the squirrel. The bear is kind. The bear does not like the squirrel. The squirrel chases the bear. The squirrel is red. The squirrel does not like the bear. If something eats the squirrel then it eats the bear. If something eats the bear and it likes the squirrel then the squirrel likes the bear. If something chases the bear then it is young. If the squirrel chases the bear and the bear is kind then the bear eats the squirrel. If something eats the bear then the bear is red. If something is red then it chases the bear.
The bear does not chase the bear.
@0: The bear chases the squirrel.[(triple1)] The bear does not like the squirrel.[(triple4)] The bear eats the squirrel.[(triple2 OR ((triple5 triple3) -> rule4) OR ((((triple6) -> rule6) triple3) -> rule4))] The bear is kind.[(triple3)] The squirrel chases the bear.[(triple5 OR ((triple6) -> rule6))] The squirrel does not like the bear.[(triple7)] The squirrel is red.[(triple6)] @1: The bear eats the bear.[(((triple2) -> rule1) OR ((((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple6) -> rule6) triple3) -> rule4)) -> rule1))] The squirrel is young.[(((triple5) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] @2: The bear is red.[(((((triple2) -> rule1)) -> rule5) OR ((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5))] @3: The bear chases the bear.[(((((((triple2) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6))] @4: The bear is young.[(((((((((triple2) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6)) -> rule3))]