The bear chases the cow. The bear is big. The bear is green. The bear is kind. The bear is young. The bear likes the lion. The bear sees the cow. The bear sees the lion. The cow chases the bear. The lion is big. The lion is blue. The lion is green. The lion likes the rabbit. The lion sees the cow. The lion sees the rabbit. The rabbit likes the lion. If something likes the lion then it is green.
The bear does not like the lion.
@0: The bear chases the cow.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3 OR ((triple6) -> rule1))] The bear is kind.[(triple4)] The bear is young.[(triple5)] The bear likes the lion.[(triple6)] The bear sees the cow.[(triple7)] The bear sees the lion.[(triple8)] The cow chases the bear.[(triple9)] The lion is big.[(triple10)] The lion is blue.[(triple11)] The lion is green.[(triple12)] The lion likes the rabbit.[(triple13)] The lion sees the cow.[(triple14)] The lion sees the rabbit.[(triple15)] The rabbit likes the lion.[(triple16)] @1: The rabbit is green.[(((triple16) -> rule1))]