Anne is green. Anne is young. Charlie is blue. Charlie is green. Charlie is white. Dave is white. Erin is white. If Dave is kind and Dave is white then Dave is blue. If someone is white then they are nice. If someone is white then they are nice. All nice, green people are young. If someone is green then they are quiet. Nice people are kind. If Dave is blue then Dave is white. If Anne is nice and Anne is not white then Anne is green. If Dave is white and Dave is blue then Dave is green.
Erin is not quiet.
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is green.[(triple4)] Charlie is white.[(triple5)] Dave is white.[(triple6)] Erin is white.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule5))] Charlie is nice.[(((triple5) -> rule2) OR ((triple5) -> rule3))] Charlie is quiet.[(((triple4) -> rule5))] Dave is nice.[(((triple6) -> rule2) OR ((triple6) -> rule3))] Erin is nice.[(((triple7) -> rule2) OR ((triple7) -> rule3))] @2: Charlie is kind.[(((((triple5) -> rule2)) -> rule6) OR ((((triple5) -> rule3)) -> rule6))] Charlie is young.[(((((triple5) -> rule2) triple4) -> rule4) OR ((((triple5) -> rule3) triple4) -> rule4))] Dave is kind.[(((((triple6) -> rule2)) -> rule6) OR ((((triple6) -> rule3)) -> rule6))] Erin is kind.[(((((triple7) -> rule2)) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] @3: Dave is blue.[(((((((triple6) -> rule2)) -> rule6) triple6) -> rule1) OR ((((((triple6) -> rule3)) -> rule6) triple6) -> rule1))] @4: Dave is green.[(((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule1)) -> rule9) OR ((triple6 ((((((triple6) -> rule3)) -> rule6) triple6) -> rule1)) -> rule9))] @5: Dave is quiet.[(((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule1)) -> rule9)) -> rule5) OR ((((triple6 ((((((triple6) -> rule3)) -> rule6) triple6) -> rule1)) -> rule9)) -> rule5))] Dave is young.[(((((triple6) -> rule2) ((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule1)) -> rule9)) -> rule4) OR ((((triple6) -> rule2) ((triple6 ((((((triple6) -> rule3)) -> rule6) triple6) -> rule1)) -> rule9)) -> rule4) OR ((((triple6) -> rule3) ((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule1)) -> rule9)) -> rule4) OR ((((triple6) -> rule3) ((triple6 ((((((triple6) -> rule3)) -> rule6) triple6) -> rule1)) -> rule9)) -> rule4))]