Bob is green. Bob is nice. Bob is quiet. Bob is red. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is white. Dave is young. Erin is nice. Erin is red. Erin is white. Erin is young. If someone is nice then they are white. If someone is young then they are nice. All white, blue people are nice. All white, nice people are blue. Red, blue people are quiet. If Bob is white then Bob is green. If someone is young then they are white. Blue, quiet people are red.
Erin is not green.
@0: Bob is green.[(triple1 OR ((((triple2) -> rule1)) -> rule6))] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple4 ((((triple2) -> rule1) triple2) -> rule4)) -> rule5))] Bob is red.[(triple4 OR ((((((triple2) -> rule1) triple2) -> rule4) triple3) -> rule8))] Dave is blue.[(triple5 OR ((triple10 triple7) -> rule4) OR ((triple10 ((triple11) -> rule2)) -> rule4) OR ((((triple11) -> rule7) triple7) -> rule4) OR ((((triple7) -> rule1) triple7) -> rule4) OR ((((triple11) -> rule7) ((triple11) -> rule2)) -> rule4) OR ((((triple7) -> rule1) ((triple11) -> rule2)) -> rule4) OR ((((((triple11) -> rule2)) -> rule1) triple7) -> rule4) OR ((((((triple11) -> rule2)) -> rule1) ((triple11) -> rule2)) -> rule4))] Dave is green.[(triple6)] Dave is nice.[(triple7 OR ((triple11) -> rule2) OR ((triple10 triple5) -> rule3) OR ((((triple11) -> rule7) triple5) -> rule3))] Dave is quiet.[(triple8 OR ((triple9 triple5) -> rule5) OR ((triple9 ((triple10 triple7) -> rule4)) -> rule5) OR ((triple9 ((triple10 ((triple11) -> rule2)) -> rule4)) -> rule5) OR ((triple9 ((((triple11) -> rule7) triple7) -> rule4)) -> rule5) OR ((triple9 ((((triple7) -> rule1) triple7) -> rule4)) -> rule5) OR ((triple9 ((((triple11) -> rule7) ((triple11) -> rule2)) -> rule4)) -> rule5) OR ((triple9 ((((triple7) -> rule1) ((triple11) -> rule2)) -> rule4)) -> rule5) OR ((triple9 ((((((triple11) -> rule2)) -> rule1) triple7) -> rule4)) -> rule5) OR ((triple9 ((((((triple11) -> rule2)) -> rule1) ((triple11) -> rule2)) -> rule4)) -> rule5))] Dave is red.[(triple9 OR ((triple5 triple8) -> rule8) OR ((((triple10 triple7) -> rule4) triple8) -> rule8) OR ((((triple10 ((triple11) -> rule2)) -> rule4) triple8) -> rule8) OR ((((((triple11) -> rule7) triple7) -> rule4) triple8) -> rule8) OR ((((((triple7) -> rule1) triple7) -> rule4) triple8) -> rule8) OR ((((((triple11) -> rule7) ((triple11) -> rule2)) -> rule4) triple8) -> rule8) OR ((((((triple7) -> rule1) ((triple11) -> rule2)) -> rule4) triple8) -> rule8) OR ((((((((triple11) -> rule2)) -> rule1) triple7) -> rule4) triple8) -> rule8) OR ((((((((triple11) -> rule2)) -> rule1) ((triple11) -> rule2)) -> rule4) triple8) -> rule8))] Dave is white.[(triple10 OR ((triple11) -> rule7) OR ((triple7) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] Dave is young.[(triple11)] Erin is nice.[(triple12 OR ((triple15) -> rule2))] Erin is red.[(triple13)] Erin is white.[(triple14 OR ((triple12) -> rule1) OR ((triple15) -> rule7) OR ((((triple15) -> rule2)) -> rule1))] Erin is young.[(triple15)] @1: Bob is white.[(((triple2) -> rule1))] Erin is blue.[(((triple14 triple12) -> rule4) OR ((triple14 ((triple15) -> rule2)) -> rule4) OR ((((triple12) -> rule1) triple12) -> rule4) OR ((((triple15) -> rule7) triple12) -> rule4) OR ((((triple12) -> rule1) ((triple15) -> rule2)) -> rule4) OR ((((triple15) -> rule7) ((triple15) -> rule2)) -> rule4) OR ((((((triple15) -> rule2)) -> rule1) triple12) -> rule4) OR ((((((triple15) -> rule2)) -> rule1) ((triple15) -> rule2)) -> rule4))] @2: Bob is blue.[(((((triple2) -> rule1) triple2) -> rule4))] Erin is quiet.[(((triple13 ((triple14 triple12) -> rule4)) -> rule5) OR ((triple13 ((triple14 ((triple15) -> rule2)) -> rule4)) -> rule5) OR ((triple13 ((((triple12) -> rule1) triple12) -> rule4)) -> rule5) OR ((triple13 ((((triple15) -> rule7) triple12) -> rule4)) -> rule5) OR ((triple13 ((((triple12) -> rule1) ((triple15) -> rule2)) -> rule4)) -> rule5) OR ((triple13 ((((triple15) -> rule7) ((triple15) -> rule2)) -> rule4)) -> rule5) OR ((triple13 ((((((triple15) -> rule2)) -> rule1) triple12) -> rule4)) -> rule5) OR ((triple13 ((((((triple15) -> rule2)) -> rule1) ((triple15) -> rule2)) -> rule4)) -> rule5))]