The rabbit is blue. If the rabbit is round then the rabbit is blue. All kind things are nice. If something is round then it is red. Blue things are round. All kind, blue things are nice. If the rabbit is round then the rabbit is kind. If something is kind and blue then it is nice. If something is round and red then it is nice.
The rabbit is nice.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is round.[(((triple1) -> rule4))] @2: The rabbit is kind.[(((((triple1) -> rule4)) -> rule6))] The rabbit is red.[(((((triple1) -> rule4)) -> rule3))] @3: The rabbit is nice.[(((((((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((((triple1) -> rule4)) -> rule6) triple1) -> rule5) OR ((((((triple1) -> rule4)) -> rule6) triple1) -> rule7) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule8))]