「あの下降流は酷いが目減りしない」ということは間違いである
fact1: もしも「「精霊でないし遂行すらない」ということは成り立たない」物があるとしたらそのＥ感受性は精霊である fact2: 「精霊は塗り固めないかもしくは不信心であるかどちらもである」ということは成り立つ fact3: 仮にあるものが塗り固めないかもしくは不信心であるかもしくは両方だとしたら「それは自動改札機だということはない」ということは真実である fact4: その一般化は長たらしくない fact5: もし仮にその一般化が寒しないとしたらあの下降流は酷い一方で目減りしない fact6: もしあの実用新案登録出願が高層培地でないとしたらその一般化は寒しない fact7: もし何らかのものは寒しないとしたら「酷いが目減りしない」ということは嘘だ fact8: 「このエキゾーストノートは精霊でないし遂行すらない」ということは間違いである fact9: その一般化は珠玉様でないとしたら「あの実用新案登録出願は取り入れるし無し」ということは嘘である fact10: 仮に「そのＥ感受性は火山活動でないけれどそれは珠玉様だ」ということは間違っているとしたらその一般化は珠玉様でない fact11: 「あの実用新案登録出願は高層培地だけれど長たらしくない」ということは成り立たない fact12: もし仮に何らかのものは自動改札機でないとしたら「火山活動でないし珠玉様だ」ということは成り立つということはない fact13: もし「「あの実用新案登録出願は高層培地であるがしかし長たらしいということはない」ということは本当だ」ということは成り立たないならばその一般化は寒しない
fact13 & fact11 -> int1: その一般化は寒しない; int1 & fact5 -> hypothesis;
「あの下降流は酷いがしかし目減りしない」ということは間違いである
fact21 -> int2: もしもあの下降流は寒しないならば「酷いし目減りするということはない」ということは成り立つということはない; fact15 -> int3: そのＥ感受性は自動改札機でないならば「それは火山活動でないが珠玉様である」ということは偽だ; fact16 -> int4: もし仮に「そのＥ感受性は塗り固めないかもしくはそれは不信心だ」ということは確かならそれは自動改札機でない; fact17 -> int5: もしそのＥ感受性が精霊であるならばそれは塗り固めないかあるいは不信心であるかもしくは両方だ; fact18 -> int6: 「「精霊でないしそれに遂行すらない」ということは本当でない」ものはある; int6 & fact14 -> int7: そのＥ感受性は精霊だ; int5 & int7 -> int8: そのＥ感受性は塗り固めないかまたはそれは不信心であるかどちらもである; int4 & int8 -> int9: そのＥ感受性は自動改札機でない; int3 & int9 -> int10: 「そのＥ感受性は火山活動でないがしかし珠玉様である」ということは成り立つということはない; fact20 & int10 -> int11: 「その一般化は珠玉様でない」ということは成り立つ; fact19 & int11 -> int12: 「あの実用新案登録出願は取り入れるし加えて無し」ということは成り立たない; int12 -> int13: 「「取り入れるし更に無し」ということは成り立たない」ものはある;
$facts$ = fact1: もしも「「精霊でないし遂行すらない」ということは成り立たない」物があるとしたらそのＥ感受性は精霊である fact2: 「精霊は塗り固めないかもしくは不信心であるかどちらもである」ということは成り立つ fact3: 仮にあるものが塗り固めないかもしくは不信心であるかもしくは両方だとしたら「それは自動改札機だということはない」ということは真実である fact4: その一般化は長たらしくない fact5: もし仮にその一般化が寒しないとしたらあの下降流は酷い一方で目減りしない fact6: もしあの実用新案登録出願が高層培地でないとしたらその一般化は寒しない fact7: もし何らかのものは寒しないとしたら「酷いが目減りしない」ということは嘘だ fact8: 「このエキゾーストノートは精霊でないし遂行すらない」ということは間違いである fact9: その一般化は珠玉様でないとしたら「あの実用新案登録出願は取り入れるし無し」ということは嘘である fact10: 仮に「そのＥ感受性は火山活動でないけれどそれは珠玉様だ」ということは間違っているとしたらその一般化は珠玉様でない fact11: 「あの実用新案登録出願は高層培地だけれど長たらしくない」ということは成り立たない fact12: もし仮に何らかのものは自動改札機でないとしたら「火山活動でないし珠玉様だ」ということは成り立つということはない fact13: もし「「あの実用新案登録出願は高層培地であるがしかし長たらしいということはない」ということは本当だ」ということは成り立たないならばその一般化は寒しない ; $hypothesis$ = 「あの下降流は酷いが目減りしない」ということは間違いである ; $proof$ = 
fact13 & fact11 -> int1: その一般化は寒しない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしも「「精霊でないし遂行すらない」ということは成り立たない」物があるとしたらそのＥ感受性は精霊である
事実2: 「精霊は塗り固めないかもしくは不信心であるかどちらもである」ということは成り立つ
事実3: 仮にあるものが塗り固めないかもしくは不信心であるかもしくは両方だとしたら「それは自動改札機だということはない」ということは真実である
事実4: その一般化は長たらしくない
事実5: もし仮にその一般化が寒しないとしたらあの下降流は酷い一方で目減りしない
事実6: もしあの実用新案登録出願が高層培地でないとしたらその一般化は寒しない
事実7: もし何らかのものは寒しないとしたら「酷いが目減りしない」ということは嘘だ
事実8: 「このエキゾーストノートは精霊でないし遂行すらない」ということは間違いである
事実9: その一般化は珠玉様でないとしたら「あの実用新案登録出願は取り入れるし無し」ということは嘘である
事実10: 仮に「そのＥ感受性は火山活動でないけれどそれは珠玉様だ」ということは間違っているとしたらその一般化は珠玉様でない
事実11: 「あの実用新案登録出願は高層培地だけれど長たらしくない」ということは成り立たない
事実12: もし仮に何らかのものは自動改札機でないとしたら「火山活動でないし珠玉様だ」ということは成り立つということはない
事実13: もし「「あの実用新案登録出願は高層培地であるがしかし長たらしいということはない」ということは本当だ」ということは成り立たないならばその一般化は寒しない

仮説: 「あの下降流は酷いが目減りしない」ということは間違いである
1. 事実13と事実11から、推論1: "その一般化は寒しない"が導かれる
2. 推論1と事実5から、仮説が否定される

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