Charlie is white. Dave is big. Erin is round. Harry is round. Cold, white people are green. If Harry is white then Harry is cold. If someone is green then they are white. If someone is red then they are cold. If someone is white and cold then they are big. All cold people are red. If Charlie is green and Charlie is round then Charlie is red. If Erin is red and Erin is white then Erin is rough.
Harry is rough.
@0: Charlie is white.[(triple1)] Dave is big.[(triple2)] Erin is round.[(triple3)] Harry is round.[(triple4)]