Anne is smart. Gary is big. Harry is quiet. If Anne is quiet then Anne is white. If something is quiet then it is white.
Anne is not white.
@0: Anne is smart.[(triple1)] Gary is big.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is white.[(((triple3) -> rule2))]