あのＶＳＴ側は関係筋だということはないし成膜しない
fact1: もし仮に「あの重症肺炎は頑張り為さるということはないしそれは痒くない」ということは誤っているとすれば「あの大論理学は成膜しない」ということは本当である fact2: その識別性は構え易い fact3: 「成膜するしそれに頑張り為さる」物はある fact4: あの横隔膜は関係筋であるししかも御参照下さる fact5: 仮に「あのＶＳＴ側は女々しかないが来し易い」ということは間違っているならそれは来し易くない fact6: もしなんらかの物は痒いとしたら「物凄いか発揮し難くないかあるいはどちらもだ」ということは誤っている fact7: もし仮にあのＶＳＴ側が来し易くないとすればそれは頑張り為さるし痒い fact8: その識別性は発揮し難い fact9: 「構え易くない物は関係筋でないし加えて成膜しない」ということは正しい fact10: 仮にある物が構え易くないとしたら対策する fact11: 「あのＶＳＴ側は関係筋だけど成膜しない」ということは本当でない fact12: 「なんらかのものは物凄いかまたは発揮し難いということはないかもしくは両方ともである」ということは成り立たないなら構え易くない fact13: あの大論理学は頑張り為さらない fact14: もしあの大論理学は成膜しないとすれば「あのＶＳＴ側は関係筋でないしさらに成膜しない」ということは間違っている fact15: もし仮になにかは物凄くないとすると「それは頑張り為さらなくてその上痒いということはない」ということは偽だ fact16: もし仮に構え易いものは発揮し難いとすると「あの重症肺炎は物凄くない」ということは成り立つ
fact2 & fact8 -> int1: その識別性は構え易くてかつ発揮し難い; int1 -> int2: 何らかのものは構え易くてかつ発揮し難い; int2 & fact16 -> int3: あの重症肺炎は物凄くない; fact15 -> int4: もしあの重症肺炎は物凄くないとしたら「頑張り為さらないし痒くない」ということは間違いである; int3 & int4 -> int5: 「あの重症肺炎は頑張り為さらなくて痒くない」ということは成り立たない; int5 & fact1 -> int6: あの大論理学は成膜しない; int6 & fact14 -> hypothesis;
あのＶＳＴ側は関係筋であるということはなくて加えて成膜しない
fact20 -> int7: もしもあのＶＳＴ側が構え易くないとしたらそれは関係筋でないし成膜しない; fact21 -> int8: もしも「あのＶＳＴ側は物凄いかあるいは発揮し難くないかあるいはどちらもだ」ということは成り立つということはないとしたらそれは構え易くない; fact19 -> int9: あのＶＳＴ側は痒いならば「物凄いか発揮し難くないかもしくは両方ともである」ということは成り立たない;
$facts$ = fact1: もし仮に「あの重症肺炎は頑張り為さるということはないしそれは痒くない」ということは誤っているとすれば「あの大論理学は成膜しない」ということは本当である fact2: その識別性は構え易い fact3: 「成膜するしそれに頑張り為さる」物はある fact4: あの横隔膜は関係筋であるししかも御参照下さる fact5: 仮に「あのＶＳＴ側は女々しかないが来し易い」ということは間違っているならそれは来し易くない fact6: もしなんらかの物は痒いとしたら「物凄いか発揮し難くないかあるいはどちらもだ」ということは誤っている fact7: もし仮にあのＶＳＴ側が来し易くないとすればそれは頑張り為さるし痒い fact8: その識別性は発揮し難い fact9: 「構え易くない物は関係筋でないし加えて成膜しない」ということは正しい fact10: 仮にある物が構え易くないとしたら対策する fact11: 「あのＶＳＴ側は関係筋だけど成膜しない」ということは本当でない fact12: 「なんらかのものは物凄いかまたは発揮し難いということはないかもしくは両方ともである」ということは成り立たないなら構え易くない fact13: あの大論理学は頑張り為さらない fact14: もしあの大論理学は成膜しないとすれば「あのＶＳＴ側は関係筋でないしさらに成膜しない」ということは間違っている fact15: もし仮になにかは物凄くないとすると「それは頑張り為さらなくてその上痒いということはない」ということは偽だ fact16: もし仮に構え易いものは発揮し難いとすると「あの重症肺炎は物凄くない」ということは成り立つ ; $hypothesis$ = あのＶＳＴ側は関係筋だということはないし成膜しない ; $proof$ = 
fact2 & fact8 -> int1: その識別性は構え易くてかつ発揮し難い; int1 -> int2: 何らかのものは構え易くてかつ発揮し難い; int2 & fact16 -> int3: あの重症肺炎は物凄くない; fact15 -> int4: もしあの重症肺炎は物凄くないとしたら「頑張り為さらないし痒くない」ということは間違いである; int3 & int4 -> int5: 「あの重症肺炎は頑張り為さらなくて痒くない」ということは成り立たない; int5 & fact1 -> int6: あの大論理学は成膜しない; int6 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの重症肺炎は頑張り為さるということはないしそれは痒くない」ということは誤っているとすれば「あの大論理学は成膜しない」ということは本当である
事実2: その識別性は構え易い
事実3: 「成膜するしそれに頑張り為さる」物はある
事実4: あの横隔膜は関係筋であるししかも御参照下さる
事実5: 仮に「あのＶＳＴ側は女々しかないが来し易い」ということは間違っているならそれは来し易くない
事実6: もしなんらかの物は痒いとしたら「物凄いか発揮し難くないかあるいはどちらもだ」ということは誤っている
事実7: もし仮にあのＶＳＴ側が来し易くないとすればそれは頑張り為さるし痒い
事実8: その識別性は発揮し難い
事実9: 「構え易くない物は関係筋でないし加えて成膜しない」ということは正しい
事実10: 仮にある物が構え易くないとしたら対策する
事実11: 「あのＶＳＴ側は関係筋だけど成膜しない」ということは本当でない
事実12: 「なんらかのものは物凄いかまたは発揮し難いということはないかもしくは両方ともである」ということは成り立たないなら構え易くない
事実13: あの大論理学は頑張り為さらない
事実14: もしあの大論理学は成膜しないとすれば「あのＶＳＴ側は関係筋でないしさらに成膜しない」ということは間違っている
事実15: もし仮になにかは物凄くないとすると「それは頑張り為さらなくてその上痒いということはない」ということは偽だ
事実16: もし仮に構え易いものは発揮し難いとすると「あの重症肺炎は物凄くない」ということは成り立つ

仮説: あのＶＳＴ側は関係筋だということはないし成膜しない
1. 事実2と事実8から、推論1: "その識別性は構え易くてかつ発揮し難い"が導かれる
2. 推論1から、推論2: "何らかのものは構え易くてかつ発揮し難い"が導かれる
3. 推論2と事実16から、推論3: "あの重症肺炎は物凄くない"が導かれる
4. 事実15から、推論4: "もしあの重症肺炎は物凄くないとしたら「頑張り為さらないし痒くない」ということは間違いである"が導かれる
5. 推論3と推論4から、推論5: "「あの重症肺炎は頑張り為さらなくて痒くない」ということは成り立たない"が導かれる
6. 推論5と事実1から、推論6: "あの大論理学は成膜しない"が導かれる
7. 推論6と事実14から、仮説が否定される

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