Bob is kind. Charlie is quiet. Charlie is young. Dave is round. Dave is young. Harry is green. Harry is not red. All green, quiet people are red. If someone is young then they are quiet. Kind people are white. If someone is quiet and red then they are round. If Harry is kind and Harry is round then Harry is green. Red, round people are kind. If Bob is round then Bob is not red. All young people are green. If someone is round then they are young.
Bob is not quiet.
@0: Bob is kind.[(triple1)] Charlie is quiet.[(triple2 OR ((triple3) -> rule2))] Charlie is young.[(triple3)] Dave is round.[(triple4 OR ((((triple5) -> rule2) ((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1)) -> rule4))] Dave is young.[(triple5 OR ((triple4) -> rule9))] Harry is green.[(triple6)] Harry is not red.[(triple7)] @1: Bob is white.[(((triple1) -> rule3))] Charlie is green.[(((triple3) -> rule8))] Dave is green.[(((triple5) -> rule8) OR ((((triple4) -> rule9)) -> rule8))] Dave is quiet.[(((triple5) -> rule2) OR ((((triple4) -> rule9)) -> rule2))] @2: Charlie is red.[(((((triple3) -> rule8) triple2) -> rule1) OR ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1))] Dave is red.[(((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1) OR ((((triple5) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1) OR ((((((triple4) -> rule9)) -> rule8) ((triple5) -> rule2)) -> rule1) OR ((((((triple4) -> rule9)) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1))] @3: Charlie is round.[(((triple2 ((((triple3) -> rule8) triple2) -> rule1)) -> rule4) OR ((triple2 ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4) OR ((((triple3) -> rule2) ((((triple3) -> rule8) triple2) -> rule1)) -> rule4) OR ((((triple3) -> rule2) ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4))] Dave is kind.[(((((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1) triple4) -> rule6) OR ((((((triple5) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1) triple4) -> rule6) OR ((((((((triple4) -> rule9)) -> rule8) ((triple5) -> rule2)) -> rule1) triple4) -> rule6) OR ((((((((triple4) -> rule9)) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1) triple4) -> rule6) OR ((((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1) ((((triple5) -> rule2) ((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1)) -> rule4)) -> rule6) OR ((((((triple5) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1) ((((triple5) -> rule2) ((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule9)) -> rule8) ((triple5) -> rule2)) -> rule1) ((((triple5) -> rule2) ((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule9)) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1) ((((triple5) -> rule2) ((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1)) -> rule4)) -> rule6))] @4: Charlie is kind.[(((((((triple3) -> rule8) triple2) -> rule1) ((triple2 ((((triple3) -> rule8) triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple3) -> rule8) triple2) -> rule1) ((triple2 ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule6) OR ((((((triple3) -> rule8) triple2) -> rule1) ((((triple3) -> rule2) ((((triple3) -> rule8) triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((triple2 ((((triple3) -> rule8) triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple3) -> rule8) triple2) -> rule1) ((((triple3) -> rule2) ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule6) OR ((((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((triple2 ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule6) OR ((((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((((triple3) -> rule2) ((((triple3) -> rule8) triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((((triple3) -> rule2) ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule6))] Dave is white.[(((((((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((((triple5) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((((((triple4) -> rule9)) -> rule8) ((triple5) -> rule2)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((((((triple4) -> rule9)) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1) ((((triple5) -> rule2) ((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple5) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1) ((((triple5) -> rule2) ((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((((triple4) -> rule9)) -> rule8) ((triple5) -> rule2)) -> rule1) ((((triple5) -> rule2) ((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((((triple4) -> rule9)) -> rule8) ((((triple4) -> rule9)) -> rule2)) -> rule1) ((((triple5) -> rule2) ((((triple5) -> rule8) ((triple5) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule3))] @5: Charlie is white.[(((((((((triple3) -> rule8) triple2) -> rule1) ((triple2 ((((triple3) -> rule8) triple2) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule8) triple2) -> rule1) ((triple2 ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule8) triple2) -> rule1) ((((triple3) -> rule2) ((((triple3) -> rule8) triple2) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((triple2 ((((triple3) -> rule8) triple2) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule8) triple2) -> rule1) ((((triple3) -> rule2) ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((triple2 ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((((triple3) -> rule2) ((((triple3) -> rule8) triple2) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1) ((((triple3) -> rule2) ((((triple3) -> rule8) ((triple3) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule3))]