Anne is furry. Anne is quiet. Anne is not white. Dave is cold. Dave is green. Dave is quiet. Gary is blue. Gary is cold. Gary is not furry. Gary is green. Gary is quiet. Gary is not red. Gary is white. Harry is cold. Harry is furry. Harry is green. If someone is furry then they are red. If someone is cold and not green then they are not red. If Harry is furry and Harry is not green then Harry is quiet.
Harry is furry.
@0: Anne is furry.[(triple1)] Anne is not white.[(triple3)] Anne is quiet.[(triple2)] Dave is cold.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple10)] Gary is not furry.[(triple9)] Gary is not red.[(triple12)] Gary is quiet.[(triple11)] Gary is white.[(triple13)] Harry is cold.[(triple14)] Harry is furry.[(triple15)] Harry is green.[(triple16)] @1: Anne is red.[(((triple1) -> rule1))] Harry is red.[(((triple15) -> rule1))]