Anne is not blue. Anne is green. Bob is cold. Bob is not red. Bob is white. Erin is blue. Erin is not cold. Erin is not green. Erin is red. Erin is not white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is white. If Erin is green then Erin is blue. If someone is quiet and blue then they are not red.
Fiona is not quiet.
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Bob is cold.[(triple3)] Bob is not red.[(triple4)] Bob is white.[(triple5)] Erin is blue.[(triple6)] Erin is not cold.[(triple7)] Erin is not green.[(triple8)] Erin is not white.[(triple10)] Erin is red.[(triple9)] Fiona is blue.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is red.[(triple15)] Fiona is white.[(triple16)]