The bear is kind. The bear sees the lion. The bear sees the tiger. The lion chases the tiger. The lion is green. The lion is kind. The lion is round. The lion likes the tiger. The lion sees the bear. The tiger chases the bear. The tiger is green. The tiger is kind. The tiger is round. The tiger likes the lion. The tiger sees the bear. The tiger sees the lion. If someone is kind and they chase the tiger then they are young. If someone chases the tiger then they see the bear. If the lion chases the tiger then the lion sees the bear. If the lion chases the bear and the lion sees the tiger then the bear likes the lion. If someone chases the bear then they see the tiger. If someone likes the lion then the lion chases the bear.
The bear likes the lion.
@0: The bear is kind.[(triple1)] The bear sees the lion.[(triple2)] The bear sees the tiger.[(triple3)] The lion chases the tiger.[(triple4)] The lion is green.[(triple5)] The lion is kind.[(triple6)] The lion is round.[(triple7)] The lion likes the tiger.[(triple8)] The lion sees the bear.[(triple9 OR ((triple4) -> rule2) OR ((triple4) -> rule3))] The tiger chases the bear.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is round.[(triple13)] The tiger likes the lion.[(triple14)] The tiger sees the bear.[(triple15)] The tiger sees the lion.[(triple16)] @1: The lion chases the bear.[(((triple14) -> rule6))] The lion is young.[(((triple6 triple4) -> rule1))] The tiger sees the tiger.[(((triple10) -> rule5))] @2: The lion sees the tiger.[(((((triple14) -> rule6)) -> rule5))] @3: The bear likes the lion.[(((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule5)) -> rule4))]