The bear is blue. The bear likes the dog. The bear needs the cat. The bear visits the lion. The cat is blue. The cat is green. The cat likes the bear. The cat likes the lion. The cat needs the bear. The cat needs the dog. The cat visits the bear. The cat visits the lion. The dog visits the lion. The lion likes the dog. The lion visits the bear. If something likes the dog and it visits the lion then the dog visits the bear. If something is big and round then it likes the lion. If something visits the dog then it likes the lion. If something likes the bear then it likes the dog. If the bear is nice then the bear needs the dog. If the bear is big and the bear visits the dog then the bear needs the cat.
The bear does not like the lion.
@0: The bear is blue.[(triple1)] The bear likes the dog.[(triple2)] The bear needs the cat.[(triple3)] The bear visits the lion.[(triple4)] The cat is blue.[(triple5)] The cat is green.[(triple6)] The cat likes the bear.[(triple7)] The cat likes the lion.[(triple8)] The cat needs the bear.[(triple9)] The cat needs the dog.[(triple10)] The cat visits the bear.[(triple11)] The cat visits the lion.[(triple12)] The dog visits the lion.[(triple13)] The lion likes the dog.[(triple14)] The lion visits the bear.[(triple15)] @1: The cat likes the dog.[(((triple7) -> rule4))] The dog visits the bear.[(((triple2 triple4) -> rule1) OR ((((triple7) -> rule4) triple12) -> rule1))]