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