Anne is quiet. Charlie is big. Gary is young. Harry is blue. If someone is young then they are nice.
Gary is not young.
@0: Anne is quiet.[(triple1)] Charlie is big.[(triple2)] Gary is young.[(triple3)] Harry is blue.[(triple4)] @1: Gary is nice.[(((triple3) -> rule1))]