Charlie is furry. Dave is cold. Big things are white. If something is furry and smart then it is not blue. If something is cold and not big then it is furry.
Dave is cold.
@0: Charlie is furry.[(triple1)] Dave is cold.[(triple2)]