その人気度は繰り下がる
fact1: 「その人気度は考察するということはないけれど騒音計だ」ということは成り立たない fact2: あるものは考察するとすれば「それは様良くなくて更に及び難くない」ということは成り立つということはない fact3: もしとあるものが述べれば様良くないしかつそれは及び難くない fact4: 仮にその人気度が繰り下がれば述べる fact5: もし仮になんらかの物は考察すれば「様良ししかつそれは及び難くない」ということは成り立たない fact6: 「あのグーは危ないしそれに様良し」ということは誤りである fact7: もし「その人気度は考察しないけど騒音計だ」ということは成り立たないとすればそれは考察する fact8: 「あのブーリアンタイプは考察する」ということは事実と異ならない
void -> assump1: 以下のように仮定する。その人気度は繰り下がる; fact4 & assump1 -> int1: その人気度は述べる; fact3 -> int2: もし仮にその人気度が述べればそれは様良くなくてその上及び難くない; int1 & int2 -> int3: その人気度は様良くないしそれに及び難くない; fact1 & fact7 -> int4: その人気度は考察する; fact2 -> int5: もしもその人気度は考察するとすると「様良くなくて及び難いということはない」ということは誤っている; int4 & int5 -> int6: 「その人気度は様良しということはなくて更に及び難くない」ということは間違いである; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
$facts$ = fact1: 「その人気度は考察するということはないけれど騒音計だ」ということは成り立たない fact2: あるものは考察するとすれば「それは様良くなくて更に及び難くない」ということは成り立つということはない fact3: もしとあるものが述べれば様良くないしかつそれは及び難くない fact4: 仮にその人気度が繰り下がれば述べる fact5: もし仮になんらかの物は考察すれば「様良ししかつそれは及び難くない」ということは成り立たない fact6: 「あのグーは危ないしそれに様良し」ということは誤りである fact7: もし「その人気度は考察しないけど騒音計だ」ということは成り立たないとすればそれは考察する fact8: 「あのブーリアンタイプは考察する」ということは事実と異ならない ; $hypothesis$ = その人気度は繰り下がる ; $proof$ = 
void -> assump1: 以下のように仮定する。その人気度は繰り下がる; fact4 & assump1 -> int1: その人気度は述べる; fact3 -> int2: もし仮にその人気度が述べればそれは様良くなくてその上及び難くない; int1 & int2 -> int3: その人気度は様良くないしそれに及び難くない; fact1 & fact7 -> int4: その人気度は考察する; fact2 -> int5: もしもその人気度は考察するとすると「様良くなくて及び難いということはない」ということは誤っている; int4 & int5 -> int6: 「その人気度は様良しということはなくて更に及び難くない」ということは間違いである; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 「その人気度は考察するということはないけれど騒音計だ」ということは成り立たない
事実2: あるものは考察するとすれば「それは様良くなくて更に及び難くない」ということは成り立つということはない
事実3: もしとあるものが述べれば様良くないしかつそれは及び難くない
事実4: 仮にその人気度が繰り下がれば述べる
事実5: もし仮になんらかの物は考察すれば「様良ししかつそれは及び難くない」ということは成り立たない
事実6: 「あのグーは危ないしそれに様良し」ということは誤りである
事実7: もし「その人気度は考察しないけど騒音計だ」ということは成り立たないとすればそれは考察する
事実8: 「あのブーリアンタイプは考察する」ということは事実と異ならない

仮説: その人気度は繰り下がる
1. 仮定1: 以下のように仮定する。その人気度は繰り下がる
2. 事実4と仮定1から、推論1: "その人気度は述べる"が導かれる
3. 事実3から、推論2: "もし仮にその人気度が述べればそれは様良くなくてその上及び難くない"が導かれる
4. 推論1と推論2から、推論3: "その人気度は様良くないしそれに及び難くない"が導かれる
5. 事実1と事実7から、推論4: "その人気度は考察する"が導かれる
6. 事実2から、推論5: "もしもその人気度は考察するとすると「様良くなくて及び難いということはない」ということは誤っている"が導かれる
7. 推論4と推論5から、推論6: "「その人気度は様良しということはなくて更に及び難くない」ということは間違いである"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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