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