Anne is kind. Anne is not quiet. Bob is quiet. Bob is round. Charlie is furry. Charlie is green. Charlie is kind. Kind things are not white. If something is quiet and white then it is round. If Bob is big then Bob is not green. All big, kind things are green. If something is kind and not white then it is green. If Charlie is kind and Charlie is not round then Charlie is not green.
Bob is white.
@0: Anne is kind.[(triple1)] Anne is not quiet.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6 OR ((triple7 ((triple7) -> rule1)) -> rule5))] Charlie is kind.[(triple7)] @1: Anne is not white.[(((triple1) -> rule1))] Charlie is not white.[(((triple7) -> rule1))] @2: Anne is green.[(((triple1 ((triple1) -> rule1)) -> rule5))]