The bear eats the lion. The bear is cold. The bear is kind. The bear is nice. The bear is rough. The bear is round. The bear needs the lion. The bear visits the lion. The lion eats the bear. The lion is nice. The lion is round. The lion needs the bear. If something visits the bear then the bear eats the lion. If the lion is round and the lion eats the bear then the lion visits the bear. If something is cold then it needs the lion.
The lion does not need the lion.
@0: The bear eats the lion.[(triple1 OR ((((triple11 triple9) -> rule2)) -> rule1))] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear needs the lion.[(triple7 OR ((triple2) -> rule3))] The bear visits the lion.[(triple8)] The lion eats the bear.[(triple9)] The lion is nice.[(triple10)] The lion is round.[(triple11)] The lion needs the bear.[(triple12)] @1: The lion visits the bear.[(((triple11 triple9) -> rule2))]