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