Anne is furry. Anne is young. Charlie is cold. Charlie is nice. Charlie is young. Erin is young. Fiona is young. If Anne is nice and Anne is cold then Anne is furry. If Charlie is quiet and Charlie is nice then Charlie is green. All quiet, young people are cold. If Anne is quiet and Anne is blue then Anne is nice. If someone is quiet and young then they are cold. Green people are furry.
Erin is not furry.
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4)] Charlie is young.[(triple5)] Erin is young.[(triple6)] Fiona is young.[(triple7)]