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