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