The bear does not chase the lion. The bear eats the lion. The bear is cold. The bear is green. The bear is red. The bear is rough. The bear visits the lion. The lion chases the bear. The lion does not eat the bear. The lion is cold. The lion is green. The lion is not red. The lion is rough. The lion is round. The lion visits the bear. If something chases the bear and it does not eat the bear then the bear is not round. If something chases the bear then the bear is not round. If something eats the bear then the bear is cold. If something chases the bear and it eats the bear then it is rough. If something visits the bear and the bear chases the lion then the lion does not chase the bear. If something chases the bear and it is red then the bear does not chase the lion.
The bear is red.
@0: The bear does not chase the lion.[(triple1)] The bear eats the lion.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear visits the lion.[(triple7)] The lion chases the bear.[(triple8)] The lion does not eat the bear.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is not red.[(triple12)] The lion is rough.[(triple13)] The lion is round.[(triple14)] The lion visits the bear.[(triple15)] @1: The bear is not round.[(((triple8) -> rule2) OR ((triple8 triple9) -> rule1))]