Anne is blue. Erin is cold. Fiona is blue. Harry is furry. All smart people are furry. All red, blue people are cold. If someone is red and blue then they are smart. If someone is smart then they are red. All green people are furry. If someone is green then they are furry. If someone is blue and green then they are red. All furry, green people are blue.
Anne is green.
@0: Anne is blue.[(triple1)] Erin is cold.[(triple2)] Fiona is blue.[(triple3)] Harry is furry.[(triple4)]