The dog visits the tiger. The rabbit visits the dog. The tiger is rough. If the dog is rough then the dog visits the rabbit. If the dog visits the tiger then the dog likes the tiger. If the dog likes the rabbit and the rabbit is cold then the dog is nice.
The rabbit needs the tiger.
@0: The dog visits the tiger.[(triple1)] The rabbit visits the dog.[(triple2)] The tiger is rough.[(triple3)] @1: The dog likes the tiger.[(((triple1) -> rule2))]