Bob is kind. Bob is quiet. Bob is smart. Charlie is green. Dave is green. Dave is quiet. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is smart. All smart, kind people are young. If Bob is furry then Bob is kind. Quiet, smart people are kind. Furry, kind people are green. If Dave is green and Dave is blue then Dave is quiet. If someone is furry then they are quiet. Quiet, green people are smart. If someone is furry then they are quiet.
Charlie is not quiet.
@0: Bob is kind.[(triple1 OR ((triple2 triple3) -> rule3))] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Charlie is green.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9 OR ((triple8 triple10) -> rule4) OR ((triple8 ((triple11 triple12) -> rule3)) -> rule4) OR ((triple8 ((((triple8) -> rule6) triple12) -> rule3)) -> rule4) OR ((triple8 ((((triple8) -> rule8) triple12) -> rule3)) -> rule4))] Erin is kind.[(triple10 OR ((triple11 triple12) -> rule3) OR ((triple11 ((triple11 triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule6) triple12) -> rule3) OR ((((triple8) -> rule8) triple12) -> rule3) OR ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3) OR ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3) OR ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3))] Erin is quiet.[(triple11 OR ((triple8) -> rule6) OR ((triple8) -> rule8))] Erin is smart.[(triple12 OR ((triple11 triple9) -> rule7) OR ((triple11 ((triple8 triple10) -> rule4)) -> rule7) OR ((((triple8) -> rule6) triple9) -> rule7) OR ((((triple8) -> rule8) triple9) -> rule7) OR ((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) OR ((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7))] @1: Bob is young.[(((triple3 triple1) -> rule1) OR ((triple3 ((triple2 triple3) -> rule3)) -> rule1))] Dave is smart.[(((triple6 triple5) -> rule7))] Erin is young.[(((triple12 triple10) -> rule1) OR ((triple12 ((triple11 triple12) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) triple10) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) triple10) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1))] @2: Dave is kind.[(((triple6 ((triple6 triple5) -> rule7)) -> rule3))] @3: Dave is young.[(((((triple6 triple5) -> rule7) ((triple6 ((triple6 triple5) -> rule7)) -> rule3)) -> rule1))]