The bear chases the cat. The bear is not kind. The bear is red. The bear visits the cat. The bear visits the lion. The cat chases the bear. The cat is not blue. The cat needs the bear. The cat does not visit the lion. The lion chases the bear. The lion chases the cat. The lion is blue. The lion is not kind. The lion is nice. The lion needs the cat. If something needs the lion then it is red. If something chases the cat then it visits the cat.
The lion chases the lion.
@0: The bear chases the cat.[(triple1)] The bear is not kind.[(triple2)] The bear is red.[(triple3)] The bear visits the cat.[(triple4 OR ((triple1) -> rule2))] The bear visits the lion.[(triple5)] The cat chases the bear.[(triple6)] The cat does not visit the lion.[(triple9)] The cat is not blue.[(triple7)] The cat needs the bear.[(triple8)] The lion chases the bear.[(triple10)] The lion chases the cat.[(triple11)] The lion is blue.[(triple12)] The lion is nice.[(triple14)] The lion is not kind.[(triple13)] The lion needs the cat.[(triple15)] @1: The lion visits the cat.[(((triple11) -> rule2))]