Anne is cold. Anne is kind. Anne is quiet. Charlie is cold. Charlie is quiet. Dave is smart. Harry is nice. All kind, smart people are white. If someone is kind and smart then they are blue. If someone is smart then they are nice.
Harry is kind.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Charlie is cold.[(triple4)] Charlie is quiet.[(triple5)] Dave is smart.[(triple6)] Harry is nice.[(triple7)] @1: Dave is nice.[(((triple6) -> rule3))]