Gary is cold. Gary is white. Harry is not round. If someone is kind then they are quiet. All kind, big people are quiet. If someone is round then they are not kind. If someone is furry and round then they are kind. All cold people are kind. If someone is big then they are furry. All quiet people are furry. If Gary is cold and Gary is round then Gary is not kind.
Gary is not kind.
@0: Gary is cold.[(triple1)] Gary is white.[(triple2)] Harry is not round.[(triple3)] @1: Gary is kind.[(((triple1) -> rule5))] @2: Gary is quiet.[(((((triple1) -> rule5)) -> rule1))] @3: Gary is furry.[(((((((triple1) -> rule5)) -> rule1)) -> rule7))]