Anne is cold. Dave is big. Erin is green. Fiona is green. If someone is cold and not smart then they are green. If Anne is smart then Anne is not furry. If Erin is cold then Erin is big.
Anne is furry.
@0: Anne is cold.[(triple1)] Dave is big.[(triple2)] Erin is green.[(triple3)] Fiona is green.[(triple4)]