The rabbit is blue. The rabbit is kind. The rabbit is not nice. The rabbit is red. The rabbit is young. Nice things are young. If something is blue and not red then it is young. If the rabbit is nice then the rabbit is blue. If the rabbit is young and the rabbit is not red then the rabbit is not blue. If the rabbit is red then the rabbit is young. If the rabbit is red then the rabbit is kind. All nice, young things are kind. If something is red and not blue then it is not kind.
The rabbit chases the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is kind.[(triple2 OR ((triple4) -> rule6))] The rabbit is not nice.[(triple3)] The rabbit is red.[(triple4)] The rabbit is young.[(triple5 OR ((triple4) -> rule5))]