The rabbit is cold. If something is rough and kind then it is blue. Nice, rough things are kind. If the rabbit is cold then the rabbit is nice. Kind things are nice. Cold things are kind. All nice things are rough.
The rabbit is blue.
@0: The rabbit is cold.[(triple1)] @1: The rabbit is kind.[(((triple1) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2))] The rabbit is nice.[(((triple1) -> rule3) OR ((((triple1) -> rule5)) -> rule4))] @2: The rabbit is rough.[(((((triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule5)) -> rule4)) -> rule6))] @3: The rabbit is blue.[(((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule4)) -> rule6) ((triple1) -> rule5)) -> rule1) OR ((((((triple1) -> rule3)) -> rule6) ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule4)) -> rule6) ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule1))]