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