Dave is not big. Dave is not furry. Dave is not rough. Dave is white. Harry is big. Harry is smart. Harry is white. Green people are white. If someone is furry and not smart then they are not white. If someone is smart and furry then they are not green. If someone is young and not smart then they are furry. All furry, rough people are young. If Dave is not young then Dave is white. Young, smart people are big. If someone is furry and not green then they are big.
Harry is not white.
@0: Dave is not big.[(triple1)] Dave is not furry.[(triple2)] Dave is not rough.[(triple3)] Dave is white.[(triple4)] Harry is big.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)]