Anne is furry. Anne is green. Anne is red. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is young. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Harry is furry. Harry is nice. Harry is quiet. Harry is young. If someone is blue then they are nice. If someone is young then they are green. If Fiona is quiet and Fiona is blue then Fiona is furry. All green, nice people are furry. All red, furry people are blue. If Fiona is nice then Fiona is blue.
Harry is not nice.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Charlie is green.[(triple4 OR ((triple7) -> rule2))] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is young.[(triple7)] Fiona is furry.[(triple8 OR ((triple9 triple10) -> rule4) OR ((triple11 ((triple10) -> rule6)) -> rule3))] Fiona is green.[(triple9)] Fiona is nice.[(triple10 OR ((((triple12 triple8) -> rule5)) -> rule1))] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Harry is furry.[(triple13 OR ((((triple16) -> rule2) triple14) -> rule4))] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] Harry is young.[(triple16)] @1: Anne is blue.[(((triple3 triple1) -> rule5))] Charlie is furry.[(((triple4 triple5) -> rule4) OR ((((triple7) -> rule2) triple5) -> rule4))] Fiona is blue.[(((triple10) -> rule6) OR ((triple12 triple8) -> rule5) OR ((triple12 ((triple9 triple10) -> rule4)) -> rule5))] Harry is green.[(((triple16) -> rule2))] @2: Anne is nice.[(((((triple3 triple1) -> rule5)) -> rule1))]