Dave is big. Dave is cold. Dave is furry. Dave is not kind. Erin is blue. Erin is cold. Erin is furry. Fiona is furry. Harry is big. Harry is blue. Harry is cold. Harry is not furry. All big, white things are blue. Nice, blue things are white. If Fiona is not white then Fiona is cold.
Dave is not white.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is not kind.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Fiona is furry.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is not furry.[(triple12)]