The dog chases the rabbit. The dog eats the rabbit. The dog is green. The dog is kind. The dog is red. The dog is round. The dog visits the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit visits the dog. If someone is green then they eat the dog. If someone visits the rabbit then the rabbit chases the dog. If someone visits the rabbit and the rabbit is red then they are kind.
The dog is young.
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4 OR ((triple7 triple12) -> rule3))] The dog is red.[(triple5)] The dog is round.[(triple6)] The dog visits the rabbit.[(triple7)] The rabbit chases the dog.[(triple8 OR ((triple7) -> rule2))] The rabbit eats the dog.[(triple9 OR ((triple10) -> rule1))] The rabbit is green.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The dog eats the dog.[(((triple3) -> rule1))]