「その国書はデパ地下でないか癒し難くないかあるいはどちらもだ」ということは誤りである
fact1: その国書は丸いかそれは鬱積するかまたはどちらもである fact2: 仮に何らかのものは丸いとしたら「デパ地下でないかまたは癒し難くないかまたはどちらもである」ということは嘘である fact3: 仮になにかは都市近郊産地でないとしたら寸であるしかつ丸い fact4: 丸いということはないものはデパ地下でないか癒し難いかあるいはどちらもである fact5: その国書はデパ地下でないかまたは癒し難いかあるいはどちらもだ fact6: もしもその国書が丸くないとするとデパ地下でないかもしくは癒し難い fact7: 仮にあのゲイが賊軍だけど都市近郊産地であるということはないならばその国書は丸い fact8: 丸くないものはデパ地下であるということはないかもしくは癒し難いということはないかあるいは両方ともである fact9: 仮にあのゲイが賊軍であるかそれが丸いとすればその国書は丸くない fact10: 「もしあのゲイが賊軍であるならばあの国書は丸くない」ということは成り立つ fact11: 「あのゲイは賊軍であるかまたは丸いかどちらもだ」ということは誤っているということはない fact12: もしもその国書が丸くないとするとそれはデパ地下であるか癒し難くないかもしくは両方だ fact13: 仮になんらかの物が丸くないとすればそれはデパ地下であるかまたは癒し難くないか両方ともだ fact14: その国書はデパ地下であるか癒し難いということはないかどちらもだ
fact8 -> int1: その国書が丸くないとすればそれはデパ地下でないかもしくは癒し難いということはないかまたはどちらもだ; fact9 & fact11 -> int2: その国書は丸いということはない; int1 & int2 -> hypothesis;
fact8 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); fact9 & fact11 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「その国書はデパ地下でないかあるいは癒し難くないかまたはどちらもである」ということは事実と異なる
fact15 -> int3: 仮にその国書は丸いとしたら「デパ地下でないかあるいはそれは癒し難くないかもしくはどちらもである」ということは偽だ;
$facts$ = fact1: その国書は丸いかそれは鬱積するかまたはどちらもである fact2: 仮に何らかのものは丸いとしたら「デパ地下でないかまたは癒し難くないかまたはどちらもである」ということは嘘である fact3: 仮になにかは都市近郊産地でないとしたら寸であるしかつ丸い fact4: 丸いということはないものはデパ地下でないか癒し難いかあるいはどちらもである fact5: その国書はデパ地下でないかまたは癒し難いかあるいはどちらもだ fact6: もしもその国書が丸くないとするとデパ地下でないかもしくは癒し難い fact7: 仮にあのゲイが賊軍だけど都市近郊産地であるということはないならばその国書は丸い fact8: 丸くないものはデパ地下であるということはないかもしくは癒し難いということはないかあるいは両方ともである fact9: 仮にあのゲイが賊軍であるかそれが丸いとすればその国書は丸くない fact10: 「もしあのゲイが賊軍であるならばあの国書は丸くない」ということは成り立つ fact11: 「あのゲイは賊軍であるかまたは丸いかどちらもだ」ということは誤っているということはない fact12: もしもその国書が丸くないとするとそれはデパ地下であるか癒し難くないかもしくは両方だ fact13: 仮になんらかの物が丸くないとすればそれはデパ地下であるかまたは癒し難くないか両方ともだ fact14: その国書はデパ地下であるか癒し難いということはないかどちらもだ ; $hypothesis$ = 「その国書はデパ地下でないか癒し難くないかあるいはどちらもだ」ということは誤りである ; $proof$ = 
fact8 -> int1: その国書が丸くないとすればそれはデパ地下でないかもしくは癒し難いということはないかまたはどちらもだ; fact9 & fact11 -> int2: その国書は丸いということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その国書は丸いかそれは鬱積するかまたはどちらもである
事実2: 仮に何らかのものは丸いとしたら「デパ地下でないかまたは癒し難くないかまたはどちらもである」ということは嘘である
事実3: 仮になにかは都市近郊産地でないとしたら寸であるしかつ丸い
事実4: 丸いということはないものはデパ地下でないか癒し難いかあるいはどちらもである
事実5: その国書はデパ地下でないかまたは癒し難いかあるいはどちらもだ
事実6: もしもその国書が丸くないとするとデパ地下でないかもしくは癒し難い
事実7: 仮にあのゲイが賊軍だけど都市近郊産地であるということはないならばその国書は丸い
事実8: 丸くないものはデパ地下であるということはないかもしくは癒し難いということはないかあるいは両方ともである
事実9: 仮にあのゲイが賊軍であるかそれが丸いとすればその国書は丸くない
事実10: 「もしあのゲイが賊軍であるならばあの国書は丸くない」ということは成り立つ
事実11: 「あのゲイは賊軍であるかまたは丸いかどちらもだ」ということは誤っているということはない
事実12: もしもその国書が丸くないとするとそれはデパ地下であるか癒し難くないかもしくは両方だ
事実13: 仮になんらかの物が丸くないとすればそれはデパ地下であるかまたは癒し難くないか両方ともだ
事実14: その国書はデパ地下であるか癒し難いということはないかどちらもだ

仮説: 「その国書はデパ地下でないか癒し難くないかあるいはどちらもだ」ということは誤りである
1. 事実8から、推論1: "その国書が丸くないとすればそれはデパ地下でないかもしくは癒し難いということはないかまたはどちらもだ"が導かれる
2. 事実9と事実11から、推論2: "その国書は丸いということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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