Bob is young. Dave is blue. Erin is blue. Erin is kind. Erin is white. Erin is young. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is white. If someone is kind then they are white. Young people are quiet. If someone is kind and white then they are blue. All quiet, kind people are white. If someone is quiet then they are kind. If someone is white then they are young. All blue, kind people are green.
Dave is kind.
@0: Bob is young.[(triple1)] Dave is blue.[(triple2)] Erin is blue.[(triple3 OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple4) -> rule1)) -> rule3) OR ((triple4 ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) OR ((((((triple6) -> rule2)) -> rule5) triple5) -> rule3) OR ((((((triple6) -> rule2)) -> rule5) ((triple4) -> rule1)) -> rule3) OR ((((((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple4 ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2)) -> rule5) triple5) -> rule3) OR ((triple4 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((triple4) -> rule1)) -> rule3) OR ((((((triple6) -> rule2)) -> rule5) ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) OR ((((((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3))] Erin is kind.[(triple4 OR ((((triple6) -> rule2)) -> rule5) OR ((((((triple5) -> rule6)) -> rule2)) -> rule5))] Erin is white.[(triple5 OR ((triple4) -> rule1) OR ((((triple6) -> rule2) triple4) -> rule4) OR ((((((triple6) -> rule2)) -> rule5)) -> rule1) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4))] Erin is young.[(triple6 OR ((triple5) -> rule6) OR ((((triple4) -> rule1)) -> rule6))] Fiona is blue.[(triple7 OR ((triple8 triple10) -> rule3) OR ((triple8 ((triple8) -> rule1)) -> rule3) OR ((triple8 ((triple9 triple8) -> rule4)) -> rule3) OR ((((triple9) -> rule5) triple10) -> rule3) OR ((((triple9) -> rule5) ((triple8) -> rule1)) -> rule3) OR ((((triple9) -> rule5) ((triple9 triple8) -> rule4)) -> rule3) OR ((triple8 ((((triple9) -> rule5)) -> rule1)) -> rule3) OR ((triple8 ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) OR ((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule1)) -> rule3) OR ((((triple9) -> rule5) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule2)) -> rule5) triple10) -> rule3) OR ((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple8) -> rule1)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple9 triple8) -> rule4)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((((triple9) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3))] Fiona is kind.[(triple8 OR ((triple9) -> rule5) OR ((((((triple10) -> rule6)) -> rule2)) -> rule5))] Fiona is quiet.[(triple9 OR ((((triple10) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule6)) -> rule2))] Fiona is white.[(triple10 OR ((triple8) -> rule1) OR ((triple9 triple8) -> rule4) OR ((((triple9) -> rule5)) -> rule1) OR ((triple9 ((triple9) -> rule5)) -> rule4))] @1: Bob is quiet.[(((triple1) -> rule2))] Erin is green.[(((triple3 triple4) -> rule7) OR ((((triple4 triple5) -> rule3) triple4) -> rule7) OR ((triple3 ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule1)) -> rule3) triple4) -> rule7) OR ((((triple4 triple5) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((triple4 ((triple4) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((triple3 ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((triple4 ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) triple5) -> rule3) triple4) -> rule7) OR ((((triple4 triple5) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((triple4) -> rule1)) -> rule3) triple4) -> rule7) OR ((((triple4 ((triple4) -> rule1)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((triple4 ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) triple5) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) triple4) -> rule7) OR ((((triple4 ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) triple5) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((triple4) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((triple4) -> rule1)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((triple4 ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) triple4) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) triple5) -> rule3) triple4) -> rule7) OR ((((triple4 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((triple4) -> rule1)) -> rule3) triple4) -> rule7) OR ((((triple4 ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) triple4) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) triple5) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) triple4) -> rule7) OR ((((triple4 ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((triple4 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) triple5) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((triple4) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) triple4) -> rule7) OR ((((triple4 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((triple4) -> rule1)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((triple6) -> rule2) triple4) -> rule4)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((((triple6) -> rule2)) -> rule5)) -> rule1)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule5) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule7))] Erin is quiet.[(((triple6) -> rule2) OR ((((triple5) -> rule6)) -> rule2) OR ((((((triple4) -> rule1)) -> rule6)) -> rule2))] Fiona is green.[(((triple7 triple8) -> rule7) OR ((triple7 ((triple9) -> rule5)) -> rule7) OR ((((triple8 triple10) -> rule3) triple8) -> rule7) OR ((((triple8 triple10) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((triple8 ((triple8) -> rule1)) -> rule3) triple8) -> rule7) OR ((((triple8 ((triple9 triple8) -> rule4)) -> rule3) triple8) -> rule7) OR ((((((triple9) -> rule5) triple10) -> rule3) triple8) -> rule7) OR ((((triple8 ((triple8) -> rule1)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((triple8 ((triple9 triple8) -> rule4)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) triple10) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) ((triple8) -> rule1)) -> rule3) triple8) -> rule7) OR ((((((triple9) -> rule5) ((triple9 triple8) -> rule4)) -> rule3) triple8) -> rule7) OR ((((((triple9) -> rule5) ((triple8) -> rule1)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) ((triple9 triple8) -> rule4)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((triple7 ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((triple8 ((((triple9) -> rule5)) -> rule1)) -> rule3) triple8) -> rule7) OR ((((triple8 ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) triple8) -> rule7) OR ((((triple8 triple10) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((triple8 ((((triple9) -> rule5)) -> rule1)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((triple8 ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule1)) -> rule3) triple8) -> rule7) OR ((((((triple9) -> rule5) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) triple8) -> rule7) OR ((((triple8 ((triple8) -> rule1)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((triple8 ((triple9 triple8) -> rule4)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) triple10) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule1)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((triple8 ((((triple9) -> rule5)) -> rule1)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((triple8 ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) ((triple8) -> rule1)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) ((triple9 triple8) -> rule4)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule1)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple9) -> rule5) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) triple10) -> rule3) triple8) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) triple10) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple8) -> rule1)) -> rule3) triple8) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple9 triple8) -> rule4)) -> rule3) triple8) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple8) -> rule1)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((((triple9) -> rule5)) -> rule1)) -> rule3) triple8) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple9 triple8) -> rule4)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) triple8) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) triple10) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((((triple9) -> rule5)) -> rule1)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) ((triple9) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple8) -> rule1)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple9 triple8) -> rule4)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((((triple9) -> rule5)) -> rule1)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule2)) -> rule5) ((triple9 ((triple9) -> rule5)) -> rule4)) -> rule3) ((((((triple10) -> rule6)) -> rule2)) -> rule5)) -> rule7))] Fiona is young.[(((triple10) -> rule6) OR ((((triple8) -> rule1)) -> rule6) OR ((((triple9 triple8) -> rule4)) -> rule6) OR ((((((triple9) -> rule5)) -> rule1)) -> rule6) OR ((((triple9 ((triple9) -> rule5)) -> rule4)) -> rule6))] @2: Bob is kind.[(((((triple1) -> rule2)) -> rule5))] @3: Bob is white.[(((((((triple1) -> rule2)) -> rule5)) -> rule1) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule5)) -> rule4))] @4: Bob is blue.[(((((((triple1) -> rule2)) -> rule5) ((((((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple1) -> rule2)) -> rule5) ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule5)) -> rule4)) -> rule3))] @5: Bob is green.[(((((((((triple1) -> rule2)) -> rule5) ((((((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule3) ((((triple1) -> rule2)) -> rule5)) -> rule7) OR ((((((((triple1) -> rule2)) -> rule5) ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((((triple1) -> rule2)) -> rule5)) -> rule7))]