Anne is cold. Anne is green. Bob is cold. Bob is not furry. Bob is kind. Bob is not round. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is round. Fiona is not white. Harry is white. If Fiona is cold and Fiona is round then Fiona is not green.
Fiona is not furry.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple5)] Bob is not furry.[(triple4)] Bob is not round.[(triple6)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is not furry.[(triple7)] Fiona is not white.[(triple11)] Fiona is round.[(triple10)] Harry is white.[(triple12)]