The bear chases the lion. The bear is blue. The bear is kind. The bear is red. The bear is rough. The bear is young. The bear sees the lion. The bear visits the lion. The lion chases the bear. The lion is blue. The lion is kind. The lion is red. The lion is rough. The lion is young. The lion sees the bear. The lion visits the bear. Blue people are kind. If someone visits the bear then the bear chases the lion. If someone chases the lion then they see the lion. If someone chases the lion and they are blue then they are rough. If someone is young and they see the lion then they are kind. If the lion chases the bear then the bear is kind.
The lion does not visit the bear.
@0: The bear chases the lion.[(triple1 OR ((triple16) -> rule2))] The bear is blue.[(triple2)] The bear is kind.[(triple3 OR ((triple2) -> rule1) OR ((triple9) -> rule6) OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple1) -> rule3)) -> rule5) OR ((triple6 ((((triple16) -> rule2)) -> rule3)) -> rule5))] The bear is red.[(triple4)] The bear is rough.[(triple5 OR ((triple1 triple2) -> rule4) OR ((((triple16) -> rule2) triple2) -> rule4))] The bear is young.[(triple6)] The bear sees the lion.[(triple7 OR ((triple1) -> rule3) OR ((((triple16) -> rule2)) -> rule3))] The bear visits the lion.[(triple8)] The lion chases the bear.[(triple9)] The lion is blue.[(triple10)] The lion is kind.[(triple11 OR ((triple10) -> rule1))] The lion is red.[(triple12)] The lion is rough.[(triple13)] The lion is young.[(triple14)] The lion sees the bear.[(triple15)] The lion visits the bear.[(triple16)]