The bear chases the tiger. The bear is big. The bear is blue. The bear visits the dog. The dog chases the bear. The dog chases the tiger. The dog eats the bear. The dog eats the tiger. The dog is big. The dog is green. The dog visits the bear. The tiger chases the dog. The tiger eats the bear. The tiger eats the dog. The tiger is blue. The tiger visits the dog. If the tiger eats the bear and the bear chases the dog then the bear is kind. If something visits the bear then the bear is green. If something visits the tiger and the tiger is big then it chases the tiger. If something visits the tiger and the tiger is green then the tiger is kind. If something eats the tiger and it visits the tiger then it chases the bear. If something eats the bear then the bear chases the tiger. If something is blue then it eats the bear. If something visits the bear then the bear chases the dog.
The tiger does not visit the dog.
@0: The bear chases the tiger.[(triple1 OR ((triple13) -> rule6) OR ((triple7) -> rule6) OR ((((triple15) -> rule7)) -> rule6) OR ((((triple3) -> rule7)) -> rule6))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear visits the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the tiger.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the tiger.[(triple8)] The dog is big.[(triple9)] The dog is green.[(triple10)] The dog visits the bear.[(triple11)] The tiger chases the dog.[(triple12)] The tiger eats the bear.[(triple13 OR ((triple15) -> rule7))] The tiger eats the dog.[(triple14)] The tiger is blue.[(triple15)] The tiger visits the dog.[(triple16)] @1: The bear chases the dog.[(((triple11) -> rule8))] The bear eats the bear.[(((triple3) -> rule7))] The bear is green.[(((triple11) -> rule2))] @2: The bear is kind.[(((triple13 ((triple11) -> rule8)) -> rule1) OR ((((triple15) -> rule7) ((triple11) -> rule8)) -> rule1))]