Bob is big. Bob is green. Bob is rough. Bob is not white. Gary is big. Harry is green. Harry is not kind. Harry is red. Harry is not rough. Harry is white. If Harry is cold then Harry is red. All red, rough things are kind. Cold, kind things are not white.
Gary is red.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is not white.[(triple4)] Bob is rough.[(triple3)] Gary is big.[(triple5)] Harry is green.[(triple6)] Harry is not kind.[(triple7)] Harry is not rough.[(triple9)] Harry is red.[(triple8)] Harry is white.[(triple10)]