Bob is big. Charlie is not furry. Charlie is quiet. Charlie is not red. Gary is not quiet. Gary is smart. Harry is big. Smart, furry things are white.
Charlie is not white.
@0: Bob is big.[(triple1)] Charlie is not furry.[(triple2)] Charlie is not red.[(triple4)] Charlie is quiet.[(triple3)] Gary is not quiet.[(triple5)] Gary is smart.[(triple6)] Harry is big.[(triple7)]