The bear is big. The bear is blue. The bear is nice. The bear is red. The bear visits the lion. The lion chases the bear. The lion is big. The lion is not green. The lion sees the bear. The lion visits the bear. If the lion sees the bear then the bear is blue. If something chases the bear then the bear is blue. If the bear chases the lion then the lion is big. If something chases the lion then it sees the lion. If something visits the lion and the lion does not chase the bear then the bear chases the lion. If something visits the bear then the bear does not chase the lion. If something sees the bear and the bear does not chase the lion then the bear does not see the lion. If something is red and it does not see the lion then the lion is blue.
The lion does not see the lion.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2 OR ((triple6) -> rule2) OR ((triple9) -> rule1))] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear visits the lion.[(triple5)] The lion chases the bear.[(triple6)] The lion is big.[(triple7)] The lion is not green.[(triple8)] The lion sees the bear.[(triple9)] The lion visits the bear.[(triple10)] @1: The bear does not chase the lion.[(((triple10) -> rule6))] @2: The bear does not see the lion.[(((triple9 ((triple10) -> rule6)) -> rule7))] @3: The lion is blue.[(((triple4 ((triple9 ((triple10) -> rule6)) -> rule7)) -> rule8))]