Charlie is white. Dave is rough. Gary is white. Harry is white. If someone is round and rough then they are red. If someone is round and rough then they are smart. Rough, furry people are red. If someone is furry and white then they are round. If someone is smart then they are cold. All furry people are red. If Dave is red then Dave is round. If Charlie is cold and Charlie is rough then Charlie is smart.
Dave is white.
@0: Charlie is white.[(triple1)] Dave is rough.[(triple2)] Gary is white.[(triple3)] Harry is white.[(triple4)]