Charlie is smart. Erin is quiet. Erin is white. Harry is cold. Harry is red. Harry is smart. Harry is not white. If something is red and quiet then it is cold.
Harry is white.
@0: Charlie is smart.[(triple1)] Erin is quiet.[(triple2)] Erin is white.[(triple3)] Harry is cold.[(triple4)] Harry is not white.[(triple7)] Harry is red.[(triple5)] Harry is smart.[(triple6)]