The dog chases the rabbit. The dog is big. The dog is blue. The dog is green. The dog is rough. The dog is young. The dog likes the rabbit. The dog sees the rabbit. The rabbit chases the dog. The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is rough. The rabbit is young. The rabbit likes the dog. The rabbit sees the dog. If someone is young and they see the rabbit then they chase the rabbit. If someone chases the rabbit then the rabbit sees the dog. If someone chases the dog then they see the rabbit. If someone likes the dog and the dog sees the rabbit then the dog is big. If someone is rough and they chase the dog then they like the rabbit. If the rabbit is big then the rabbit chases the dog. If someone chases the dog and the dog is big then they are rough. If the rabbit sees the dog and the dog is big then the rabbit likes the dog.
The dog does not chase the dog.
@0: The dog chases the rabbit.[(triple1 OR ((triple6 triple8) -> rule1))] The dog is big.[(triple2 OR ((triple15 triple8) -> rule4))] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog is rough.[(triple5)] The dog is young.[(triple6)] The dog likes the rabbit.[(triple7)] The dog sees the rabbit.[(triple8)] The rabbit chases the dog.[(triple9 OR ((triple10) -> rule6))] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is green.[(triple12)] The rabbit is rough.[(triple13 OR ((triple9 triple2) -> rule7) OR ((triple9 ((triple15 triple8) -> rule4)) -> rule7) OR ((((triple10) -> rule6) triple2) -> rule7) OR ((((triple10) -> rule6) ((triple15 triple8) -> rule4)) -> rule7))] The rabbit is young.[(triple14)] The rabbit likes the dog.[(triple15 OR ((triple16 triple2) -> rule8) OR ((((triple1) -> rule2) triple2) -> rule8) OR ((((((triple6 triple8) -> rule1)) -> rule2) triple2) -> rule8) OR ((((((triple14 ((triple9) -> rule3)) -> rule1)) -> rule2) triple2) -> rule8) OR ((((((triple14 ((((triple10) -> rule6)) -> rule3)) -> rule1)) -> rule2) triple2) -> rule8))] The rabbit sees the dog.[(triple16 OR ((triple1) -> rule2) OR ((((triple6 triple8) -> rule1)) -> rule2) OR ((((triple14 ((triple9) -> rule3)) -> rule1)) -> rule2) OR ((((triple14 ((((triple10) -> rule6)) -> rule3)) -> rule1)) -> rule2))] @1: The rabbit likes the rabbit.[(((triple13 triple9) -> rule5) OR ((triple13 ((triple10) -> rule6)) -> rule5) OR ((((triple9 triple2) -> rule7) triple9) -> rule5) OR ((((triple9 triple2) -> rule7) ((triple10) -> rule6)) -> rule5) OR ((((triple9 ((triple15 triple8) -> rule4)) -> rule7) triple9) -> rule5) OR ((((((triple10) -> rule6) triple2) -> rule7) triple9) -> rule5) OR ((((triple9 ((triple15 triple8) -> rule4)) -> rule7) ((triple10) -> rule6)) -> rule5) OR ((((((triple10) -> rule6) triple2) -> rule7) ((triple10) -> rule6)) -> rule5) OR ((((((triple10) -> rule6) ((triple15 triple8) -> rule4)) -> rule7) triple9) -> rule5) OR ((((((triple10) -> rule6) ((triple15 triple8) -> rule4)) -> rule7) ((triple10) -> rule6)) -> rule5))] The rabbit sees the rabbit.[(((triple9) -> rule3) OR ((((triple10) -> rule6)) -> rule3))] @2: The rabbit chases the rabbit.[(((triple14 ((triple9) -> rule3)) -> rule1) OR ((triple14 ((((triple10) -> rule6)) -> rule3)) -> rule1))]