The dog eats the rabbit. The dog is big. The dog is cold. The dog is kind. The dog is rough. The dog is young. The dog sees the rabbit. The dog visits the rabbit. The rabbit eats the dog. The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit sees the dog. The rabbit visits the dog. If something eats the dog and the dog is cold then it sees the rabbit. If something sees the dog and it is rough then the dog eats the rabbit. If something visits the dog then it sees the dog. If something eats the rabbit then the rabbit visits the dog. If something is big and kind then it sees the dog. Kind things are big. If the dog visits the rabbit and the dog eats the rabbit then the rabbit is cold. If something eats the rabbit then the rabbit eats the dog.
The dog does not eat the dog.
@0: The dog eats the rabbit.[(triple1 OR ((triple15 triple13) -> rule2) OR ((((triple16) -> rule3) triple13) -> rule2) OR ((((triple10 triple12) -> rule5) triple13) -> rule2) OR ((((triple2 triple4) -> rule5) triple5) -> rule2) OR ((((((triple12) -> rule6) triple12) -> rule5) triple13) -> rule2) OR ((((((triple4) -> rule6) triple4) -> rule5) triple5) -> rule2))] The dog is big.[(triple2 OR ((triple4) -> rule6))] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog is rough.[(triple5)] The dog is young.[(triple6)] The dog sees the rabbit.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit eats the dog.[(triple9 OR ((triple1) -> rule8) OR ((((triple15 triple13) -> rule2)) -> rule8) OR ((((((triple16) -> rule3) triple13) -> rule2)) -> rule8) OR ((((((triple10 triple12) -> rule5) triple13) -> rule2)) -> rule8) OR ((((((triple2 triple4) -> rule5) triple5) -> rule2)) -> rule8) OR ((((((((triple12) -> rule6) triple12) -> rule5) triple13) -> rule2)) -> rule8) OR ((((((((triple4) -> rule6) triple4) -> rule5) triple5) -> rule2)) -> rule8))] The rabbit is big.[(triple10 OR ((triple12) -> rule6))] The rabbit is cold.[(triple11 OR ((triple8 triple1) -> rule7) OR ((triple8 ((triple15 triple13) -> rule2)) -> rule7) OR ((triple8 ((((triple16) -> rule3) triple13) -> rule2)) -> rule7) OR ((triple8 ((((triple10 triple12) -> rule5) triple13) -> rule2)) -> rule7) OR ((triple8 ((((triple2 triple4) -> rule5) triple5) -> rule2)) -> rule7) OR ((triple8 ((((((triple12) -> rule6) triple12) -> rule5) triple13) -> rule2)) -> rule7) OR ((triple8 ((((((triple4) -> rule6) triple4) -> rule5) triple5) -> rule2)) -> rule7))] The rabbit is kind.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the dog.[(triple15 OR ((triple16) -> rule3) OR ((triple10 triple12) -> rule5) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple12) -> rule6) triple12) -> rule5) OR ((((((((triple2 triple4) -> rule5) triple5) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple4) -> rule6) triple4) -> rule5) triple5) -> rule2)) -> rule4)) -> rule3))] The rabbit visits the dog.[(triple16 OR ((triple1) -> rule4) OR ((((triple15 triple13) -> rule2)) -> rule4) OR ((((((triple10 triple12) -> rule5) triple13) -> rule2)) -> rule4) OR ((((((triple2 triple4) -> rule5) triple5) -> rule2)) -> rule4) OR ((((((((triple12) -> rule6) triple12) -> rule5) triple13) -> rule2)) -> rule4) OR ((((((((triple4) -> rule6) triple4) -> rule5) triple5) -> rule2)) -> rule4))] @1: The dog sees the dog.[(((triple2 triple4) -> rule5) OR ((((triple4) -> rule6) triple4) -> rule5))] The rabbit sees the rabbit.[(((triple9 triple3) -> rule1) OR ((((triple1) -> rule8) triple3) -> rule1) OR ((((((triple15 triple13) -> rule2)) -> rule8) triple3) -> rule1) OR ((((((((triple16) -> rule3) triple13) -> rule2)) -> rule8) triple3) -> rule1) OR ((((((((triple10 triple12) -> rule5) triple13) -> rule2)) -> rule8) triple3) -> rule1) OR ((((((((triple2 triple4) -> rule5) triple5) -> rule2)) -> rule8) triple3) -> rule1) OR ((((((((((triple12) -> rule6) triple12) -> rule5) triple13) -> rule2)) -> rule8) triple3) -> rule1) OR ((((((((((triple4) -> rule6) triple4) -> rule5) triple5) -> rule2)) -> rule8) triple3) -> rule1))]