Anne is blue. Anne is rough. Charlie is red. Dave is not blue. Dave is not smart. Harry is green. Harry is rough. Red, blue things are not rough. If something is red and not green then it is rough. Smart things are not round. If something is round and not blue then it is smart. All round things are red. All round, smart things are cold. If something is blue then it is not cold. If something is green and not rough then it is cold.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Charlie is red.[(triple3)] Dave is not blue.[(triple4)] Dave is not smart.[(triple5)] Harry is green.[(triple6)] Harry is rough.[(triple7)] @1: Anne is not cold.[(((triple1) -> rule7))]