Anne is quiet. Charlie is nice. Charlie is not red. Gary is not big. Gary is quiet. Gary is young. Harry is nice. If someone is young and cold then they are big. If Charlie is young and Charlie is not nice then Charlie is blue.
Charlie is young.
@0: Anne is quiet.[(triple1)] Charlie is nice.[(triple2)] Charlie is not red.[(triple3)] Gary is not big.[(triple4)] Gary is quiet.[(triple5)] Gary is young.[(triple6)] Harry is nice.[(triple7)]