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