Dave is furry. Harry is furry. Harry is nice. If something is cold then it is green. If Dave is not cold then Dave is kind. If something is big and kind then it is white. Big things are nice. All furry, green things are nice. If Harry is not green then Harry is big.
Harry is nice.
@0: Dave is furry.[(triple1)] Harry is furry.[(triple2)] Harry is nice.[(triple3)]