Anne is cold. Gary is cold. Harry is furry. Red, kind things are young. If something is kind and not blue then it is young. If Anne is not furry then Anne is kind. All young things are red. All blue things are red. All red, young things are rough. If something is kind then it is rough. If Gary is cold then Gary is young.
Gary is young.
@0: Anne is cold.[(triple1)] Gary is cold.[(triple2)] Harry is furry.[(triple3)] @1: Gary is young.[(((triple2) -> rule8))] @2: Gary is red.[(((((triple2) -> rule8)) -> rule4))] @3: Gary is rough.[(((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule6))]