The bear is blue. The bear is cold. The bear is kind. The bear is not red. The bear is round. The bear does not like the lion. The bear does not see the lion. The bear visits the lion. The lion is blue. The lion is cold. The lion is kind. The lion is not round. The lion likes the bear. The lion sees the bear. The lion visits the bear. If the lion visits the bear and the lion is not round then the lion is red. If something visits the lion and it is red then the lion sees the bear. If something is round and not kind then it likes the lion.
The bear does not like the lion.
@0: The bear does not like the lion.[(triple6)] The bear does not see the lion.[(triple7)] The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is not red.[(triple4)] The bear is round.[(triple5)] The bear visits the lion.[(triple8)] The lion is blue.[(triple9)] The lion is cold.[(triple10)] The lion is kind.[(triple11)] The lion is not round.[(triple12)] The lion likes the bear.[(triple13)] The lion sees the bear.[(triple14)] The lion visits the bear.[(triple15)] @1: The lion is red.[(((triple15 triple12) -> rule1))]