The bear is blue. The bear is young. The bear does not need the lion. The bear visits the lion. The cat is blue. The cat visits the cow. The cow chases the lion. The cow is blue. The cow does not need the lion. The lion chases the cow. The lion is green. The lion is round. The lion needs the cat. The lion needs the cow. The lion visits the cat. The lion does not visit the cow. If something visits the lion then the lion is not blue. All big things are not young.
The cat is not blue.
@0: The bear does not need the lion.[(triple3)] The bear is blue.[(triple1)] The bear is young.[(triple2)] The bear visits the lion.[(triple4)] The cat is blue.[(triple5)] The cat visits the cow.[(triple6)] The cow chases the lion.[(triple7)] The cow does not need the lion.[(triple9)] The cow is blue.[(triple8)] The lion chases the cow.[(triple10)] The lion does not visit the cow.[(triple16)] The lion is green.[(triple11)] The lion is round.[(triple12)] The lion needs the cat.[(triple13)] The lion needs the cow.[(triple14)] The lion visits the cat.[(triple15)] @1: The lion is not blue.[(((triple4) -> rule1))]