The dog chases the rabbit. The dog is cold. The dog is green. The dog sees the rabbit. The dog visits the rabbit. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit sees the dog. The rabbit visits the dog. If something is big then it chases the dog. If something is cold then it visits the rabbit. If something is green then it sees the dog. If something sees the rabbit and the rabbit chases the dog then the dog is big. If something is green then it sees the rabbit. If something sees the rabbit and it is green then the rabbit chases the dog. If something is green then it sees the rabbit. If the rabbit sees the dog and the rabbit chases the dog then the dog sees the rabbit.
The dog is not big.
@0: The dog chases the rabbit.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog sees the rabbit.[(triple4 OR ((triple3) -> rule5) OR ((triple3) -> rule7) OR ((triple9 ((triple6) -> rule1)) -> rule8) OR ((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) OR ((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) OR ((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8))] The dog visits the rabbit.[(triple5 OR ((triple2) -> rule2))] The rabbit is big.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is green.[(triple8)] The rabbit sees the dog.[(triple9 OR ((triple8) -> rule3))] The rabbit visits the dog.[(triple10)] @1: The dog sees the dog.[(((triple3) -> rule3))] The rabbit chases the dog.[(((triple6) -> rule1) OR ((triple4 triple3) -> rule6) OR ((((triple3) -> rule5) triple3) -> rule6) OR ((((triple3) -> rule7) triple3) -> rule6) OR ((((triple8) -> rule5) triple8) -> rule6) OR ((((triple8) -> rule7) triple8) -> rule6))] The rabbit sees the rabbit.[(((triple8) -> rule5) OR ((triple8) -> rule7))] The rabbit visits the rabbit.[(((triple7) -> rule2))] @2: The dog is big.[(((triple4 ((triple6) -> rule1)) -> rule4) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule5) ((triple6) -> rule1)) -> rule4) OR ((((triple3) -> rule5) ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule7) ((triple6) -> rule1)) -> rule4) OR ((((triple3) -> rule7) ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((triple6) -> rule1)) -> rule4) OR ((((triple8) -> rule5) ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple8) -> rule7) ((triple6) -> rule1)) -> rule4) OR ((((triple8) -> rule7) ((triple4 triple3) -> rule6)) -> rule4) OR ((triple4 ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((triple4 ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((triple4 ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((triple4 ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule5) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule5) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((triple3) -> rule5) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((triple3) -> rule7) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule7) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((triple3) -> rule7) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((triple8) -> rule7) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((triple8) -> rule7) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((triple8) -> rule7) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((triple8) -> rule7) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((triple9 ((triple6) -> rule1)) -> rule8) ((triple6) -> rule1)) -> rule4) OR ((((triple9 ((triple6) -> rule1)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple9 ((triple6) -> rule1)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((triple9 ((triple6) -> rule1)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((triple9 ((triple6) -> rule1)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((triple9 ((triple6) -> rule1)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((triple6) -> rule1)) -> rule4) OR ((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((triple6) -> rule1)) -> rule4) OR ((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((triple6) -> rule1)) -> rule4) OR ((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((triple6) -> rule1)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((triple6) -> rule1)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4) OR ((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4))] @3: The dog chases the dog.[(((((triple4 ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((triple4 ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule7) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((triple3) -> rule7) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule5) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((triple8) -> rule5) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((triple4 ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((triple4 ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((triple4 ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((triple4 ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule7) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule7) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule7) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule5) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule5) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule5) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule5) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((triple6) -> rule1)) -> rule8) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((triple9 ((triple6) -> rule1)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((triple6) -> rule1)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((triple6) -> rule1)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((triple6) -> rule1)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((triple6) -> rule1)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((triple6) -> rule1)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((triple9 ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((triple6) -> rule1)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((triple4 triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule5) triple8) -> rule6)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple8) -> rule5) triple8) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule3) ((((triple8) -> rule7) triple8) -> rule6)) -> rule8) ((((triple8) -> rule7) triple8) -> rule6)) -> rule4)) -> rule1))]