The bear chases the lion. The bear is green. The bear is round. The bear sees the lion. The bear visits the lion. The lion chases the bear. The lion is blue. The lion is green. The lion is kind. The lion is round. If the lion chases the bear then the bear is kind. If someone sees the lion then the lion is kind. If the lion is blue and the lion is green then the lion visits the bear. If the bear sees the lion and the bear visits the lion then the lion is green. If someone is nice then they see the bear. Nice people are green. If someone sees the bear and the bear is green then the bear visits the lion. If the bear sees the lion then the lion is kind.
The bear is not round.
@0: The bear chases the lion.[(triple1)] The bear is green.[(triple2)] The bear is round.[(triple3)] The bear sees the lion.[(triple4)] The bear visits the lion.[(triple5)] The lion chases the bear.[(triple6)] The lion is blue.[(triple7)] The lion is green.[(triple8 OR ((triple4 triple5) -> rule4))] The lion is kind.[(triple9 OR ((triple4) -> rule2) OR ((triple4) -> rule8))] The lion is round.[(triple10)] @1: The bear is kind.[(((triple6) -> rule1))] The lion visits the bear.[(((triple7 triple8) -> rule3) OR ((triple7 ((triple4 triple5) -> rule4)) -> rule3))]