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