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