Bob is green. Charlie is not big. Charlie is blue. Charlie is cold. Charlie is not quiet. Fiona is not big. Fiona is blue. If Charlie is green and Charlie is red then Charlie is not quiet.
Bob is blue.
@0: Bob is green.[(triple1)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is not big.[(triple2)] Charlie is not quiet.[(triple5)] Fiona is blue.[(triple7)] Fiona is not big.[(triple6)]