「この表示例は吊り易くない」ということは事実である
fact1: もしその下働きは近代史でないとすると忙しくないかずらすかあるいは両方ともである fact2: その下働きが吊り易いならこの表示例はずらす fact3: もしも「何らかの物は逮捕状であるが近代史でない」ということは間違いだとすると吊り易くない fact4: その下働きは近代史でない fact5: もしも「その下働きは高層ビル群でない」ということは成り立てば切り易いがしかし逮捕状でない fact6: 仮にその下働きが忙しくないかあるいはずらすか両方であるならばこの表示例は吊り易い
fact1 & fact4 -> int1: その下働きは忙しくないかまたはずらすか両方だ; int1 & fact6 -> hypothesis;
「この表示例は吊り易くない」ということは正しい
fact7 -> int2: もし仮に「この表示例は逮捕状だけれど近代史でない」ということは偽ならばそれは吊り易くない;
$facts$ = fact1: もしその下働きは近代史でないとすると忙しくないかずらすかあるいは両方ともである fact2: その下働きが吊り易いならこの表示例はずらす fact3: もしも「何らかの物は逮捕状であるが近代史でない」ということは間違いだとすると吊り易くない fact4: その下働きは近代史でない fact5: もしも「その下働きは高層ビル群でない」ということは成り立てば切り易いがしかし逮捕状でない fact6: 仮にその下働きが忙しくないかあるいはずらすか両方であるならばこの表示例は吊り易い ; $hypothesis$ = 「この表示例は吊り易くない」ということは事実である ; $proof$ = 
fact1 & fact4 -> int1: その下働きは忙しくないかまたはずらすか両方だ; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしその下働きは近代史でないとすると忙しくないかずらすかあるいは両方ともである
事実2: その下働きが吊り易いならこの表示例はずらす
事実3: もしも「何らかの物は逮捕状であるが近代史でない」ということは間違いだとすると吊り易くない
事実4: その下働きは近代史でない
事実5: もしも「その下働きは高層ビル群でない」ということは成り立てば切り易いがしかし逮捕状でない
事実6: 仮にその下働きが忙しくないかあるいはずらすか両方であるならばこの表示例は吊り易い

仮説: 「この表示例は吊り易くない」ということは事実である
1. 事実1と事実4から、推論1: "その下働きは忙しくないかまたはずらすか両方だ"が導かれる
2. 推論1と事実6から、仮説が否定される

よって、仮説が否定されました。