Anne is red. Dave is cold. Erin is cold. Gary is nice. If Anne is furry and Anne is nice then Anne is green. If something is round and nice then it is red. Round, nice things are cold. If Anne is green and Anne is round then Anne is cold. Round, cold things are red. Furry things are red. If Dave is green and Dave is red then Dave is cold. Furry, young things are round.
Anne is nice.
@0: Anne is red.[(triple1)] Dave is cold.[(triple2)] Erin is cold.[(triple3)] Gary is nice.[(triple4)]