Bob is green. Bob is not rough. Bob is round. Bob is white. Charlie is kind. Charlie is white. Fiona is not green. Fiona is not kind. Fiona is rough. Fiona is round. Gary is red. Gary is not round. If something is white and not round then it is red.
Gary is red.
@0: Bob is green.[(triple1)] Bob is not rough.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Charlie is kind.[(triple5)] Charlie is white.[(triple6)] Fiona is not green.[(triple7)] Fiona is not kind.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] Gary is not round.[(triple12)] Gary is red.[(triple11)]