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