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