Anne is nice. Anne is quiet. Anne is white. Bob is blue. Bob is not rough. Charlie is nice. Charlie is rough. All blue people are quiet. Rough people are not quiet. Quiet people are white. If someone is quiet and white then they are nice. If Charlie is white then Charlie is not furry. If Charlie is quiet and Charlie is not white then Charlie is not nice.
Bob is furry.
@0: Anne is nice.[(triple1 OR ((triple2 triple3) -> rule4) OR ((triple2 ((triple2) -> rule3)) -> rule4))] Anne is quiet.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule3))] Bob is blue.[(triple4)] Bob is not rough.[(triple5)] Charlie is nice.[(triple6)] Charlie is rough.[(triple7)] @1: Bob is quiet.[(((triple4) -> rule1))] Charlie is not quiet.[(((triple7) -> rule2))] @2: Bob is white.[(((((triple4) -> rule1)) -> rule3))] @3: Bob is nice.[(((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule3)) -> rule4))]