The bear is blue. The bear is cold. The bear is red. The bear is young. The bear needs the lion. The bear sees the lion. The bear visits the lion. The lion is blue. The lion is cold. The lion is green. The lion is red. The lion is young. The lion needs the bear. The lion sees the bear. The lion visits the bear. If someone visits the lion then the lion visits the bear. If someone needs the lion then they visit the lion.
The lion does not visit the lion.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear needs the lion.[(triple5)] The bear sees the lion.[(triple6)] The bear visits the lion.[(triple7 OR ((triple5) -> rule2))] The lion is blue.[(triple8)] The lion is cold.[(triple9)] The lion is green.[(triple10)] The lion is red.[(triple11)] The lion is young.[(triple12)] The lion needs the bear.[(triple13)] The lion sees the bear.[(triple14)] The lion visits the bear.[(triple15 OR ((triple7) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]