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