Gary is not big. Gary is cold. Harry is nice. Cold things are quiet. All quiet things are not smart. If Gary is not quiet then Gary is kind.
Gary is not quiet.
@0: Gary is cold.[(triple2)] Gary is not big.[(triple1)] Harry is nice.[(triple3)] @1: Gary is quiet.[(((triple2) -> rule1))] @2: Gary is not smart.[(((((triple2) -> rule1)) -> rule2))]