Anne is blue. Anne is green. Anne is rough. Charlie is quiet. Dave is young. Fiona is quiet. Fiona is white. Quiet, young people are rough. If someone is blue then they are quiet. If someone is white and furry then they are rough. If someone is young then they are white. If someone is quiet then they are furry. Furry people are blue. All green, furry people are white. All furry, rough people are young.
Anne is white.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3 OR ((((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule7) ((((triple1) -> rule2)) -> rule5)) -> rule3))] Charlie is quiet.[(triple4)] Dave is young.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule2))] Charlie is furry.[(((triple4) -> rule5))] Dave is white.[(((triple5) -> rule4))] Fiona is furry.[(((triple6) -> rule5))] @2: Anne is furry.[(((((triple1) -> rule2)) -> rule5))] Charlie is blue.[(((((triple4) -> rule5)) -> rule6))] Fiona is blue.[(((((triple6) -> rule5)) -> rule6))] Fiona is rough.[(((triple7 ((triple6) -> rule5)) -> rule3))] @3: Anne is white.[(((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple1) -> rule2)) -> rule5) triple3) -> rule8)) -> rule4))] Anne is young.[(((((((triple1) -> rule2)) -> rule5) triple3) -> rule8) OR ((((((triple1) -> rule2)) -> rule5) ((((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule7) ((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule8))] Fiona is young.[(((((triple6) -> rule5) ((triple7 ((triple6) -> rule5)) -> rule3)) -> rule8))]