The bear is blue. The bear is cold. The bear likes the lion. The bear does not need the cat. The bear visits the cat. The bear visits the lion. The cat is green. The cat is young. The cat needs the bear. The cat visits the lion. The lion is not green. The lion is young. The lion likes the bear. The lion does not need the cat. The lion does not visit the bear. If the bear needs the lion and the cat does not need the bear then the bear likes the lion. If something visits the bear then the bear needs the lion. If something likes the bear then the bear is rough. If something needs the lion then the lion likes the cat. If something needs the cat and the cat is green then it visits the cat. If something needs the cat then it visits the lion. If something is rough and it likes the lion then it does not visit the bear. If something likes the bear and it does not need the lion then the bear likes the cat.
The lion does not visit the bear.
@0: The bear does not need the cat.[(triple4)] The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear likes the lion.[(triple3)] The bear visits the cat.[(triple5)] The bear visits the lion.[(triple6)] The cat is green.[(triple7)] The cat is young.[(triple8)] The cat needs the bear.[(triple9)] The cat visits the lion.[(triple10)] The lion does not need the cat.[(triple14)] The lion does not visit the bear.[(triple15)] The lion is not green.[(triple11)] The lion is young.[(triple12)] The lion likes the bear.[(triple13)] @1: The bear is rough.[(((triple13) -> rule3))] @2: The bear does not visit the bear.[(((((triple13) -> rule3) triple3) -> rule7))]