The bear chases the tiger. The bear is not green. The bear needs the lion. The bear does not visit the lion. The lion chases the bear. The lion chases the tiger. The lion is blue. The lion is not green. The lion is rough. The lion needs the tiger. The lion visits the bear. The tiger chases the lion. The tiger is blue. The tiger needs the bear. The tiger does not need the lion. The tiger does not visit the lion. If something needs the bear and it is not rough then it visits the lion. If something needs the tiger and it needs the bear then the bear is blue. If something chases the lion then the lion chases the bear. If something chases the lion then the lion chases the tiger. If something is blue and it chases the lion then the lion chases the tiger. If something needs the tiger and the tiger does not chase the lion then it does not need the bear.
The bear visits the lion.
@0: The bear chases the tiger.[(triple1)] The bear does not visit the lion.[(triple4)] The bear is not green.[(triple2)] The bear needs the lion.[(triple3)] The lion chases the bear.[(triple5 OR ((triple12) -> rule3))] The lion chases the tiger.[(triple6 OR ((triple12) -> rule4) OR ((triple13 triple12) -> rule5))] The lion is blue.[(triple7)] The lion is not green.[(triple8)] The lion is rough.[(triple9)] The lion needs the tiger.[(triple10)] The lion visits the bear.[(triple11)] The tiger chases the lion.[(triple12)] The tiger does not need the lion.[(triple15)] The tiger does not visit the lion.[(triple16)] The tiger is blue.[(triple13)] The tiger needs the bear.[(triple14)]