Bob is furry. Fiona is red. Gary is not round. Harry is not green. If someone is cold then they are round. If Gary is cold and Gary is green then Gary is red.
Gary is round.
@0: Bob is furry.[(triple1)] Fiona is red.[(triple2)] Gary is not round.[(triple3)] Harry is not green.[(triple4)]