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