Bob is blue. Bob is cold. Bob is rough. Gary is big. Gary is cold. Gary is green. Gary is rough. All green, blue people are big. All blue, kind people are big.
Bob is not rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Gary is big.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is rough.[(triple7)]