The bear is big. The bear is round. The bear visits the cat. The bear visits the dog. The cat is nice. The cat likes the bear. The cat likes the dog. The cat visits the bear. The cat visits the dog. The dog is nice. The dog is round. The dog likes the bear. The dog needs the bear. The dog needs the cat. The dog visits the bear. The dog visits the cat. If the bear needs the dog and the dog visits the bear then the bear likes the cat. If something is rough then it likes the dog. If something is big then it needs the bear. If something needs the bear and it needs the dog then the bear likes the dog. If something likes the bear then the bear needs the cat. If something likes the bear then it is rough. If the dog is big then the dog is round. If something is rough then it likes the cat.
The bear needs the dog.
@0: The bear is big.[(triple1)] The bear is round.[(triple2)] The bear visits the cat.[(triple3)] The bear visits the dog.[(triple4)] The cat is nice.[(triple5)] The cat likes the bear.[(triple6)] The cat likes the dog.[(triple7 OR ((((triple6) -> rule6)) -> rule2))] The cat visits the bear.[(triple8)] The cat visits the dog.[(triple9)] The dog is nice.[(triple10)] The dog is round.[(triple11)] The dog likes the bear.[(triple12)] The dog needs the bear.[(triple13)] The dog needs the cat.[(triple14)] The dog visits the bear.[(triple15)] The dog visits the cat.[(triple16)] @1: The bear needs the bear.[(((triple1) -> rule3))] The bear needs the cat.[(((triple12) -> rule5) OR ((triple6) -> rule5))] The cat is rough.[(((triple6) -> rule6))] The dog is rough.[(((triple12) -> rule6))] @2: The cat likes the cat.[(((((triple6) -> rule6)) -> rule8))] The dog likes the cat.[(((((triple12) -> rule6)) -> rule8))] The dog likes the dog.[(((((triple12) -> rule6)) -> rule2))]