The bear chases the lion. The bear is blue. The bear is green. The bear is nice. The bear needs the lion. The bear sees the lion. The lion chases the bear. The lion is big. The lion is blue. The lion is nice. The lion is round. The lion needs the bear. If something is green then it is blue. If something sees the bear and the bear needs the lion then it is green. If the bear chases the lion and the bear is nice then the lion sees the bear.
The lion does not see the bear.
@0: The bear chases the lion.[(triple1)] The bear is blue.[(triple2 OR ((triple3) -> rule1))] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear needs the lion.[(triple5)] The bear sees the lion.[(triple6)] The lion chases the bear.[(triple7)] The lion is big.[(triple8)] The lion is blue.[(triple9 OR ((((((triple1 triple4) -> rule3) triple5) -> rule2)) -> rule1))] The lion is nice.[(triple10)] The lion is round.[(triple11)] The lion needs the bear.[(triple12)] @1: The lion sees the bear.[(((triple1 triple4) -> rule3))] @2: The lion is green.[(((((triple1 triple4) -> rule3) triple5) -> rule2))]