Charlie is not cold. Charlie is red. Dave is blue. Dave is cold. Dave is quiet. Dave is red. Dave is not smart. Harry is blue. Harry is not furry. Harry is smart. Cold people are kind. If someone is furry then they are blue.
Harry is not red.
@0: Charlie is not cold.[(triple1)] Charlie is red.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is not smart.[(triple7)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Harry is blue.[(triple8)] Harry is not furry.[(triple9)] Harry is smart.[(triple10)] @1: Dave is kind.[(((triple4) -> rule1))]