Bob is blue. Bob is nice. Bob is young. Charlie is big. Charlie is not blue. Charlie is furry. Charlie is not nice. Charlie is not rough. Charlie is white. Charlie is young. Gary is furry. Gary is not white. Harry is big. Harry is blue. Harry is rough. Harry is young. If someone is rough and not big then they are white. If someone is rough and not white then they are furry.
Bob is not furry.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4)] Charlie is furry.[(triple6)] Charlie is not blue.[(triple5)] Charlie is not nice.[(triple7)] Charlie is not rough.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Gary is furry.[(triple11)] Gary is not white.[(triple12)] Harry is big.[(triple13)] Harry is blue.[(triple14)] Harry is rough.[(triple15)] Harry is young.[(triple16)]