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