The bear is round. The bear does not like the dog. The bear needs the lion. The bear sees the dog. The bear sees the lion. The cat is round. The cat needs the dog. The cat sees the dog. The dog does not see the bear. The dog sees the cat. The dog sees the lion. The lion is big. The lion is rough. The lion needs the dog. The lion sees the bear. The lion sees the dog. If someone is round and they see the cat then they need the bear. If someone is rough then they see the dog. If someone sees the dog and they are not cold then they see the cat. If someone needs the cat and the cat likes the lion then the cat sees the dog. If the lion sees the dog and the lion is big then the lion needs the cat. If someone is rough then they see the lion. If someone likes the cat and the cat needs the dog then the dog does not need the lion. If someone is round then they are rough.
The cat does not need the bear.
@0: The bear does not like the dog.[(triple2)] The bear is round.[(triple1)] The bear needs the lion.[(triple3)] The bear sees the dog.[(triple4 OR ((((triple1) -> rule8)) -> rule2))] The bear sees the lion.[(triple5 OR ((((triple1) -> rule8)) -> rule6))] The cat is round.[(triple6)] The cat needs the dog.[(triple7)] The cat sees the dog.[(triple8 OR ((((triple6) -> rule8)) -> rule2))] The dog does not see the bear.[(triple9)] The dog sees the cat.[(triple10)] The dog sees the lion.[(triple11)] The lion is big.[(triple12)] The lion is rough.[(triple13)] The lion needs the dog.[(triple14)] The lion sees the bear.[(triple15)] The lion sees the dog.[(triple16 OR ((triple13) -> rule2))] @1: The bear is rough.[(((triple1) -> rule8))] The cat is rough.[(((triple6) -> rule8))] The lion needs the cat.[(((triple16 triple12) -> rule5) OR ((((triple13) -> rule2) triple12) -> rule5))] The lion sees the lion.[(((triple13) -> rule6))] @2: The cat sees the lion.[(((((triple6) -> rule8)) -> rule6))]