Anne is quiet. Bob is white. Charlie is not nice. Harry is quiet. If Charlie is cold then Charlie is not furry. If someone is white and big then they are furry. If someone is big then they are furry. If someone is white and nice then they are big. If Anne is quiet then Anne is nice. Quiet people are white. If Bob is quiet and Bob is not furry then Bob is cold. If someone is quiet and not white then they are not rough.
Anne is not nice.
@0: Anne is quiet.[(triple1)] Bob is white.[(triple2)] Charlie is not nice.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is nice.[(((triple1) -> rule5))] Anne is white.[(((triple1) -> rule6))] Harry is white.[(((triple4) -> rule6))] @2: Anne is big.[(((((triple1) -> rule6) ((triple1) -> rule5)) -> rule4))] @3: Anne is furry.[(((((((triple1) -> rule6) ((triple1) -> rule5)) -> rule4)) -> rule3) OR ((((triple1) -> rule6) ((((triple1) -> rule6) ((triple1) -> rule5)) -> rule4)) -> rule2))]