「この購買力平価説はＭサイズだ」ということは確かである
fact1: 仮にエネルギー革命があるとしたらこのアジア系料理は涙ぐまないしさらに馬鹿でかくない fact2: もし「ある物はＳＡでない一方で言い渡す」ということは成り立たないならそれはＳＡだ fact3: この和讃はＭサイズでなくてしかも公的安全でない fact4: 継続し難いものはＭサイズであるということはないかもしくは這い蹲るということはないかまたは両方ともだ fact5: この購買力平価説は這い蹲らない fact6: 仮に何かはＳＡだとしたらそれは継続し難い fact7: もし「継続し難い」ものがあるとすればあの購買力平価説は這い蹲るということはなくてＭサイズでない fact8: 「継続し難い」物はある fact9: もしも「「継続し難い」ということは本当である」ものがあるとするとこの購買力平価説は這い蹲らない fact10: もし何らかの物が似付かわしいとするとこの購買力平価説はＭサイズだということはなくて更にそれは反応しない fact11: 何らかの物は願い出ないとすれば「それはＳＡでないし加えて言い渡す」ということは真実でない fact12: 「「這い蹲る」ということは確かな」物はある
fact8 & fact7 -> int1: この購買力平価説は這い蹲らないし更にＭサイズでない; int1 -> hypothesis;
fact8 & fact7 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> hypothesis;
この購買力平価説はＭサイズである
fact14 -> int2: もしその累積が継続し難いとすればＭサイズでないか這い蹲らない; fact16 -> int3: もし仮にその累積はＳＡであるとすればそれは継続し難い; fact15 -> int4: もし仮に「その累積はＳＡでないけれど言い渡す」ということは成り立つということはないとすればそれはＳＡだ; fact13 -> int5: 仮にその累積は願い出ないとすると「ＳＡでなくてそれにそれは言い渡す」ということは事実と異なる;
$facts$ = fact1: 仮にエネルギー革命があるとしたらこのアジア系料理は涙ぐまないしさらに馬鹿でかくない fact2: もし「ある物はＳＡでない一方で言い渡す」ということは成り立たないならそれはＳＡだ fact3: この和讃はＭサイズでなくてしかも公的安全でない fact4: 継続し難いものはＭサイズであるということはないかもしくは這い蹲るということはないかまたは両方ともだ fact5: この購買力平価説は這い蹲らない fact6: 仮に何かはＳＡだとしたらそれは継続し難い fact7: もし「継続し難い」ものがあるとすればあの購買力平価説は這い蹲るということはなくてＭサイズでない fact8: 「継続し難い」物はある fact9: もしも「「継続し難い」ということは本当である」ものがあるとするとこの購買力平価説は這い蹲らない fact10: もし何らかの物が似付かわしいとするとこの購買力平価説はＭサイズだということはなくて更にそれは反応しない fact11: 何らかの物は願い出ないとすれば「それはＳＡでないし加えて言い渡す」ということは真実でない fact12: 「「這い蹲る」ということは確かな」物はある ; $hypothesis$ = 「この購買力平価説はＭサイズだ」ということは確かである ; $proof$ = 
fact8 & fact7 -> int1: この購買力平価説は這い蹲らないし更にＭサイズでない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にエネルギー革命があるとしたらこのアジア系料理は涙ぐまないしさらに馬鹿でかくない
事実2: もし「ある物はＳＡでない一方で言い渡す」ということは成り立たないならそれはＳＡだ
事実3: この和讃はＭサイズでなくてしかも公的安全でない
事実4: 継続し難いものはＭサイズであるということはないかもしくは這い蹲るということはないかまたは両方ともだ
事実5: この購買力平価説は這い蹲らない
事実6: 仮に何かはＳＡだとしたらそれは継続し難い
事実7: もし「継続し難い」ものがあるとすればあの購買力平価説は這い蹲るということはなくてＭサイズでない
事実8: 「継続し難い」物はある
事実9: もしも「「継続し難い」ということは本当である」ものがあるとするとこの購買力平価説は這い蹲らない
事実10: もし何らかの物が似付かわしいとするとこの購買力平価説はＭサイズだということはなくて更にそれは反応しない
事実11: 何らかの物は願い出ないとすれば「それはＳＡでないし加えて言い渡す」ということは真実でない
事実12: 「「這い蹲る」ということは確かな」物はある

仮説: 「この購買力平価説はＭサイズだ」ということは確かである
1. 事実8と事実7から、推論1: "この購買力平価説は這い蹲らないし更にＭサイズでない"が導かれる
2. 推論1から、仮説が否定される

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