The bear chases the lion. The bear does not eat the lion. The bear is not red. The lion chases the bear. The lion does not eat the bear. The lion is blue. The lion is nice. The lion is red. The lion is round. The lion needs the bear. If the bear is round and the bear needs the lion then the lion does not need the bear. If something is blue then it needs the lion. If something chases the bear and it needs the lion then it eats the lion. If something is blue then it chases the bear. If something needs the bear and it eats the lion then the lion is big. If something chases the lion and it does not chase the bear then the bear is nice.
The lion needs the lion.
@0: The bear chases the lion.[(triple1)] The bear does not eat the lion.[(triple2)] The bear is not red.[(triple3)] The lion chases the bear.[(triple4 OR ((triple6) -> rule4))] The lion does not eat the bear.[(triple5)] The lion is blue.[(triple6)] The lion is nice.[(triple7)] The lion is red.[(triple8)] The lion is round.[(triple9)] The lion needs the bear.[(triple10)] @1: The lion needs the lion.[(((triple6) -> rule2))] @2: The lion eats the lion.[(((triple4 ((triple6) -> rule2)) -> rule3) OR ((((triple6) -> rule4) ((triple6) -> rule2)) -> rule3))] @3: The lion is big.[(((triple10 ((triple4 ((triple6) -> rule2)) -> rule3)) -> rule5) OR ((triple10 ((((triple6) -> rule4) ((triple6) -> rule2)) -> rule3)) -> rule5))]