The dog eats the rabbit. The dog is blue. The dog is green. The dog is kind. The dog is nice. The dog is round. The dog sees the rabbit. The dog visits the rabbit. The rabbit eats the dog. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is round. The rabbit sees the dog. The rabbit visits the dog. If someone sees the dog then the dog visits the rabbit. If someone visits the dog then the dog visits the rabbit. If someone visits the dog and they are kind then the dog eats the rabbit. If someone is round and they eat the dog then they eat the rabbit. If the dog sees the rabbit and the dog is round then the dog eats the rabbit. If someone sees the rabbit then they eat the dog. If the rabbit is kind and the rabbit is nice then the rabbit visits the dog. If someone is round then they are kind.
The rabbit is not round.
@0: The dog eats the rabbit.[(triple1 OR ((triple16 triple12) -> rule3) OR ((triple7 triple6) -> rule5) OR ((triple16 ((triple14) -> rule8)) -> rule3) OR ((triple6 ((triple7) -> rule6)) -> rule4) OR ((((triple12 triple13) -> rule7) triple12) -> rule3) OR ((((triple12 triple13) -> rule7) ((triple14) -> rule8)) -> rule3) OR ((((((triple14) -> rule8) triple13) -> rule7) triple12) -> rule3) OR ((((((triple14) -> rule8) triple13) -> rule7) ((triple14) -> rule8)) -> rule3))] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4 OR ((triple6) -> rule8))] The dog is nice.[(triple5)] The dog is round.[(triple6)] The dog sees the rabbit.[(triple7)] The dog visits the rabbit.[(triple8 OR ((triple15) -> rule1) OR ((triple16) -> rule2) OR ((((triple12 triple13) -> rule7)) -> rule2) OR ((((((triple14) -> rule8) triple13) -> rule7)) -> rule2))] The rabbit eats the dog.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12 OR ((triple14) -> rule8))] The rabbit is nice.[(triple13)] The rabbit is round.[(triple14)] The rabbit sees the dog.[(triple15)] The rabbit visits the dog.[(triple16 OR ((triple12 triple13) -> rule7) OR ((((triple14) -> rule8) triple13) -> rule7))] @1: The dog eats the dog.[(((triple7) -> rule6))] The rabbit eats the rabbit.[(((triple14 triple9) -> rule4))]