The rabbit is big. The rabbit is blue. The rabbit is nice. The rabbit is round. The rabbit is young. All young things are blue. Big, nice things are young.
The rabbit is not nice.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2 OR ((triple5) -> rule1) OR ((((triple1 triple3) -> rule2)) -> rule1))] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5 OR ((triple1 triple3) -> rule2))]