Anne is not white. Charlie is cold. Charlie is nice. Charlie is round. Fiona is cold. Fiona is round. Harry is smart. If someone is nice then they are not smart. If Anne is cold and Anne is not blue then Anne is not white.
Fiona is not kind.
@0: Anne is not white.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Fiona is cold.[(triple5)] Fiona is round.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is not smart.[(((triple3) -> rule1))]