The lion visits the rabbit. The rabbit visits the lion. If something visits the lion then it is nice. If something sees the rabbit then it sees the lion. If something is rough then it visits the rabbit. If something visits the rabbit and the rabbit is rough then the rabbit is big. If the rabbit is rough and the rabbit needs the lion then the rabbit visits the lion. If something needs the rabbit and the rabbit sees the lion then it is nice. All kind things are nice. If something needs the rabbit and the rabbit is rough then the rabbit is big.
The rabbit is kind.
@0: The lion visits the rabbit.[(triple1)] The rabbit visits the lion.[(triple2)] @1: The rabbit is nice.[(((triple2) -> rule1))]