The lion chases the rabbit. The lion is green. The lion is kind. The lion needs the rabbit. The lion visits the rabbit. The rabbit is nice. The rabbit is round. If someone visits the rabbit and the rabbit is round then they need the lion.
The rabbit is round.
@0: The lion chases the rabbit.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion needs the rabbit.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit is nice.[(triple6)] The rabbit is round.[(triple7)] @1: The lion needs the lion.[(((triple5 triple7) -> rule1))]