The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is round. If something is red then it is nice.
The rabbit is green.
@0: The rabbit is green.[(triple1)] The rabbit is nice.[(triple2 OR ((triple3) -> rule1))] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)]