Charlie is big. Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is rough. Charlie is round. Charlie is young. Dave is not blue. Dave is not round. Dave is not young. Fiona is furry. Fiona is round. Gary is blue. Gary is cold. Gary is round. Gary is young. If Fiona is rough and Fiona is not young then Fiona is cold.
Fiona is not cold.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is not furry.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Dave is not blue.[(triple8)] Dave is not round.[(triple9)] Dave is not young.[(triple10)] Fiona is furry.[(triple11)] Fiona is round.[(triple12)] Gary is blue.[(triple13)] Gary is cold.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)]