Anne is cold. Anne is furry. Anne is green. Bob is cold. Bob is nice. Gary is green. Gary is quiet. Furry, nice people are cold. If someone is furry and nice then they are cold.
Gary is young.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Bob is cold.[(triple4)] Bob is nice.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)]