The rabbit is blue. All nice things are not red. Nice, kind things are red. Nice things are green. All green things are not kind. All green things are nice. All blue things are nice.
The rabbit is blue.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is nice.[(((triple1) -> rule6))] @2: The rabbit is green.[(((((triple1) -> rule6)) -> rule3))] The rabbit is not red.[(((((triple1) -> rule6)) -> rule1))] @3: The rabbit is not kind.[(((((((triple1) -> rule6)) -> rule3)) -> rule4))]