Charlie is quiet. Gary is quiet. Harry is not blue. All quiet people are not big.
Harry is not blue.
@0: Charlie is quiet.[(triple1)] Gary is quiet.[(triple2)] Harry is not blue.[(triple3)] @1: Charlie is not big.[(((triple1) -> rule1))] Gary is not big.[(((triple2) -> rule1))]