Anne is round. Charlie is not round. Harry is blue. If someone is nice and round then they are not cold. All round people are cold. Blue, cold people are not round.
Anne is not round.
@0: Anne is round.[(triple1)] Charlie is not round.[(triple2)] Harry is blue.[(triple3)] @1: Anne is cold.[(((triple1) -> rule2))]