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