Charlie is blue. Dave is round. Erin is round. Gary is furry. Rough people are blue. Round, big people are furry. If Gary is blue and Gary is round then Gary is white. All furry, cold people are round. If someone is rough then they are big. Cold people are round.
Dave is not big.
@0: Charlie is blue.[(triple1)] Dave is round.[(triple2)] Erin is round.[(triple3)] Gary is furry.[(triple4)]