The bear chases the lion. The bear eats the lion. The bear is big. The bear is cold. The bear is kind. The bear is red. The bear is young. The bear sees the lion. The lion chases the bear. The lion eats the bear. The lion is cold. The lion is kind. The lion is red. The lion is young. The lion sees the bear. If the lion eats the bear then the bear sees the lion. If someone sees the lion then they chase the lion. If the bear eats the lion then the lion chases the bear.
The lion is young.
@0: The bear chases the lion.[(triple1 OR ((triple8) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] The bear eats the lion.[(triple2)] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is kind.[(triple5)] The bear is red.[(triple6)] The bear is young.[(triple7)] The bear sees the lion.[(triple8 OR ((triple10) -> rule1))] The lion chases the bear.[(triple9 OR ((triple2) -> rule3))] The lion eats the bear.[(triple10)] The lion is cold.[(triple11)] The lion is kind.[(triple12)] The lion is red.[(triple13)] The lion is young.[(triple14)] The lion sees the bear.[(triple15)]