Charlie is furry. Dave is big. Erin is not blue. Harry is red. If something is cold and big then it is red.
Harry is not red.
@0: Charlie is furry.[(triple1)] Dave is big.[(triple2)] Erin is not blue.[(triple3)] Harry is red.[(triple4)]