Bob is big. Charlie is big. Charlie is furry. Charlie is kind. Gary is big. Harry is green. Harry is rough. If Bob is rough and Bob is furry then Bob is big. Furry, nice people are white. Rough, big people are nice.
Bob is not white.
@0: Bob is big.[(triple1)] Charlie is big.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Gary is big.[(triple5)] Harry is green.[(triple6)] Harry is rough.[(triple7)]