「仮にそのアルコール量が女っぽくないとするとこのフュージョンポアは掴み易い」ということは嘘である
fact1: そのアルコール量は社会福祉士養成講座だということはない fact2: もし「「「このフュージョンポアは女っぽくない一方でエヌワイスタイルだ」ということは成り立つ」ということは間違っている」ということは確かであるならそのアルコール量は見窄らしい fact3: もし「そのアルコール量はエヌワイスタイルでないが見窄らしい」ということは誤っているとしたら「このフュージョンポアは掴み易い」ということは成り立つ fact4: もしもそのアルコール量がエヌワイスタイルだとしたらこのフュージョンポアは見窄らしい fact5: もし「このフュージョンポアは見窄らしくない」ということは確かであるとすればあのアルコール量は掴み易い fact6: この三叉はエヌワイスタイルだ fact7: もしも「このフュージョンポアはエヌワイスタイルでないけど掴み易い」ということは成り立たないならば「そのアルコール量は見窄らしい」ということは正しい fact8: もしそのアルコール量は掴み易くないならば「それは女っぽくないしそれにそれは見窄らしい」ということは間違っている fact9: 「もし仮にそのアルコール量が見窄らしくないとしたらこのフュージョンポアは女っぽい」ということは事実である fact10: もし仮にそのアルコール量は女っぽくないなら「エヌワイスタイルでないしまた見窄らしい」ということは成り立たない fact11: 「このフュージョンポアはエヌワイスタイルでない」ということは確かだ fact12: もしこのフュージョンポアが見窄らしいならばそのアルコール量は掴み易い fact13: 仮にこのフュージョンポアが女っぽくないならそのアルコール量は掴み易い fact14: もしもそのアルコール量が掴み易いとすればこのフュージョンポアは見窄らしい fact15: もしそのアルコール量が掴み易くないならばあのフュージョンポアは女っぽい fact16: もしもそのアルコール量が掴み易くないならこのフュージョンポアはエヌワイスタイルである fact17: もしそのアルコール量が掴み易いとするとこのフュージョンポアは女っぽい
void -> assump1: 以下のように仮定する。そのアルコール量は女っぽくない; fact10 & assump1 -> int1: 「そのアルコール量はエヌワイスタイルでないがそれは見窄らしい」ということは成り立つということはない; int1 & fact3 -> int2: このフュージョンポアは掴み易い; [assump1] & int2 -> hypothesis;
$facts$ = fact1: そのアルコール量は社会福祉士養成講座だということはない fact2: もし「「「このフュージョンポアは女っぽくない一方でエヌワイスタイルだ」ということは成り立つ」ということは間違っている」ということは確かであるならそのアルコール量は見窄らしい fact3: もし「そのアルコール量はエヌワイスタイルでないが見窄らしい」ということは誤っているとしたら「このフュージョンポアは掴み易い」ということは成り立つ fact4: もしもそのアルコール量がエヌワイスタイルだとしたらこのフュージョンポアは見窄らしい fact5: もし「このフュージョンポアは見窄らしくない」ということは確かであるとすればあのアルコール量は掴み易い fact6: この三叉はエヌワイスタイルだ fact7: もしも「このフュージョンポアはエヌワイスタイルでないけど掴み易い」ということは成り立たないならば「そのアルコール量は見窄らしい」ということは正しい fact8: もしそのアルコール量は掴み易くないならば「それは女っぽくないしそれにそれは見窄らしい」ということは間違っている fact9: 「もし仮にそのアルコール量が見窄らしくないとしたらこのフュージョンポアは女っぽい」ということは事実である fact10: もし仮にそのアルコール量は女っぽくないなら「エヌワイスタイルでないしまた見窄らしい」ということは成り立たない fact11: 「このフュージョンポアはエヌワイスタイルでない」ということは確かだ fact12: もしこのフュージョンポアが見窄らしいならばそのアルコール量は掴み易い fact13: 仮にこのフュージョンポアが女っぽくないならそのアルコール量は掴み易い fact14: もしもそのアルコール量が掴み易いとすればこのフュージョンポアは見窄らしい fact15: もしそのアルコール量が掴み易くないならばあのフュージョンポアは女っぽい fact16: もしもそのアルコール量が掴み易くないならこのフュージョンポアはエヌワイスタイルである fact17: もしそのアルコール量が掴み易いとするとこのフュージョンポアは女っぽい ; $hypothesis$ = 「仮にそのアルコール量が女っぽくないとするとこのフュージョンポアは掴み易い」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのアルコール量は女っぽくない; fact10 & assump1 -> int1: 「そのアルコール量はエヌワイスタイルでないがそれは見窄らしい」ということは成り立つということはない; int1 & fact3 -> int2: このフュージョンポアは掴み易い; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: そのアルコール量は社会福祉士養成講座だということはない
事実2: もし「「「このフュージョンポアは女っぽくない一方でエヌワイスタイルだ」ということは成り立つ」ということは間違っている」ということは確かであるならそのアルコール量は見窄らしい
事実3: もし「そのアルコール量はエヌワイスタイルでないが見窄らしい」ということは誤っているとしたら「このフュージョンポアは掴み易い」ということは成り立つ
事実4: もしもそのアルコール量がエヌワイスタイルだとしたらこのフュージョンポアは見窄らしい
事実5: もし「このフュージョンポアは見窄らしくない」ということは確かであるとすればあのアルコール量は掴み易い
事実6: この三叉はエヌワイスタイルだ
事実7: もしも「このフュージョンポアはエヌワイスタイルでないけど掴み易い」ということは成り立たないならば「そのアルコール量は見窄らしい」ということは正しい
事実8: もしそのアルコール量は掴み易くないならば「それは女っぽくないしそれにそれは見窄らしい」ということは間違っている
事実9: 「もし仮にそのアルコール量が見窄らしくないとしたらこのフュージョンポアは女っぽい」ということは事実である
事実10: もし仮にそのアルコール量は女っぽくないなら「エヌワイスタイルでないしまた見窄らしい」ということは成り立たない
事実11: 「このフュージョンポアはエヌワイスタイルでない」ということは確かだ
事実12: もしこのフュージョンポアが見窄らしいならばそのアルコール量は掴み易い
事実13: 仮にこのフュージョンポアが女っぽくないならそのアルコール量は掴み易い
事実14: もしもそのアルコール量が掴み易いとすればこのフュージョンポアは見窄らしい
事実15: もしそのアルコール量が掴み易くないならばあのフュージョンポアは女っぽい
事実16: もしもそのアルコール量が掴み易くないならこのフュージョンポアはエヌワイスタイルである
事実17: もしそのアルコール量が掴み易いとするとこのフュージョンポアは女っぽい

仮説: 「仮にそのアルコール量が女っぽくないとするとこのフュージョンポアは掴み易い」ということは嘘である
1. 仮定1: 以下のように仮定する。そのアルコール量は女っぽくない
2. 事実10と仮定1から、推論1: "「そのアルコール量はエヌワイスタイルでないがそれは見窄らしい」ということは成り立つということはない"が導かれる
3. 推論1と事実3から、推論2: "このフュージョンポアは掴み易い"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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