The bear is not cold. The bear is rough. The bear does not need the dog. The bear sees the dog. The bear does not see the lion. The dog is kind. The dog is not rough. The dog does not like the bear. The dog likes the lion. The dog does not need the bear. The dog sees the bear. The lion is cold. The lion is kind. The lion does not need the bear. The lion needs the dog. Rough people are young. If someone is young and they see the dog then they see the bear.
The dog does not like the lion.
@0: The bear does not need the dog.[(triple3)] The bear does not see the lion.[(triple5)] The bear is not cold.[(triple1)] The bear is rough.[(triple2)] The bear sees the dog.[(triple4)] The dog does not like the bear.[(triple8)] The dog does not need the bear.[(triple10)] The dog is kind.[(triple6)] The dog is not rough.[(triple7)] The dog likes the lion.[(triple9)] The dog sees the bear.[(triple11)] The lion does not need the bear.[(triple14)] The lion is cold.[(triple12)] The lion is kind.[(triple13)] The lion needs the dog.[(triple15)] @1: The bear is young.[(((triple2) -> rule1))] @2: The bear sees the bear.[(((((triple2) -> rule1) triple4) -> rule2))]