The dog chases the tiger. The dog eats the tiger. The dog is cold. The dog is kind. The dog is round. The dog sees the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is kind. The tiger is red. The tiger is rough. The tiger sees the dog. If something chases the dog then it eats the dog. If something eats the dog then it is kind. If something eats the dog and the dog sees the tiger then the dog is cold. If something eats the tiger and it sees the tiger then the tiger chases the dog. If something eats the dog then it sees the dog. If something is kind then it chases the dog. If something eats the dog then it sees the tiger. If the dog chases the tiger and the tiger eats the dog then the tiger is kind.
The tiger does not eat the tiger.
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The dog is cold.[(triple3 OR ((triple8 triple6) -> rule3) OR ((((triple7) -> rule1) triple6) -> rule3) OR ((((((triple4) -> rule6)) -> rule1) triple6) -> rule3) OR ((((((triple9) -> rule6)) -> rule1) triple6) -> rule3) OR ((((((triple2 triple6) -> rule4)) -> rule1) triple6) -> rule3) OR ((triple8 ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((triple7) -> rule1) ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple4) -> rule6)) -> rule1) ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple9) -> rule6)) -> rule1) ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple2 triple6) -> rule4)) -> rule1) ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple2 ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule4)) -> rule1) triple6) -> rule3) OR ((((((triple2 ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule4)) -> rule1) ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule3))] The dog is kind.[(triple4)] The dog is round.[(triple5)] The dog sees the tiger.[(triple6 OR ((((((triple4) -> rule6)) -> rule1)) -> rule7))] The tiger chases the dog.[(triple7 OR ((triple9) -> rule6) OR ((triple2 triple6) -> rule4) OR ((((triple8) -> rule2)) -> rule6) OR ((((triple1 triple8) -> rule8)) -> rule6) OR ((triple2 ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule4))] The tiger eats the dog.[(triple8 OR ((triple7) -> rule1) OR ((((triple9) -> rule6)) -> rule1) OR ((((triple2 triple6) -> rule4)) -> rule1) OR ((((triple2 ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule4)) -> rule1))] The tiger is kind.[(triple9 OR ((triple8) -> rule2) OR ((triple1 triple8) -> rule8) OR ((((triple7) -> rule1)) -> rule2) OR ((triple1 ((triple7) -> rule1)) -> rule8) OR ((((((triple2 triple6) -> rule4)) -> rule1)) -> rule2) OR ((triple1 ((((triple2 triple6) -> rule4)) -> rule1)) -> rule8) OR ((((((triple2 ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule4)) -> rule1)) -> rule2) OR ((triple1 ((((triple2 ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule4)) -> rule1)) -> rule8))] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger sees the dog.[(triple12 OR ((triple8) -> rule5) OR ((((triple7) -> rule1)) -> rule5) OR ((((((triple9) -> rule6)) -> rule1)) -> rule5) OR ((((((triple2 triple6) -> rule4)) -> rule1)) -> rule5) OR ((((((triple2 ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule4)) -> rule1)) -> rule5))] @1: The dog chases the dog.[(((triple4) -> rule6))] The tiger sees the tiger.[(((triple8) -> rule7) OR ((((triple7) -> rule1)) -> rule7) OR ((((((triple9) -> rule6)) -> rule1)) -> rule7) OR ((((((triple2 triple6) -> rule4)) -> rule1)) -> rule7) OR ((((((triple2 ((((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule4)) -> rule1)) -> rule7))] @2: The dog eats the dog.[(((((triple4) -> rule6)) -> rule1))] @3: The dog sees the dog.[(((((((triple4) -> rule6)) -> rule1)) -> rule5))]