Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Charlie is furry. Charlie is quiet. All quiet, green people are blue. Furry, kind people are green. All green people are nice.
Charlie is not white.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple1 triple3) -> rule2))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple2) -> rule3) OR ((((triple1 triple3) -> rule2)) -> rule3))] Bob is quiet.[(triple5)] Charlie is furry.[(triple6)] Charlie is quiet.[(triple7)] @1: Bob is blue.[(((triple5 triple2) -> rule1) OR ((triple5 ((triple1 triple3) -> rule2)) -> rule1))]