Anne is not big. Fiona is not cold. Gary is furry. Harry is big. All round, big things are not green. If Harry is cold and Harry is not furry then Harry is green. If Harry is red then Harry is round. If Fiona is not green then Fiona is not cold. If Gary is rough and Gary is round then Gary is cold. If something is red and not round then it is rough.
Harry is not big.
@0: Anne is not big.[(triple1)] Fiona is not cold.[(triple2)] Gary is furry.[(triple3)] Harry is big.[(triple4)]