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