The dog chases the rabbit. The dog visits the rabbit. The rabbit chases the dog. The rabbit is big. The rabbit is nice. The rabbit likes the dog. The rabbit visits the dog. If something visits the dog then the dog chases the rabbit.
The dog is kind.
@0: The dog chases the rabbit.[(triple1 OR ((triple7) -> rule1))] The dog visits the rabbit.[(triple2)] The rabbit chases the dog.[(triple3)] The rabbit is big.[(triple4)] The rabbit is nice.[(triple5)] The rabbit likes the dog.[(triple6)] The rabbit visits the dog.[(triple7)]