The dog chases the tiger. The dog is green. The dog is kind. The dog is red. The dog does not see the tiger. The dog visits the tiger. The tiger does not chase the dog. The tiger is green. The tiger is red. The tiger visits the dog. If something is big then it does not visit the dog. If something sees the tiger then the tiger is big. Kind things are big. If something visits the tiger then it is kind. If something sees the tiger then it sees the dog. If something is green then it sees the dog. If something visits the tiger and the tiger is not big then the tiger is not green. If something is red and it does not visit the dog then it chases the dog.
The dog visits the dog.
@0: The dog chases the tiger.[(triple1)] The dog does not see the tiger.[(triple5)] The dog is green.[(triple2)] The dog is kind.[(triple3 OR ((triple6) -> rule4))] The dog is red.[(triple4)] The dog visits the tiger.[(triple6)] The tiger does not chase the dog.[(triple7)] The tiger is green.[(triple8)] The tiger is red.[(triple9)] The tiger visits the dog.[(triple10)] @1: The dog is big.[(((triple3) -> rule3) OR ((((triple6) -> rule4)) -> rule3))] The dog sees the dog.[(((triple2) -> rule6))] The tiger sees the dog.[(((triple8) -> rule6))] @2: The dog does not visit the dog.[(((((triple3) -> rule3)) -> rule1) OR ((((((triple6) -> rule4)) -> rule3)) -> rule1))] @3: The dog chases the dog.[(((triple4 ((((triple3) -> rule3)) -> rule1)) -> rule8) OR ((triple4 ((((((triple6) -> rule4)) -> rule3)) -> rule1)) -> rule8))]