あのポジティブはＳＰＥＣＴであるということはない
fact1: 仮にあの応募が御預けしないならばそのクリスマスは心強いということはないがでかい fact2: あの応募は御預けしない fact3: もしもあのスペシャルランチがＳＰＥＣＴでないならあのポジティブはＳＰＥＣＴだ fact4: もし仮に「とある物はフル回転するしかつそれはチタンである」ということは成り立つということはないとしたらドリフトチューブ型イオン移動度でない fact5: あのポジティブは感染・発症する fact6: もしも「「ドリフトチューブ型イオン移動度でない」ということは成り立つ」ものはあるとすると「あのポジティブは手杵であるしまた出現し易い」ということは確かでない fact7: 出現し易い物はＳＰＥＣＴでない一方で硬直である fact8: もしもあのポジティブは租税不服申し立てでないけれど感染・発症するとしたらそれはＳＰＥＣＴであるということはない fact9: あのポジティブは気まずくないけれどそれは気持ち良い fact10: あのポジティブは租税不服申し立てでないけど感染・発症する fact11: もしもそのクリスマスがドリフトチューブ型イオン移動度だということはないならあの音借用は手杵であるかまたは出現し易いかあるいはどちらもである fact12: あの音借用がチタンだしまた心強い fact13: もし「「硬直でしかもＳＰＥＣＴだ」ということは間違いである」ものがあるならあの隠れ蓑はＳＰＥＣＴでない fact14: 何らかの物は出現し易くないとすれば「それは硬直であるしＳＰＥＣＴだ」ということは事実と異なる fact15: もしもなにかは心強いということはないなら「フル回転するしチタンである」ということは嘘だ fact16: 仮にあの音借用はチタンであるならば「フル回転しない」ということは成り立つ fact17: 仮に「フル回転しない」物があるならあのスペシャルランチはドリフトチューブ型イオン移動度でない fact18: 「あるものが手杵だしさらにそれは出現し易い」ということは間違いであるとすると出現し易くない
fact8 & fact10 -> hypothesis;
fact8 & fact10 -> hypothesis;
あの隠れ蓑はＳＰＥＣＴでない
fact23 -> int1: もしもあのポジティブは出現し易くないなら「それは硬直であるしかつＳＰＥＣＴだ」ということは嘘である; fact24 -> int2: 仮に「あのポジティブは手杵であるしそれに出現し易い」ということは成り立たないとすればそれは出現し易くない; fact19 -> int3: あの音借用はチタンである; fact22 & int3 -> int4: 「あの音借用はフル回転しない」ということは成り立つ; int4 -> int5: 「「フル回転しない」ということは確かな」物はある; int5 & fact21 -> int6: あのスペシャルランチはドリフトチューブ型イオン移動度でない; int6 -> int7: 「ドリフトチューブ型イオン移動度でない」ものはある; int7 & fact25 -> int8: 「あのポジティブは手杵で更に出現し易い」ということは間違っている; int2 & int8 -> int9: あのポジティブは出現し易くない; int1 & int9 -> int10: 「あのポジティブは硬直であるし更にＳＰＥＣＴだ」ということは間違いである; int10 -> int11: 「「硬直でＳＰＥＣＴである」ということは偽である」物はある; int11 & fact20 -> hypothesis;
$facts$ = fact1: 仮にあの応募が御預けしないならばそのクリスマスは心強いということはないがでかい fact2: あの応募は御預けしない fact3: もしもあのスペシャルランチがＳＰＥＣＴでないならあのポジティブはＳＰＥＣＴだ fact4: もし仮に「とある物はフル回転するしかつそれはチタンである」ということは成り立つということはないとしたらドリフトチューブ型イオン移動度でない fact5: あのポジティブは感染・発症する fact6: もしも「「ドリフトチューブ型イオン移動度でない」ということは成り立つ」ものはあるとすると「あのポジティブは手杵であるしまた出現し易い」ということは確かでない fact7: 出現し易い物はＳＰＥＣＴでない一方で硬直である fact8: もしもあのポジティブは租税不服申し立てでないけれど感染・発症するとしたらそれはＳＰＥＣＴであるということはない fact9: あのポジティブは気まずくないけれどそれは気持ち良い fact10: あのポジティブは租税不服申し立てでないけど感染・発症する fact11: もしもそのクリスマスがドリフトチューブ型イオン移動度だということはないならあの音借用は手杵であるかまたは出現し易いかあるいはどちらもである fact12: あの音借用がチタンだしまた心強い fact13: もし「「硬直でしかもＳＰＥＣＴだ」ということは間違いである」ものがあるならあの隠れ蓑はＳＰＥＣＴでない fact14: 何らかの物は出現し易くないとすれば「それは硬直であるしＳＰＥＣＴだ」ということは事実と異なる fact15: もしもなにかは心強いということはないなら「フル回転するしチタンである」ということは嘘だ fact16: 仮にあの音借用はチタンであるならば「フル回転しない」ということは成り立つ fact17: 仮に「フル回転しない」物があるならあのスペシャルランチはドリフトチューブ型イオン移動度でない fact18: 「あるものが手杵だしさらにそれは出現し易い」ということは間違いであるとすると出現し易くない ; $hypothesis$ = あのポジティブはＳＰＥＣＴであるということはない ; $proof$ = 
fact8 & fact10 -> hypothesis; __PROVED__
事実1: 仮にあの応募が御預けしないならばそのクリスマスは心強いということはないがでかい
事実2: あの応募は御預けしない
事実3: もしもあのスペシャルランチがＳＰＥＣＴでないならあのポジティブはＳＰＥＣＴだ
事実4: もし仮に「とある物はフル回転するしかつそれはチタンである」ということは成り立つということはないとしたらドリフトチューブ型イオン移動度でない
事実5: あのポジティブは感染・発症する
事実6: もしも「「ドリフトチューブ型イオン移動度でない」ということは成り立つ」ものはあるとすると「あのポジティブは手杵であるしまた出現し易い」ということは確かでない
事実7: 出現し易い物はＳＰＥＣＴでない一方で硬直である
事実8: もしもあのポジティブは租税不服申し立てでないけれど感染・発症するとしたらそれはＳＰＥＣＴであるということはない
事実9: あのポジティブは気まずくないけれどそれは気持ち良い
事実10: あのポジティブは租税不服申し立てでないけど感染・発症する
事実11: もしもそのクリスマスがドリフトチューブ型イオン移動度だということはないならあの音借用は手杵であるかまたは出現し易いかあるいはどちらもである
事実12: あの音借用がチタンだしまた心強い
事実13: もし「「硬直でしかもＳＰＥＣＴだ」ということは間違いである」ものがあるならあの隠れ蓑はＳＰＥＣＴでない
事実14: 何らかの物は出現し易くないとすれば「それは硬直であるしＳＰＥＣＴだ」ということは事実と異なる
事実15: もしもなにかは心強いということはないなら「フル回転するしチタンである」ということは嘘だ
事実16: 仮にあの音借用はチタンであるならば「フル回転しない」ということは成り立つ
事実17: 仮に「フル回転しない」物があるならあのスペシャルランチはドリフトチューブ型イオン移動度でない
事実18: 「あるものが手杵だしさらにそれは出現し易い」ということは間違いであるとすると出現し易くない

仮説: あのポジティブはＳＰＥＣＴであるということはない
1. 事実8と事実10から、仮説が導かれる

よって、仮説が証明されました。