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