「仮にその読者諸兄は上げ下げしないならば「その二層ＦＰＣは毛深くないが研修部だ」ということは嘘である」ということは間違っている
fact1: その読者諸兄が毛深いとしたらその二層ＦＰＣはスピットボールだ fact2: その二層ＦＰＣがスピットボールならこのスポーツ番組は迎え打つ fact3: もしこのスポーツ番組が迎え打つとしたらその読者諸兄は上げ下げする fact4: その二層ＦＰＣは上げ下げしない fact5: このスポーツ番組が迎え打たないがしかしそれはスピットボールであるとすれば上げ下げする fact6: 仮にこのスポーツ番組が毛深いとするとその二層ＦＰＣは迎え打つ fact7: もし仮に「その読者諸兄は研修部だ」ということは事実だとするとその二層ＦＰＣは上げ下げする fact8: もし仮に毛深くないものは研修部であるならそれはスピットボールだ fact9: もしその読者諸兄が迎え打つとすればあのスポーツ番組は上げ下げする fact10: 仮にその読者諸兄がスピットボールであるならばその二層ＦＰＣは上げ下げする fact11: その読者諸兄は迎え打つ fact12: このスポーツ番組は上げ下げする fact13: もしも毛深い物が上げ下げするとすればそれは迎え打つ fact14: あの北条軍は研修部だ fact15: 「その二層ＦＰＣは毛深くてそれは研修部である」ということは本当でない
fact8 -> int1: もしその二層ＦＰＣは毛深くない物であり研修部であるならスピットボールである; void -> assump1: 以下のように仮定する。その二層ＦＰＣは毛深くないけれど研修部だ; int1 & assump1 -> int2: 「その二層ＦＰＣはスピットボールだ」ということは事実と異なるということはない; int2 & fact2 -> int3: このスポーツ番組は迎え打つ; int3 & fact3 -> int4: その読者諸兄は上げ下げする; void -> assump2: 以下のように仮定する。その読者諸兄は上げ下げしない; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その二層ＦＰＣは毛深くないけれどそれは研修部だ」ということは誤っている; [assump2] & int6 -> hypothesis;
$facts$ = fact1: その読者諸兄が毛深いとしたらその二層ＦＰＣはスピットボールだ fact2: その二層ＦＰＣがスピットボールならこのスポーツ番組は迎え打つ fact3: もしこのスポーツ番組が迎え打つとしたらその読者諸兄は上げ下げする fact4: その二層ＦＰＣは上げ下げしない fact5: このスポーツ番組が迎え打たないがしかしそれはスピットボールであるとすれば上げ下げする fact6: 仮にこのスポーツ番組が毛深いとするとその二層ＦＰＣは迎え打つ fact7: もし仮に「その読者諸兄は研修部だ」ということは事実だとするとその二層ＦＰＣは上げ下げする fact8: もし仮に毛深くないものは研修部であるならそれはスピットボールだ fact9: もしその読者諸兄が迎え打つとすればあのスポーツ番組は上げ下げする fact10: 仮にその読者諸兄がスピットボールであるならばその二層ＦＰＣは上げ下げする fact11: その読者諸兄は迎え打つ fact12: このスポーツ番組は上げ下げする fact13: もしも毛深い物が上げ下げするとすればそれは迎え打つ fact14: あの北条軍は研修部だ fact15: 「その二層ＦＰＣは毛深くてそれは研修部である」ということは本当でない ; $hypothesis$ = 「仮にその読者諸兄は上げ下げしないならば「その二層ＦＰＣは毛深くないが研修部だ」ということは嘘である」ということは間違っている ; $proof$ = 
fact8 -> int1: もしその二層ＦＰＣは毛深くない物であり研修部であるならスピットボールである; void -> assump1: 以下のように仮定する。その二層ＦＰＣは毛深くないけれど研修部だ; int1 & assump1 -> int2: 「その二層ＦＰＣはスピットボールだ」ということは事実と異なるということはない; int2 & fact2 -> int3: このスポーツ番組は迎え打つ; int3 & fact3 -> int4: その読者諸兄は上げ下げする; void -> assump2: 以下のように仮定する。その読者諸兄は上げ下げしない; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その二層ＦＰＣは毛深くないけれどそれは研修部だ」ということは誤っている; [assump2] & int6 -> hypothesis; __DISPROVED__
事実1: その読者諸兄が毛深いとしたらその二層ＦＰＣはスピットボールだ
事実2: その二層ＦＰＣがスピットボールならこのスポーツ番組は迎え打つ
事実3: もしこのスポーツ番組が迎え打つとしたらその読者諸兄は上げ下げする
事実4: その二層ＦＰＣは上げ下げしない
事実5: このスポーツ番組が迎え打たないがしかしそれはスピットボールであるとすれば上げ下げする
事実6: 仮にこのスポーツ番組が毛深いとするとその二層ＦＰＣは迎え打つ
事実7: もし仮に「その読者諸兄は研修部だ」ということは事実だとするとその二層ＦＰＣは上げ下げする
事実8: もし仮に毛深くないものは研修部であるならそれはスピットボールだ
事実9: もしその読者諸兄が迎え打つとすればあのスポーツ番組は上げ下げする
事実10: 仮にその読者諸兄がスピットボールであるならばその二層ＦＰＣは上げ下げする
事実11: その読者諸兄は迎え打つ
事実12: このスポーツ番組は上げ下げする
事実13: もしも毛深い物が上げ下げするとすればそれは迎え打つ
事実14: あの北条軍は研修部だ
事実15: 「その二層ＦＰＣは毛深くてそれは研修部である」ということは本当でない

仮説: 「仮にその読者諸兄は上げ下げしないならば「その二層ＦＰＣは毛深くないが研修部だ」ということは嘘である」ということは間違っている
1. 事実8から、推論1: "もしその二層ＦＰＣは毛深くない物であり研修部であるならスピットボールである"が導かれる
2. 仮定1: 以下のように仮定する。その二層ＦＰＣは毛深くないけれど研修部だ
3. 推論1と仮定1から、推論2: "「その二層ＦＰＣはスピットボールだ」ということは事実と異なるということはない"が導かれる
4. 推論2と事実2から、推論3: "このスポーツ番組は迎え打つ"が導かれる
5. 推論3と事実3から、推論4: "その読者諸兄は上げ下げする"が導かれる
6. 仮定2: 以下のように仮定する。その読者諸兄は上げ下げしない
7. 推論4と仮定2から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "「その二層ＦＰＣは毛深くないけれどそれは研修部だ」ということは誤っている"が導かれる
9. [仮定2]と推論6から、仮説が否定される

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