Charlie is blue. Charlie is furry. Fiona is cold. Fiona is nice. Gary is blue. Gary is not nice. Gary is rough. If Charlie is not cold then Charlie is blue. If Fiona is not nice and Fiona is not furry then Fiona is blue.
Fiona is not blue.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Fiona is cold.[(triple3)] Fiona is nice.[(triple4)] Gary is blue.[(triple5)] Gary is not nice.[(triple6)] Gary is rough.[(triple7)]