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