Charlie is red. Dave is blue. Fiona is not blue. Harry is red. If someone is blue then they are white. If someone is blue then they are not kind. All cold people are rough.
Harry is blue.
@0: Charlie is red.[(triple1)] Dave is blue.[(triple2)] Fiona is not blue.[(triple3)] Harry is red.[(triple4)] @1: Dave is not kind.[(((triple2) -> rule2))] Dave is white.[(((triple2) -> rule1))]