その万華は中央署でない
fact1: もしその万華が構え易いなら銀鍍金であるかあるいはそれは気まずくない fact2: 育て易いか赤黒くないかどちらもな物は淀み無くない fact3: もしこの経過後は対応し易いとすると「その企画課は対応し易くない」ということは成り立つ fact4: もし仮にその浄瑠璃擬きがモンブランだとすると一工夫するか気まずくないかまたは両方ともである fact5: 構え易くないものは中央署であるかあるいは休離するかもしくは両方ともだ fact6: その企画課が対応し易くないとするとあの商品は立て易い fact7: あのムスリム同胞団は中央署でない fact8: その万華は程近いか銀鍍金であるかもしくはどちらもである fact9: 銀鍍金は中央署でない fact10: 仮にその万華が防災計画であるかあるいは創唱するということはないか両方ならそれは構え易くない fact11: とあるものが休離しないとしたら中央署だし構え易い fact12: 立て易い物は得難しがしかし混ぜ合わさない fact13: 仮にその万華が銀鍍金だとすればそれはばあかしいかもしくはそれは成し難いということはないかあるいは両方である fact14: 仮に「その床柱は混ぜ合わす」ということは成り立つとしたら得難し fact15: あの秋空は気まずいかまたはそれは集えるかまたは両方である fact16: もし仮にその万華は銀鍍金なら「それは中央署でない」ということは偽でない fact17: もしなにがしかのものは得難しとしたら「「休離しなくてそれは中央署だということはない」ということは正しい」ということは間違っている fact18: ある物が中央署であるかまたは構え易いということはないかもしくは両方ともであるなら銀鍍金であるということはない fact19: その万華は構え易い fact20: 仮にあの商品が得難し一方で混ぜ合わさないとすればその万華は休離しない fact21: 仙花紙本は対応し易い fact22: とある物が銀鍍金であるか気まずくないならば中央署でない
fact22 -> int1: 仮にその万華は銀鍍金であるかまたは気まずくないかあるいは両方であるとしたら「中央署でない」ということは本当だ; fact19 & fact1 -> int2: その万華は銀鍍金であるかそれは気まずくない; int1 & int2 -> hypothesis;
fact22 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; fact19 & fact1 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> hypothesis;
その万華は中央署だ
fact23 -> int3: もし「あの商品は構え易くない」ということは真実であるならば中央署であるかあるいはそれは休離するかまたは両方である;
$facts$ = fact1: もしその万華が構え易いなら銀鍍金であるかあるいはそれは気まずくない fact2: 育て易いか赤黒くないかどちらもな物は淀み無くない fact3: もしこの経過後は対応し易いとすると「その企画課は対応し易くない」ということは成り立つ fact4: もし仮にその浄瑠璃擬きがモンブランだとすると一工夫するか気まずくないかまたは両方ともである fact5: 構え易くないものは中央署であるかあるいは休離するかもしくは両方ともだ fact6: その企画課が対応し易くないとするとあの商品は立て易い fact7: あのムスリム同胞団は中央署でない fact8: その万華は程近いか銀鍍金であるかもしくはどちらもである fact9: 銀鍍金は中央署でない fact10: 仮にその万華が防災計画であるかあるいは創唱するということはないか両方ならそれは構え易くない fact11: とあるものが休離しないとしたら中央署だし構え易い fact12: 立て易い物は得難しがしかし混ぜ合わさない fact13: 仮にその万華が銀鍍金だとすればそれはばあかしいかもしくはそれは成し難いということはないかあるいは両方である fact14: 仮に「その床柱は混ぜ合わす」ということは成り立つとしたら得難し fact15: あの秋空は気まずいかまたはそれは集えるかまたは両方である fact16: もし仮にその万華は銀鍍金なら「それは中央署でない」ということは偽でない fact17: もしなにがしかのものは得難しとしたら「「休離しなくてそれは中央署だということはない」ということは正しい」ということは間違っている fact18: ある物が中央署であるかまたは構え易いということはないかもしくは両方ともであるなら銀鍍金であるということはない fact19: その万華は構え易い fact20: 仮にあの商品が得難し一方で混ぜ合わさないとすればその万華は休離しない fact21: 仙花紙本は対応し易い fact22: とある物が銀鍍金であるか気まずくないならば中央署でない ; $hypothesis$ = その万華は中央署でない ; $proof$ = 
fact22 -> int1: 仮にその万華は銀鍍金であるかまたは気まずくないかあるいは両方であるとしたら「中央署でない」ということは本当だ; fact19 & fact1 -> int2: その万華は銀鍍金であるかそれは気まずくない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしその万華が構え易いなら銀鍍金であるかあるいはそれは気まずくない
事実2: 育て易いか赤黒くないかどちらもな物は淀み無くない
事実3: もしこの経過後は対応し易いとすると「その企画課は対応し易くない」ということは成り立つ
事実4: もし仮にその浄瑠璃擬きがモンブランだとすると一工夫するか気まずくないかまたは両方ともである
事実5: 構え易くないものは中央署であるかあるいは休離するかもしくは両方ともだ
事実6: その企画課が対応し易くないとするとあの商品は立て易い
事実7: あのムスリム同胞団は中央署でない
事実8: その万華は程近いか銀鍍金であるかもしくはどちらもである
事実9: 銀鍍金は中央署でない
事実10: 仮にその万華が防災計画であるかあるいは創唱するということはないか両方ならそれは構え易くない
事実11: とあるものが休離しないとしたら中央署だし構え易い
事実12: 立て易い物は得難しがしかし混ぜ合わさない
事実13: 仮にその万華が銀鍍金だとすればそれはばあかしいかもしくはそれは成し難いということはないかあるいは両方である
事実14: 仮に「その床柱は混ぜ合わす」ということは成り立つとしたら得難し
事実15: あの秋空は気まずいかまたはそれは集えるかまたは両方である
事実16: もし仮にその万華は銀鍍金なら「それは中央署でない」ということは偽でない
事実17: もしなにがしかのものは得難しとしたら「「休離しなくてそれは中央署だということはない」ということは正しい」ということは間違っている
事実18: ある物が中央署であるかまたは構え易いということはないかもしくは両方ともであるなら銀鍍金であるということはない
事実19: その万華は構え易い
事実20: 仮にあの商品が得難し一方で混ぜ合わさないとすればその万華は休離しない
事実21: 仙花紙本は対応し易い
事実22: とある物が銀鍍金であるか気まずくないならば中央署でない

仮説: その万華は中央署でない
1. 事実22から、推論1: "仮にその万華は銀鍍金であるかまたは気まずくないかあるいは両方であるとしたら「中央署でない」ということは本当だ"が導かれる
2. 事実19と事実1から、推論2: "その万華は銀鍍金であるかそれは気まずくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。