Anne is blue. Anne is quiet. Anne is rough. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is white. Harry is green. Harry is rough. All green people are blue. If someone is green and blue then they are furry. Rough, furry people are white. If someone is rough and blue then they are furry. All green, blue people are quiet. Quiet people are green. White, furry people are green. If someone is furry and quiet then they are white.
Fiona is not green.
@0: Anne is blue.[(triple1 OR ((((triple2) -> rule6)) -> rule1))] Anne is quiet.[(triple2 OR ((((((triple3 ((triple3 triple1) -> rule4)) -> rule3) ((triple3 triple1) -> rule4)) -> rule7) triple1) -> rule5))] Anne is rough.[(triple3)] Fiona is blue.[(triple4 OR ((((triple6) -> rule6)) -> rule1) OR ((((triple8 triple5) -> rule7)) -> rule1) OR ((((((triple5 triple6) -> rule8) triple5) -> rule7)) -> rule1) OR ((((((triple7 triple5) -> rule3) triple5) -> rule7)) -> rule1))] Fiona is furry.[(triple5 OR ((triple7 triple4) -> rule4) OR ((((triple6) -> rule6) triple4) -> rule2) OR ((triple7 ((((triple6) -> rule6)) -> rule1)) -> rule4) OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule1)) -> rule2))] Fiona is quiet.[(triple6 OR ((((triple8 triple5) -> rule7) triple4) -> rule5) OR ((((triple8 ((triple7 triple4) -> rule4)) -> rule7) triple4) -> rule5) OR ((((((triple7 triple5) -> rule3) triple5) -> rule7) triple4) -> rule5) OR ((((triple8 triple5) -> rule7) ((((triple8 triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 triple5) -> rule3) ((triple7 triple4) -> rule4)) -> rule7) triple4) -> rule5) OR ((((triple8 ((triple7 triple4) -> rule4)) -> rule7) ((((triple8 triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 triple5) -> rule3) triple5) -> rule7) ((((triple8 triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 triple5) -> rule3) ((triple7 triple4) -> rule4)) -> rule7) ((((triple8 triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 ((triple7 triple4) -> rule4)) -> rule3) triple5) -> rule7) triple4) -> rule5) OR ((((triple8 triple5) -> rule7) ((((((triple7 triple5) -> rule3) triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 ((triple7 triple4) -> rule4)) -> rule3) ((triple7 triple4) -> rule4)) -> rule7) triple4) -> rule5) OR ((((triple8 ((triple7 triple4) -> rule4)) -> rule7) ((((((triple7 triple5) -> rule3) triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 triple5) -> rule3) triple5) -> rule7) ((((((triple7 triple5) -> rule3) triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 ((triple7 triple4) -> rule4)) -> rule3) triple5) -> rule7) ((((triple8 triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 triple5) -> rule3) ((triple7 triple4) -> rule4)) -> rule7) ((((((triple7 triple5) -> rule3) triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 ((triple7 triple4) -> rule4)) -> rule3) triple5) -> rule7) ((((((triple7 triple5) -> rule3) triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 ((triple7 triple4) -> rule4)) -> rule3) ((triple7 triple4) -> rule4)) -> rule7) ((((triple8 triple5) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7 ((triple7 triple4) -> rule4)) -> rule3) ((triple7 triple4) -> rule4)) -> rule7) ((((((triple7 triple5) -> rule3) triple5) -> rule7)) -> rule1)) -> rule5))] Fiona is rough.[(triple7)] Fiona is white.[(triple8 OR ((triple5 triple6) -> rule8) OR ((triple7 triple5) -> rule3) OR ((triple7 ((triple7 triple4) -> rule4)) -> rule3) OR ((((triple7 triple4) -> rule4) triple6) -> rule8) OR ((triple7 ((((triple6) -> rule6) triple4) -> rule2)) -> rule3) OR ((((((triple6) -> rule6) triple4) -> rule2) triple6) -> rule8) OR ((triple7 ((triple7 ((((triple6) -> rule6)) -> rule1)) -> rule4)) -> rule3) OR ((((triple7 ((((triple6) -> rule6)) -> rule1)) -> rule4) triple6) -> rule8) OR ((triple7 ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule1)) -> rule2)) -> rule3) OR ((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule1)) -> rule2) triple6) -> rule8))] Harry is green.[(triple9)] Harry is rough.[(triple10)] @1: Anne is furry.[(((triple3 triple1) -> rule4) OR ((((triple2) -> rule6) triple1) -> rule2) OR ((triple3 ((((triple2) -> rule6)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule1)) -> rule2))] Anne is green.[(((triple2) -> rule6) OR ((((triple3 ((triple3 triple1) -> rule4)) -> rule3) ((triple3 triple1) -> rule4)) -> rule7) OR ((((((triple3 triple1) -> rule4) triple2) -> rule8) ((triple3 triple1) -> rule4)) -> rule7))] Fiona is green.[(((triple6) -> rule6) OR ((triple8 triple5) -> rule7) OR ((triple8 ((triple7 triple4) -> rule4)) -> rule7) OR ((((triple5 triple6) -> rule8) triple5) -> rule7) OR ((((triple7 triple5) -> rule3) triple5) -> rule7) OR ((((triple5 triple6) -> rule8) ((triple7 triple4) -> rule4)) -> rule7) OR ((((triple7 triple5) -> rule3) ((triple7 triple4) -> rule4)) -> rule7) OR ((((triple7 ((triple7 triple4) -> rule4)) -> rule3) triple5) -> rule7) OR ((((((triple7 triple4) -> rule4) triple6) -> rule8) triple5) -> rule7) OR ((((triple7 ((triple7 triple4) -> rule4)) -> rule3) ((triple7 triple4) -> rule4)) -> rule7) OR ((((((triple7 triple4) -> rule4) triple6) -> rule8) ((triple7 triple4) -> rule4)) -> rule7))] Harry is blue.[(((triple9) -> rule1))] @2: Anne is white.[(((triple3 ((triple3 triple1) -> rule4)) -> rule3) OR ((((triple3 triple1) -> rule4) triple2) -> rule8) OR ((triple3 ((((triple2) -> rule6) triple1) -> rule2)) -> rule3) OR ((((((triple2) -> rule6) triple1) -> rule2) triple2) -> rule8) OR ((triple3 ((triple3 ((((triple2) -> rule6)) -> rule1)) -> rule4)) -> rule3) OR ((((triple3 ((((triple2) -> rule6)) -> rule1)) -> rule4) triple2) -> rule8) OR ((triple3 ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule1)) -> rule2)) -> rule3) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule1)) -> rule2) triple2) -> rule8))] Harry is furry.[(((triple10 ((triple9) -> rule1)) -> rule4) OR ((triple9 ((triple9) -> rule1)) -> rule2))] Harry is quiet.[(((triple9 ((triple9) -> rule1)) -> rule5))] @3: Harry is white.[(((triple10 ((triple10 ((triple9) -> rule1)) -> rule4)) -> rule3) OR ((triple10 ((triple9 ((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((triple10 ((triple9) -> rule1)) -> rule4) ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule8) OR ((((triple9 ((triple9) -> rule1)) -> rule2) ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule8))]