The lion likes the rabbit. The rabbit is rough. The rabbit needs the lion. If the rabbit is rough then the rabbit likes the lion. If the rabbit likes the lion then the lion visits the rabbit. If someone needs the rabbit and the rabbit needs the lion then the rabbit visits the lion. If someone needs the lion and the lion is nice then the lion does not like the rabbit. If someone likes the rabbit and they are not cold then the rabbit is big. If someone visits the rabbit and the rabbit does not like the lion then the rabbit is not big.
The rabbit does not like the lion.
@0: The lion likes the rabbit.[(triple1)] The rabbit is rough.[(triple2)] The rabbit needs the lion.[(triple3)] @1: The rabbit likes the lion.[(((triple2) -> rule1))] @2: The lion visits the rabbit.[(((((triple2) -> rule1)) -> rule2))]