Charlie is big. Erin is kind. Gary is quiet. Harry is round. All cold people are round. All big, quiet people are not round. If Harry is cold and Harry is nice then Harry is not round.
Erin is not round.
@0: Charlie is big.[(triple1)] Erin is kind.[(triple2)] Gary is quiet.[(triple3)] Harry is round.[(triple4)]