The rabbit is nice. Nice people are kind. All blue people are kind. If someone is nice then they are kind. If the rabbit is nice and the rabbit is kind then the rabbit is round. If the rabbit is blue then the rabbit is big. Kind, big people are blue.
The rabbit is round.
@0: The rabbit is nice.[(triple1)] @1: The rabbit is kind.[(((triple1) -> rule1) OR ((triple1) -> rule3))] @2: The rabbit is round.[(((triple1 ((triple1) -> rule1)) -> rule4) OR ((triple1 ((triple1) -> rule3)) -> rule4))]