Anne is green. Erin is white. Harry is white. All rough, round things are cold. If something is cold and round then it is white. Round, green things are cold. If something is cold and round then it is white. If something is round and rough then it is green. If Anne is cold then Anne is green. Green things are kind. Rough things are white.
Harry is not cold.
@0: Anne is green.[(triple1)] Erin is white.[(triple2)] Harry is white.[(triple3)] @1: Anne is kind.[(((triple1) -> rule7))]