Bob is big. Bob is green. Bob is round. Charlie is green. Charlie is red. Gary is big. Gary is young. If Charlie is quiet then Charlie is big. All red, big things are quiet.
Bob is white.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Gary is big.[(triple6)] Gary is young.[(triple7)]