Gary is big. Gary is kind. Gary is quiet. All big things are nice. If something is quiet and blue then it is not nice. If Gary is blue and Gary is nice then Gary is kind.
Gary is not nice.
@0: Gary is big.[(triple1)] Gary is kind.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is nice.[(((triple1) -> rule1))]