Anne is not red. Anne is round. Bob is furry. Bob is nice. Bob is red. Bob is round. Bob is white. If Anne is not red then Anne is not white. Green, white things are round. If something is red and not kind then it is not white. If something is round and not white then it is furry. If something is green and not kind then it is furry. If something is kind then it is furry.
Anne is red.
@0: Anne is not red.[(triple1)] Anne is round.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)] @1: Anne is not white.[(((triple1) -> rule1))] @2: Anne is furry.[(((triple2 ((triple1) -> rule1)) -> rule4))]