Anne is not blue. Anne is cold. Anne is not green. Anne is red. Anne is white. Harry is blue. Harry is red. If Anne is quiet and Anne is green then Anne is not blue. If Anne is quiet then Anne is green. If someone is quiet and cold then they are kind. If someone is cold then they are red. If someone is quiet and green then they are not cold. If someone is white and cold then they are not blue. If someone is kind and quiet then they are blue. If Harry is not cold then Harry is white.
Harry is quiet.
@0: Anne is cold.[(triple2)] Anne is not blue.[(triple1 OR ((triple5 triple2) -> rule6))] Anne is not green.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule4))] Anne is white.[(triple5)] Harry is blue.[(triple6)] Harry is red.[(triple7)]