The rabbit is big. The rabbit is blue. The rabbit is not kind. If something is big and cold then it is green. All big things are blue. If something is cold then it is not blue. All cold things are big. If the rabbit is big then the rabbit is blue. If the rabbit is not kind and the rabbit is not blue then the rabbit is green. If the rabbit is blue and the rabbit is big then the rabbit is green. If the rabbit is not blue then the rabbit is green.
The rabbit is not kind.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2 OR ((triple1) -> rule2) OR ((triple1) -> rule5))] The rabbit is not kind.[(triple3)] @1: The rabbit is green.[(((triple2 triple1) -> rule7) OR ((((triple1) -> rule2) triple1) -> rule7) OR ((((triple1) -> rule5) triple1) -> rule7))]