The rabbit is big. The rabbit is blue. The rabbit is kind. If something is big then it is kind. If the rabbit is nice and the rabbit is green then the rabbit is kind. If something is green then it is blue.
The rabbit is not blue.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple3 OR ((triple1) -> rule1))]