The dog chases the rabbit. The dog is nice. The dog is rough. The dog is round. The dog visits the rabbit. The rabbit is green. The rabbit likes the dog. If someone visits the rabbit then the rabbit visits the dog. If someone visits the dog and the dog does not like the rabbit then the rabbit likes the dog. If someone visits the dog then they are not nice.
The rabbit is not nice.
@0: The dog chases the rabbit.[(triple1)] The dog is nice.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The dog visits the rabbit.[(triple5)] The rabbit is green.[(triple6)] The rabbit likes the dog.[(triple7)] @1: The rabbit visits the dog.[(((triple5) -> rule1))] @2: The rabbit is not nice.[(((((triple5) -> rule1)) -> rule3))]