Charlie is red. Dave is not green. Dave is smart. Gary is green. Gary is white. Harry is not nice. Harry is white. If someone is white and big then they are nice. If Harry is nice and Harry is not red then Harry is white. If Gary is white and Gary is nice then Gary is not smart.
Gary is big.
@0: Charlie is red.[(triple1)] Dave is not green.[(triple2)] Dave is smart.[(triple3)] Gary is green.[(triple4)] Gary is white.[(triple5)] Harry is not nice.[(triple6)] Harry is white.[(triple7)]