The bald eagle eats the bear. The bear chases the bald eagle. The bear is big. The bear is red. The bear is rough. The bear visits the squirrel. The lion eats the squirrel. The lion is round. The lion visits the squirrel. The squirrel is round. If something is red then it chases the bear. If something chases the bear and the bear is big then it is rough. If something visits the squirrel then it is red.
The lion is rough.
@0: The bald eagle eats the bear.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear is big.[(triple3)] The bear is red.[(triple4 OR ((triple6) -> rule3))] The bear is rough.[(triple5 OR ((((triple4) -> rule1) triple3) -> rule2) OR ((((((triple6) -> rule3)) -> rule1) triple3) -> rule2))] The bear visits the squirrel.[(triple6)] The lion eats the squirrel.[(triple7)] The lion is round.[(triple8)] The lion visits the squirrel.[(triple9)] The squirrel is round.[(triple10)] @1: The bear chases the bear.[(((triple4) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] The lion is red.[(((triple9) -> rule3))] @2: The lion chases the bear.[(((((triple9) -> rule3)) -> rule1))] @3: The lion is rough.[(((((((triple9) -> rule3)) -> rule1) triple3) -> rule2))]