The bear is red. The bear is rough. The bear needs the dog. The bear needs the lion. The dog is big. The lion is kind. The lion likes the bear. The lion likes the dog. The lion needs the bear. The lion visits the dog. If something visits the lion then the lion needs the bear. If the lion likes the dog then the lion is rough. If the dog is big then the dog is red. If something is round then it visits the bear. All red things are round. If the dog likes the lion then the dog needs the lion.
The bear does not visit the bear.
@0: The bear is red.[(triple1)] The bear is rough.[(triple2)] The bear needs the dog.[(triple3)] The bear needs the lion.[(triple4)] The dog is big.[(triple5)] The lion is kind.[(triple6)] The lion likes the bear.[(triple7)] The lion likes the dog.[(triple8)] The lion needs the bear.[(triple9)] The lion visits the dog.[(triple10)] @1: The bear is round.[(((triple1) -> rule5))] The dog is red.[(((triple5) -> rule3))] The lion is rough.[(((triple8) -> rule2))] @2: The bear visits the bear.[(((((triple1) -> rule5)) -> rule4))] The dog is round.[(((((triple5) -> rule3)) -> rule5))] @3: The dog visits the bear.[(((((((triple5) -> rule3)) -> rule5)) -> rule4))]