Bob is not big. Bob is kind. Gary is not rough. If someone is rough and not blue then they are green. All blue people are not big.
Gary is not green.
@0: Bob is kind.[(triple2)] Bob is not big.[(triple1)] Gary is not rough.[(triple3)]