Erin is blue. Erin is cold. Erin is furry. Erin is not nice. Erin is red. Erin is round. Erin is smart. All nice people are furry. If someone is red and not furry then they are smart.
Erin is smart.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is not nice.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)]