The dog eats the rabbit. The dog is kind. The dog is red. The dog is young. The dog likes the rabbit. The dog visits the rabbit. The rabbit eats the dog. If someone visits the dog and the dog visits the rabbit then they eat the rabbit. If someone is kind then they eat the dog. If someone eats the dog then they eat the rabbit. If someone eats the rabbit and they like the dog then the rabbit eats the dog. If someone is rough then they visit the rabbit. If someone likes the dog and the dog is red then they eat the rabbit. If someone visits the rabbit then the rabbit likes the dog. If someone is rough and they like the rabbit then the rabbit eats the dog.
The rabbit does not visit the rabbit.
@0: The dog eats the rabbit.[(triple1 OR ((((triple2) -> rule2)) -> rule3))] The dog is kind.[(triple2)] The dog is red.[(triple3)] The dog is young.[(triple4)] The dog likes the rabbit.[(triple5)] The dog visits the rabbit.[(triple6)] The rabbit eats the dog.[(triple7 OR ((((((triple6) -> rule7) triple3) -> rule6) ((triple6) -> rule7)) -> rule4))] @1: The dog eats the dog.[(((triple2) -> rule2))] The rabbit eats the rabbit.[(((triple7) -> rule3) OR ((((triple6) -> rule7) triple3) -> rule6))] The rabbit likes the dog.[(((triple6) -> rule7))]