Charlie is red. Fiona is round. Gary is kind. Harry is young. If Gary is young and Gary is round then Gary is red.
Gary is not red.
@0: Charlie is red.[(triple1)] Fiona is round.[(triple2)] Gary is kind.[(triple3)] Harry is young.[(triple4)]