Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. If Charlie is nice and Charlie is white then Charlie is red. Furry people are white. If Charlie is white and Charlie is nice then Charlie is blue. If someone is red then they are nice. If Charlie is red then Charlie is blue. If someone is quiet and blue then they are green. If someone is red and quiet then they are nice. Blue, quiet people are furry.
Charlie is not white.
@0: Charlie is blue.[(triple1 OR ((triple6) -> rule5) OR ((triple7 triple4) -> rule3) OR ((((triple4 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple6) -> rule4)) -> rule3) OR ((triple7 ((triple6 triple5) -> rule7)) -> rule3) OR ((((triple2) -> rule2) triple4) -> rule3) OR ((((triple2) -> rule2) ((triple6) -> rule4)) -> rule3) OR ((((triple2) -> rule2) ((triple6 triple5) -> rule7)) -> rule3) OR ((((triple4 ((triple2) -> rule2)) -> rule1)) -> rule5))] Charlie is furry.[(triple2 OR ((triple1 triple5) -> rule8) OR ((((triple6) -> rule5) triple5) -> rule8) OR ((((triple7 triple4) -> rule3) triple5) -> rule8) OR ((((((triple4 triple7) -> rule1)) -> rule5) triple5) -> rule8) OR ((((triple7 ((triple6) -> rule4)) -> rule3) triple5) -> rule8) OR ((((triple7 ((triple6 triple5) -> rule7)) -> rule3) triple5) -> rule8))] Charlie is green.[(triple3 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple6) -> rule5)) -> rule6) OR ((triple5 ((triple7 triple4) -> rule3)) -> rule6) OR ((triple5 ((((triple4 triple7) -> rule1)) -> rule5)) -> rule6) OR ((triple5 ((triple7 ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((triple5 ((triple7 ((triple6 triple5) -> rule7)) -> rule3)) -> rule6) OR ((triple5 ((((triple2) -> rule2) triple4) -> rule3)) -> rule6) OR ((triple5 ((((triple2) -> rule2) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((triple5 ((((triple2) -> rule2) ((triple6 triple5) -> rule7)) -> rule3)) -> rule6) OR ((triple5 ((((triple4 ((triple2) -> rule2)) -> rule1)) -> rule5)) -> rule6))] Charlie is nice.[(triple4 OR ((triple6) -> rule4) OR ((triple6 triple5) -> rule7))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple2) -> rule2)) -> rule1) OR ((triple4 ((((triple1 triple5) -> rule8)) -> rule2)) -> rule1))] Charlie is white.[(triple7 OR ((triple2) -> rule2) OR ((((triple1 triple5) -> rule8)) -> rule2) OR ((((((triple6) -> rule5) triple5) -> rule8)) -> rule2))]