The bear is green. The bear is red. The bear is rough. The lion eats the bear. The lion is green. The lion needs the bear. The lion visits the bear. If something needs the bear then it eats the lion. If something visits the lion and it visits the bear then the bear visits the lion. If something is green and it visits the bear then it eats the lion. If the bear eats the lion and the lion is rough then the lion eats the bear. If something visits the lion and the lion eats the bear then it eats the bear. If something needs the lion then the lion eats the bear. If something eats the lion then it visits the bear. If something eats the bear and it eats the lion then the lion is rough.
The bear does not eat the lion.
@0: The bear is green.[(triple1)] The bear is red.[(triple2)] The bear is rough.[(triple3)] The lion eats the bear.[(triple4)] The lion is green.[(triple5)] The lion needs the bear.[(triple6)] The lion visits the bear.[(triple7 OR ((((triple6) -> rule1)) -> rule7))] @1: The lion eats the lion.[(((triple6) -> rule1) OR ((triple5 triple7) -> rule3))] @2: The lion is rough.[(((triple4 ((triple6) -> rule1)) -> rule8) OR ((triple4 ((triple5 triple7) -> rule3)) -> rule8))]