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