Bob is white. Bob is not young. Charlie is green. Charlie is kind. Erin is furry. Erin is quiet. Erin is not white. If someone is white then they are not green. All white people are not green. Young, round people are furry. If Charlie is green and Charlie is not kind then Charlie is furry. If someone is round and not white then they are quiet. If Erin is young and Erin is not furry then Erin is kind.
Bob is not furry.
@0: Bob is not young.[(triple2)] Bob is white.[(triple1)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Erin is furry.[(triple5)] Erin is not white.[(triple7)] Erin is quiet.[(triple6)] @1: Bob is not green.[(((triple1) -> rule1) OR ((triple1) -> rule2))]