The rabbit is kind. If the rabbit is big and the rabbit is kind then the rabbit is blue. If the rabbit is big and the rabbit is nice then the rabbit is not blue. Cold things are not nice. Blue things are kind. All kind, big things are cold. If something is nice then it is cold. All big, cold things are blue. Kind things are big.
The rabbit is big.
@0: The rabbit is kind.[(triple1)] @1: The rabbit is big.[(((triple1) -> rule8))] @2: The rabbit is blue.[(((((triple1) -> rule8) triple1) -> rule1) OR ((((triple1) -> rule8) ((triple1 ((triple1) -> rule8)) -> rule5)) -> rule7))] The rabbit is cold.[(((triple1 ((triple1) -> rule8)) -> rule5))] @3: The rabbit is not nice.[(((((triple1 ((triple1) -> rule8)) -> rule5)) -> rule3))]