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