Anne is young. Gary is smart. Harry is quiet. Quiet people are not green. If someone is quiet and not kind then they are not young. All smart people are not big. If Gary is not kind and Gary is not young then Gary is cold. All kind, quiet people are smart. If someone is cold and not green then they are smart. Quiet people are cold. Green, smart people are not cold.
Gary is not cold.
@0: Anne is young.[(triple1)] Gary is smart.[(triple2)] Harry is quiet.[(triple3)] @1: Gary is not big.[(((triple2) -> rule3))] Harry is cold.[(((triple3) -> rule7))] Harry is not green.[(((triple3) -> rule1))] @2: Harry is smart.[(((((triple3) -> rule7) ((triple3) -> rule1)) -> rule6))] @3: Harry is not big.[(((((((triple3) -> rule7) ((triple3) -> rule1)) -> rule6)) -> rule3))]