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