The dog visits the rabbit. The rabbit needs the dog. The rabbit visits the dog. If someone eats the rabbit and they visit the rabbit then the rabbit eats the dog. If the rabbit visits the dog then the dog eats the rabbit. If the rabbit visits the dog and the rabbit needs the dog then the rabbit is not rough. If someone visits the rabbit and the rabbit eats the dog then they eat the dog. If someone visits the dog and they eat the dog then they need the rabbit. If someone needs the rabbit and they do not need the dog then the dog is not nice. Big, nice people are rough. If someone is rough and they do not eat the dog then the dog is young.
The dog is young.
@0: The dog visits the rabbit.[(triple1)] The rabbit needs the dog.[(triple2)] The rabbit visits the dog.[(triple3)] @1: The dog eats the rabbit.[(((triple3) -> rule2))] The rabbit is not rough.[(((triple3 triple2) -> rule3))] @2: The rabbit eats the dog.[(((((triple3) -> rule2) triple1) -> rule1))] @3: The dog eats the dog.[(((triple1 ((((triple3) -> rule2) triple1) -> rule1)) -> rule4))] The rabbit needs the rabbit.[(((triple3 ((((triple3) -> rule2) triple1) -> rule1)) -> rule5))]