The dog visits the rabbit. The rabbit eats the dog. If something chases the dog then it chases the rabbit. If something eats the rabbit then the rabbit chases the dog. If something eats the dog then the dog eats the rabbit. If something chases the dog and it visits the rabbit then the dog chases the rabbit. If something is cold then it chases the dog. If something visits the rabbit then it visits the dog. If something chases the dog then the dog visits the rabbit. If something visits the dog then it is cold.
The rabbit chases the dog.
@0: The dog visits the rabbit.[(triple1 OR ((((((triple2) -> rule3)) -> rule2)) -> rule7))] The rabbit eats the dog.[(triple2)] @1: The dog eats the rabbit.[(((triple2) -> rule3))] The dog visits the dog.[(((triple1) -> rule6) OR ((((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule6))] @2: The dog is cold.[(((((triple1) -> rule6)) -> rule8) OR ((((((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule6)) -> rule8))] The rabbit chases the dog.[(((((triple2) -> rule3)) -> rule2))] @3: The dog chases the dog.[(((((((triple1) -> rule6)) -> rule8)) -> rule5) OR ((((((((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule6)) -> rule8)) -> rule5))] The rabbit chases the rabbit.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))] @4: The dog chases the rabbit.[(((((((((triple1) -> rule6)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple1) -> rule6)) -> rule8)) -> rule5) triple1) -> rule4) OR ((((((((triple1) -> rule6)) -> rule8)) -> rule5) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((((((((((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule6)) -> rule8)) -> rule5)) -> rule1) OR ((((((((((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule6)) -> rule8)) -> rule5) triple1) -> rule4) OR ((((((((((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule6)) -> rule8)) -> rule5) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule4))]