Anne is furry. Anne is green. Anne is not young. Fiona is blue. Fiona is furry. Fiona is rough. Gary is big. Gary is not blue. Gary is not green. Gary is white. Harry is not big. Harry is blue. Harry is furry. Harry is not green. Harry is white. If someone is furry and not blue then they are not big. All blue, furry people are white. All rough people are white. If Fiona is not green then Fiona is not rough. If Anne is furry and Anne is not blue then Anne is green. White, blue people are rough. If Gary is rough then Gary is not green. If Harry is green and Harry is blue then Harry is not young.
Harry is not furry.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is not young.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is rough.[(triple6 OR ((((triple4 triple5) -> rule2) triple4) -> rule6))] Gary is big.[(triple7)] Gary is not blue.[(triple8)] Gary is not green.[(triple9)] Gary is white.[(triple10)] Harry is blue.[(triple12)] Harry is furry.[(triple13)] Harry is not big.[(triple11)] Harry is not green.[(triple14)] Harry is white.[(triple15 OR ((triple12 triple13) -> rule2))] @1: Fiona is white.[(((triple6) -> rule3) OR ((triple4 triple5) -> rule2))] Harry is rough.[(((triple15 triple12) -> rule6) OR ((((triple12 triple13) -> rule2) triple12) -> rule6))]