Anne is smart. Charlie is not big. Charlie is blue. Charlie is cold. Charlie is round. Charlie is smart. Charlie is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is round. Fiona is not smart. Fiona is white. Gary is blue. Gary is cold. Gary is white. If Fiona is furry and Fiona is not cold then Fiona is round. Smart, big people are not blue. If someone is white and not cold then they are blue.
Anne is cold.
@0: Anne is smart.[(triple1)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is not big.[(triple2)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is not smart.[(triple12)] Fiona is round.[(triple11)] Fiona is white.[(triple13)] Gary is blue.[(triple14)] Gary is cold.[(triple15)] Gary is white.[(triple16)]