The dog chases the rabbit. The dog eats the rabbit. The dog is big. The dog is kind. The dog is round. The dog visits the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is big. The rabbit is kind. The rabbit is round. The rabbit visits the dog. If someone eats the rabbit and they eat the dog then the dog eats the rabbit. If the rabbit chases the dog and the dog eats the rabbit then the dog is rough. If someone is rough and round then they chase the dog. If someone chases the rabbit then they eat the rabbit. If someone chases the dog and they are nice then they chase the rabbit. If the dog is round then the dog visits the rabbit. Kind people are nice. If someone visits the dog and they are kind then the dog chases the rabbit.
The rabbit does not chase the rabbit.
@0: The dog chases the rabbit.[(triple1 OR ((triple12 triple10) -> rule8) OR ((((((triple7 triple2) -> rule2) triple5) -> rule3) ((triple4) -> rule7)) -> rule5) OR ((((((triple7 ((((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4) triple8) -> rule1)) -> rule2) triple5) -> rule3) ((triple4) -> rule7)) -> rule5))] The dog eats the rabbit.[(triple2 OR ((triple1) -> rule4) OR ((((triple12 triple10) -> rule8)) -> rule4) OR ((((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4) triple8) -> rule1))] The dog is big.[(triple3)] The dog is kind.[(triple4)] The dog is round.[(triple5)] The dog visits the rabbit.[(triple6 OR ((triple5) -> rule6))] The rabbit chases the dog.[(triple7)] The rabbit eats the dog.[(triple8)] The rabbit is big.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is round.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The dog is nice.[(((triple4) -> rule7))] The dog is rough.[(((triple7 triple2) -> rule2) OR ((triple7 ((triple1) -> rule4)) -> rule2) OR ((triple7 ((((triple12 triple10) -> rule8)) -> rule4)) -> rule2) OR ((triple7 ((((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4) triple8) -> rule1)) -> rule2))] The rabbit is nice.[(((triple10) -> rule7))] @2: The dog chases the dog.[(((((triple7 triple2) -> rule2) triple5) -> rule3) OR ((((triple7 ((triple1) -> rule4)) -> rule2) triple5) -> rule3) OR ((((triple7 ((((triple12 triple10) -> rule8)) -> rule4)) -> rule2) triple5) -> rule3) OR ((((triple7 ((((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4) triple8) -> rule1)) -> rule2) triple5) -> rule3))] The rabbit chases the rabbit.[(((triple7 ((triple10) -> rule7)) -> rule5))] @3: The rabbit eats the rabbit.[(((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4))]