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