「もしもその身動きはワンポイント・アドバイスだとすると「あのイレギュラーは現行施策だ」ということは成り立つ」ということは間違っている
fact1: もし仮に美々しかないものは年少児であるとすれば「あのイレギュラーは現行施策である」ということは真実である fact2: 「「美々しいということはない」ということは真実である」ものはある fact3: なんらかのものが美々しいしその上年少児である fact4: 「現行施策は年少児でない一方でワンポイント・アドバイスである」ということは本当だ fact5: もし「あのイレギュラーは曇り無しがしかしワンポイント・アドバイスでない」ということは間違っていればその監獄法は曇り無し fact6: なにがしかのものは年少児だ fact7: あのイレギュラーは八重桜でない一方で割れ難い fact8: 「その身動きは年少児だ」ということは成り立つ fact9: もし「その身動きはワンポイント・アドバイスだ」ということは成り立てばそれは年少児だ fact10: もしも何らかのものがワンポイント・アドバイスだとすると美々しかないけれど年少児だ fact11: もし何らかの物がワンポイント・アドバイスだとすると年少児である
fact10 -> int1: もしもその身動きがワンポイント・アドバイスだとすれば美々しかないが年少児だ; void -> assump1: 以下のように仮定する。その身動きはワンポイント・アドバイスだ; int1 & assump1 -> int2: その身動きは美々しかないけどそれは年少児だ; int2 -> int3: とあるものは美々しかないがしかし年少児だ; int3 & fact1 -> int4: あのイレギュラーは現行施策だ; [assump1] & int4 -> hypothesis;
その監獄法は曇り無し
$facts$ = fact1: もし仮に美々しかないものは年少児であるとすれば「あのイレギュラーは現行施策である」ということは真実である fact2: 「「美々しいということはない」ということは真実である」ものはある fact3: なんらかのものが美々しいしその上年少児である fact4: 「現行施策は年少児でない一方でワンポイント・アドバイスである」ということは本当だ fact5: もし「あのイレギュラーは曇り無しがしかしワンポイント・アドバイスでない」ということは間違っていればその監獄法は曇り無し fact6: なにがしかのものは年少児だ fact7: あのイレギュラーは八重桜でない一方で割れ難い fact8: 「その身動きは年少児だ」ということは成り立つ fact9: もし「その身動きはワンポイント・アドバイスだ」ということは成り立てばそれは年少児だ fact10: もしも何らかのものがワンポイント・アドバイスだとすると美々しかないけれど年少児だ fact11: もし何らかの物がワンポイント・アドバイスだとすると年少児である ; $hypothesis$ = 「もしもその身動きはワンポイント・アドバイスだとすると「あのイレギュラーは現行施策だ」ということは成り立つ」ということは間違っている ; $proof$ = 
fact10 -> int1: もしもその身動きがワンポイント・アドバイスだとすれば美々しかないが年少児だ; void -> assump1: 以下のように仮定する。その身動きはワンポイント・アドバイスだ; int1 & assump1 -> int2: その身動きは美々しかないけどそれは年少児だ; int2 -> int3: とあるものは美々しかないがしかし年少児だ; int3 & fact1 -> int4: あのイレギュラーは現行施策だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に美々しかないものは年少児であるとすれば「あのイレギュラーは現行施策である」ということは真実である
事実2: 「「美々しいということはない」ということは真実である」ものはある
事実3: なんらかのものが美々しいしその上年少児である
事実4: 「現行施策は年少児でない一方でワンポイント・アドバイスである」ということは本当だ
事実5: もし「あのイレギュラーは曇り無しがしかしワンポイント・アドバイスでない」ということは間違っていればその監獄法は曇り無し
事実6: なにがしかのものは年少児だ
事実7: あのイレギュラーは八重桜でない一方で割れ難い
事実8: 「その身動きは年少児だ」ということは成り立つ
事実9: もし「その身動きはワンポイント・アドバイスだ」ということは成り立てばそれは年少児だ
事実10: もしも何らかのものがワンポイント・アドバイスだとすると美々しかないけれど年少児だ
事実11: もし何らかの物がワンポイント・アドバイスだとすると年少児である

仮説: 「もしもその身動きはワンポイント・アドバイスだとすると「あのイレギュラーは現行施策だ」ということは成り立つ」ということは間違っている
1. 事実10から、推論1: "もしもその身動きがワンポイント・アドバイスだとすれば美々しかないが年少児だ"が導かれる
2. 仮定1: 以下のように仮定する。その身動きはワンポイント・アドバイスだ
3. 推論1と仮定1から、推論2: "その身動きは美々しかないけどそれは年少児だ"が導かれる
4. 推論2から、推論3: "とあるものは美々しかないがしかし年少児だ"が導かれる
5. 推論3と事実1から、推論4: "あのイレギュラーは現行施策だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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