The bear chases the lion. The bear is kind. The bear is red. The bear is rough. The bear is young. The bear likes the lion. The bear visits the lion. The lion does not chase the bear. The lion is blue. The lion is not kind. The lion is red. The lion is rough. The lion is young. The lion likes the bear. The lion visits the bear. If the bear visits the lion then the lion is young. If something visits the lion and it is young then the lion is young. If the lion visits the bear then the bear visits the lion. If something likes the lion and the lion visits the bear then the bear likes the lion. If something visits the bear and it does not chase the lion then it is red. If the bear chases the lion and the lion chases the bear then the lion likes the bear. If something likes the lion then it is kind. If the lion does not like the bear and the lion is not red then the lion is blue.
The lion does not chase the lion.
@0: The bear chases the lion.[(triple1)] The bear is kind.[(triple2 OR ((triple6) -> rule7))] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear likes the lion.[(triple6)] The bear visits the lion.[(triple7 OR ((triple15) -> rule3))] The lion does not chase the bear.[(triple8)] The lion is blue.[(triple9)] The lion is not kind.[(triple10)] The lion is red.[(triple11)] The lion is rough.[(triple12)] The lion is young.[(triple13 OR ((triple7) -> rule1) OR ((triple7 triple5) -> rule2) OR ((((triple15) -> rule3)) -> rule1) OR ((((triple15) -> rule3) triple5) -> rule2))] The lion likes the bear.[(triple14)] The lion visits the bear.[(triple15)]