The bear is green. The mouse visits the rabbit. The rabbit is green. All round people are nice. If someone visits the rabbit then the rabbit is round.
The rabbit is not green.
@0: The bear is green.[(triple1)] The mouse visits the rabbit.[(triple2)] The rabbit is green.[(triple3)] @1: The rabbit is round.[(((triple2) -> rule2))] @2: The rabbit is nice.[(((((triple2) -> rule2)) -> rule1))]