The cat sees the rabbit. The dog does not chase the rabbit. The rabbit chases the dog. If someone eats the dog then they are big. If someone sees the dog then they eat the dog. If the cat sees the dog then the cat sees the rabbit. If the dog is nice and the dog chases the rabbit then the dog is rough. If someone sees the rabbit then the rabbit sees the dog. If someone sees the cat and they do not see the rabbit then the rabbit is not rough. If someone is big then they eat the cat. If someone is big and they do not eat the dog then the dog is big.
The rabbit sees the dog.
@0: The cat sees the rabbit.[(triple1)] The dog does not chase the rabbit.[(triple2)] The rabbit chases the dog.[(triple3)] @1: The rabbit sees the dog.[(((triple1) -> rule5))] @2: The rabbit eats the dog.[(((((triple1) -> rule5)) -> rule2))] @3: The rabbit is big.[(((((((triple1) -> rule5)) -> rule2)) -> rule1))] @4: The rabbit eats the cat.[(((((((((triple1) -> rule5)) -> rule2)) -> rule1)) -> rule7))]