The bear chases the lion. The bear does not chase the tiger. The bear is blue. The bear is red. The bear is round. The bear likes the lion. The bear sees the tiger. The lion chases the bear. The lion is young. The lion sees the bear. The tiger chases the bear. The tiger is young. The tiger likes the bear. The tiger likes the lion. The tiger sees the lion. If someone sees the tiger then they see the lion. All young people are round. If the lion is round and the lion sees the bear then the lion sees the tiger.
The lion does not see the lion.
@0: The bear chases the lion.[(triple1)] The bear does not chase the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear likes the lion.[(triple6)] The bear sees the tiger.[(triple7)] The lion chases the bear.[(triple8)] The lion is young.[(triple9)] The lion sees the bear.[(triple10)] The tiger chases the bear.[(triple11)] The tiger is young.[(triple12)] The tiger likes the bear.[(triple13)] The tiger likes the lion.[(triple14)] The tiger sees the lion.[(triple15)] @1: The bear sees the lion.[(((triple7) -> rule1))] The lion is round.[(((triple9) -> rule2))] The tiger is round.[(((triple12) -> rule2))] @2: The lion sees the tiger.[(((((triple9) -> rule2) triple10) -> rule3))] @3: The lion sees the lion.[(((((((triple9) -> rule2) triple10) -> rule3)) -> rule1))]