The rabbit is not big. The rabbit is blue. The rabbit is rough. The rabbit is round. The rabbit is young. If the rabbit is rough then the rabbit is blue.
The rabbit is not big.
@0: The rabbit is blue.[(triple2 OR ((triple3) -> rule1))] The rabbit is not big.[(triple1)] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]