Anne is blue. Dave is blue. Erin is cold. Harry is round. Rough, cold people are red. All cold, rough people are nice. All rough people are cold. If someone is nice then they are blue. Blue people are cold. Nice people are white. If Harry is cold and Harry is nice then Harry is rough. If someone is cold and round then they are nice.
Harry is not round.
@0: Anne is blue.[(triple1)] Dave is blue.[(triple2)] Erin is cold.[(triple3)] Harry is round.[(triple4)] @1: Anne is cold.[(((triple1) -> rule5))] Dave is cold.[(((triple2) -> rule5))]