The dog sees the rabbit. The rabbit is round. If someone is rough and not red then they do not eat the rabbit. If someone eats the dog then they eat the rabbit. If someone visits the rabbit then the rabbit does not eat the dog. If someone sees the rabbit then the rabbit eats the dog. If someone eats the dog and they eat the rabbit then they are rough. If someone sees the rabbit and the rabbit is rough then they see the dog.
The rabbit is not round.
@0: The dog sees the rabbit.[(triple1)] The rabbit is round.[(triple2)] @1: The rabbit eats the dog.[(((triple1) -> rule4))] @2: The rabbit eats the rabbit.[(((((triple1) -> rule4)) -> rule2))] @3: The rabbit is rough.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5))] @4: The dog sees the dog.[(((triple1 ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5)) -> rule6))]