The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit is round. If someone is red then they are rough.
The rabbit is round.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4 OR ((triple3) -> rule1))] The rabbit is round.[(triple5)]