The rabbit is blue. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. Round things are red. If the rabbit is red then the rabbit is nice.
The rabbit is not nice.
@0: The rabbit is blue.[(triple1)] The rabbit is nice.[(triple2 OR ((triple3) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] The rabbit is red.[(triple3 OR ((triple4) -> rule1))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]