The dog chases the tiger. The dog eats the tiger. The dog is cold. The dog is green. The dog visits the tiger. The tiger chases the dog. The tiger is cold. If something eats the dog and it visits the dog then the dog visits the tiger. All blue things are round. If something chases the dog and it eats the tiger then the tiger visits the dog. If the tiger eats the dog and the tiger chases the dog then the dog visits the tiger. If the dog visits the tiger and the tiger chases the dog then the dog chases the tiger. If something is round and it chases the dog then it eats the tiger. If something chases the tiger then it is round. If the tiger is cold and the tiger chases the dog then the tiger is round.
The dog eats the dog.
@0: The dog chases the tiger.[(triple1 OR ((triple5 triple6) -> rule5))] The dog eats the tiger.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog visits the tiger.[(triple5)] The tiger chases the dog.[(triple6)] The tiger is cold.[(triple7)] @1: The dog is round.[(((triple1) -> rule7) OR ((((triple5 triple6) -> rule5)) -> rule7))] The tiger is round.[(((triple7 triple6) -> rule8))] @2: The tiger eats the tiger.[(((((triple7 triple6) -> rule8) triple6) -> rule6))] @3: The tiger visits the dog.[(((triple6 ((((triple7 triple6) -> rule8) triple6) -> rule6)) -> rule3))]