Anne is not blue. Anne is not red. Anne is round. Anne is white. Dave is furry. Dave is round. Dave is white. Gary is blue. Gary is furry. Gary is red. Gary is round. Gary is white. Gary is not young. Harry is cold. Harry is red. Harry is young. All red things are furry. All white, cold things are furry. Round things are white. If Harry is round and Harry is blue then Harry is not furry. If Harry is not blue and Harry is not red then Harry is not furry. If something is furry and not red then it is not round. If something is white and not furry then it is young. All cold, furry things are young.
Harry is red.
@0: Anne is not blue.[(triple1)] Anne is not red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((triple3) -> rule3))] Dave is furry.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7 OR ((triple6) -> rule3))] Gary is blue.[(triple8)] Gary is furry.[(triple9 OR ((triple10) -> rule1))] Gary is not young.[(triple13)] Gary is red.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12 OR ((triple11) -> rule3))] Harry is cold.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16 OR ((triple14 ((triple15) -> rule1)) -> rule8))] @1: Harry is furry.[(((triple15) -> rule1))]