「もし仮に「その山田隊は粒状度でないかまたはそれは粉っぽいか両方ともである」ということは事実と異なるとするとその練り香は西上するということはない」ということは成り立たない
fact1: もし仮に「その山田隊は粒状度であるかもしくは粉っぽいかどちらもだ」ということは誤っているとしたらその練り香は西上しない fact2: 七本槍はある fact3: 仮に「「粒状度でないかあるいは粉っぽいかあるいは両方だ」ということは誤っている」物があればその練り香は西上しない fact4: もしも「「粒状度でないか粉っぽいかもしくはどちらもである」ということは誤っている」ものがあるならその練り香は西上する fact5: 「その山田隊は粒状度だということはないか西上する」ということは誤りだ fact6: 「「粒状度であるかまたは粉っぽいかもしくは両方である」ということは事実と異なる」ものはある fact7: この内陣は粉っぽい fact8: なにがしかの物は粒状度だ
void -> assump1: 以下のように仮定する。「その山田隊は粒状度であるということはないかまたはそれは粉っぽいか両方ともだ」ということは間違っている; assump1 -> int1: 「「粒状度でないかあるいは粉っぽい」ということは誤りである」物はある; int1 & fact3 -> int2: その練り香は西上しない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮に「その山田隊は粒状度であるかもしくは粉っぽいかどちらもだ」ということは誤っているとしたらその練り香は西上しない fact2: 七本槍はある fact3: 仮に「「粒状度でないかあるいは粉っぽいかあるいは両方だ」ということは誤っている」物があればその練り香は西上しない fact4: もしも「「粒状度でないか粉っぽいかもしくはどちらもである」ということは誤っている」ものがあるならその練り香は西上する fact5: 「その山田隊は粒状度だということはないか西上する」ということは誤りだ fact6: 「「粒状度であるかまたは粉っぽいかもしくは両方である」ということは事実と異なる」ものはある fact7: この内陣は粉っぽい fact8: なにがしかの物は粒状度だ ; $hypothesis$ = 「もし仮に「その山田隊は粒状度でないかまたはそれは粉っぽいか両方ともである」ということは事実と異なるとするとその練り香は西上するということはない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その山田隊は粒状度であるということはないかまたはそれは粉っぽいか両方ともだ」ということは間違っている; assump1 -> int1: 「「粒状度でないかあるいは粉っぽい」ということは誤りである」物はある; int1 & fact3 -> int2: その練り香は西上しない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「その山田隊は粒状度であるかもしくは粉っぽいかどちらもだ」ということは誤っているとしたらその練り香は西上しない
事実2: 七本槍はある
事実3: 仮に「「粒状度でないかあるいは粉っぽいかあるいは両方だ」ということは誤っている」物があればその練り香は西上しない
事実4: もしも「「粒状度でないか粉っぽいかもしくはどちらもである」ということは誤っている」ものがあるならその練り香は西上する
事実5: 「その山田隊は粒状度だということはないか西上する」ということは誤りだ
事実6: 「「粒状度であるかまたは粉っぽいかもしくは両方である」ということは事実と異なる」ものはある
事実7: この内陣は粉っぽい
事実8: なにがしかの物は粒状度だ

仮説: 「もし仮に「その山田隊は粒状度でないかまたはそれは粉っぽいか両方ともである」ということは事実と異なるとするとその練り香は西上するということはない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「その山田隊は粒状度であるということはないかまたはそれは粉っぽいか両方ともだ」ということは間違っている
2. 仮定1から、推論1: "「「粒状度でないかあるいは粉っぽい」ということは誤りである」物はある"が導かれる
3. 推論1と事実3から、推論2: "その練り香は西上しない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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