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