Anne is round. Bob is blue. Charlie is not nice. Harry is not green. If Charlie is blue then Charlie is not cold. If something is red and furry then it is cold. If Anne is blue then Anne is furry.
Charlie is not nice.
@0: Anne is round.[(triple1)] Bob is blue.[(triple2)] Charlie is not nice.[(triple3)] Harry is not green.[(triple4)]