The bear eats the lion. The bear is blue. The bear is rough. The bear sees the lion. The lion eats the bear. The lion is rough. The lion sees the bear. If something chases the bear then it chases the lion. If something chases the bear and it sees the lion then the bear eats the lion. If the bear is red then the bear chases the lion. If something sees the bear and the bear is rough then the bear sees the lion. If something eats the bear and it is cold then it sees the bear. If something is cold and it eats the bear then the bear chases the lion.
The lion is rough.
@0: The bear eats the lion.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear sees the lion.[(triple4 OR ((triple7 triple3) -> rule4))] The lion eats the bear.[(triple5)] The lion is rough.[(triple6)] The lion sees the bear.[(triple7)]