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