The bear likes the dog. The bear needs the dog. The dog is big. The dog is not red. The dog likes the tiger. The lion is nice. The lion needs the dog. The tiger is big. The tiger likes the bear. The tiger visits the bear. If something needs the dog then the dog does not need the bear. If something visits the lion and the lion likes the bear then the lion needs the tiger. If something is red then it is green. If something likes the bear and it visits the lion then the bear is big. If something visits the lion then the lion needs the dog. If something likes the tiger and it is not nice then it likes the bear. If something likes the dog and the dog is nice then the dog does not like the lion. If something is big then it visits the lion.
The dog does not like the tiger.
@0: The bear likes the dog.[(triple1)] The bear needs the dog.[(triple2)] The dog is big.[(triple3)] The dog is not red.[(triple4)] The dog likes the tiger.[(triple5)] The lion is nice.[(triple6)] The lion needs the dog.[(triple7 OR ((((triple3) -> rule8)) -> rule5) OR ((((triple8) -> rule8)) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule4)) -> rule8)) -> rule5))] The tiger is big.[(triple8)] The tiger likes the bear.[(triple9)] The tiger visits the bear.[(triple10)] @1: The dog does not need the bear.[(((triple2) -> rule1) OR ((triple7) -> rule1) OR ((((((triple3) -> rule8)) -> rule5)) -> rule1) OR ((((((triple8) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple9 ((triple8) -> rule8)) -> rule4)) -> rule8)) -> rule5)) -> rule1))] The dog visits the lion.[(((triple3) -> rule8))] The tiger visits the lion.[(((triple8) -> rule8))] @2: The bear is big.[(((triple9 ((triple8) -> rule8)) -> rule4))] @3: The bear visits the lion.[(((((triple9 ((triple8) -> rule8)) -> rule4)) -> rule8))]