「もし仮にその席次がぼろいとするとあの温もりは徹し切れる」ということは成り立たない
fact1: この大金は徹し切れる fact2: もし「「この診療時間は薄っぺらくないがしかしそれは浅まし」ということは成り立つということはない」ということは成り立つならばあの温もりは薄っぺらい fact3: もし仮に「その瑕疵担保責任は誤診でないけど起動する」ということは成り立たないならばこの貿易黒字は感じ取れる fact4: 仮にあるものはふてぶてしくないとすれば「薄っぺらくないしかつそれは浅まし」ということは事実と異なる fact5: もしも何らかの物が徹し切れるかもしくは悪しいならあの温もりはぼろい fact6: もしも「何かはふてぶてしいし四群だ」ということは誤っているならふてぶてしくない fact7: 「ぼろい」物はある fact8: あの温もりは悪しい fact9: 「その瑕疵担保責任は誤診でないけど起動する」ということは事実でない fact10: もし何らかの物が徹し切れるかぼろいかあるいはどちらもであるならあの温もりは悪しい fact11: 悪しい物はある fact12: もし仮にあるものは感じ取れるとすれば「この診療時間はふてぶてしくて四群だ」ということは成り立たない fact13: その席次は悪しい fact14: もしも「その席次は徹し切れる」ということは正しいとしたらあの温もりはぼろい fact15: 仮にあの温もりは薄っぺらいとしたら「その席次は悪しいけれど徹し切れない」ということは本当でない fact16: ぼろいかもしくは悪しい物はあるとしたら「あの温もりは徹し切れる」ということは事実である fact17: その席次は悪しいかまたは徹し切れるかあるいは両方ともだ fact18: その席次は徹し切れるかもしくは悪しいか両方だ fact19: 何かは徹し切れるかあるいはそれはぼろい fact20: あの温もりは御固い
void -> assump1: 以下のように仮定する。その席次はぼろい; assump1 -> int1: その席次はぼろいかもしくは悪しい; int1 -> int2: 「ぼろいかまたは悪しいかもしくは両方な」物はある; int2 & fact16 -> int3: あの温もりは徹し切れる; [assump1] & int3 -> hypothesis;
この統語論はぼろいか紅葉する
fact27 -> int4: 仮にこの診療時間はふてぶてしくないとしたら「それは薄っぺらくないしおまけにそれは浅まし」ということは確かでない; fact26 -> int5: 「この診療時間はふてぶてしくてまた四群である」ということは間違いであるとすればそれはふてぶてしくない; fact21 & fact22 -> int6: この貿易黒字は感じ取れる; int6 -> int7: 「感じ取れる」ものはある; int7 & fact23 -> int8: 「この診療時間はふてぶてしいしさらに四群である」ということは誤っている; int5 & int8 -> int9: この診療時間はふてぶてしくない; int4 & int9 -> int10: 「この診療時間は薄っぺらくないけれど浅まし」ということは嘘である; fact25 & int10 -> int11: あの温もりは薄っぺらい; fact24 & int11 -> int12: 「その席次は悪しいがしかし徹し切れない」ということは偽だ; int12 -> int13: 「「悪しいけど徹し切れない」ということは偽な」ものはある;
$facts$ = fact1: この大金は徹し切れる fact2: もし「「この診療時間は薄っぺらくないがしかしそれは浅まし」ということは成り立つということはない」ということは成り立つならばあの温もりは薄っぺらい fact3: もし仮に「その瑕疵担保責任は誤診でないけど起動する」ということは成り立たないならばこの貿易黒字は感じ取れる fact4: 仮にあるものはふてぶてしくないとすれば「薄っぺらくないしかつそれは浅まし」ということは事実と異なる fact5: もしも何らかの物が徹し切れるかもしくは悪しいならあの温もりはぼろい fact6: もしも「何かはふてぶてしいし四群だ」ということは誤っているならふてぶてしくない fact7: 「ぼろい」物はある fact8: あの温もりは悪しい fact9: 「その瑕疵担保責任は誤診でないけど起動する」ということは事実でない fact10: もし何らかの物が徹し切れるかぼろいかあるいはどちらもであるならあの温もりは悪しい fact11: 悪しい物はある fact12: もし仮にあるものは感じ取れるとすれば「この診療時間はふてぶてしくて四群だ」ということは成り立たない fact13: その席次は悪しい fact14: もしも「その席次は徹し切れる」ということは正しいとしたらあの温もりはぼろい fact15: 仮にあの温もりは薄っぺらいとしたら「その席次は悪しいけれど徹し切れない」ということは本当でない fact16: ぼろいかもしくは悪しい物はあるとしたら「あの温もりは徹し切れる」ということは事実である fact17: その席次は悪しいかまたは徹し切れるかあるいは両方ともだ fact18: その席次は徹し切れるかもしくは悪しいか両方だ fact19: 何かは徹し切れるかあるいはそれはぼろい fact20: あの温もりは御固い ; $hypothesis$ = 「もし仮にその席次がぼろいとするとあの温もりは徹し切れる」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その席次はぼろい; assump1 -> int1: その席次はぼろいかもしくは悪しい; int1 -> int2: 「ぼろいかまたは悪しいかもしくは両方な」物はある; int2 & fact16 -> int3: あの温もりは徹し切れる; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この大金は徹し切れる
事実2: もし「「この診療時間は薄っぺらくないがしかしそれは浅まし」ということは成り立つということはない」ということは成り立つならばあの温もりは薄っぺらい
事実3: もし仮に「その瑕疵担保責任は誤診でないけど起動する」ということは成り立たないならばこの貿易黒字は感じ取れる
事実4: 仮にあるものはふてぶてしくないとすれば「薄っぺらくないしかつそれは浅まし」ということは事実と異なる
事実5: もしも何らかの物が徹し切れるかもしくは悪しいならあの温もりはぼろい
事実6: もしも「何かはふてぶてしいし四群だ」ということは誤っているならふてぶてしくない
事実7: 「ぼろい」物はある
事実8: あの温もりは悪しい
事実9: 「その瑕疵担保責任は誤診でないけど起動する」ということは事実でない
事実10: もし何らかの物が徹し切れるかぼろいかあるいはどちらもであるならあの温もりは悪しい
事実11: 悪しい物はある
事実12: もし仮にあるものは感じ取れるとすれば「この診療時間はふてぶてしくて四群だ」ということは成り立たない
事実13: その席次は悪しい
事実14: もしも「その席次は徹し切れる」ということは正しいとしたらあの温もりはぼろい
事実15: 仮にあの温もりは薄っぺらいとしたら「その席次は悪しいけれど徹し切れない」ということは本当でない
事実16: ぼろいかもしくは悪しい物はあるとしたら「あの温もりは徹し切れる」ということは事実である
事実17: その席次は悪しいかまたは徹し切れるかあるいは両方ともだ
事実18: その席次は徹し切れるかもしくは悪しいか両方だ
事実19: 何かは徹し切れるかあるいはそれはぼろい
事実20: あの温もりは御固い

仮説: 「もし仮にその席次がぼろいとするとあの温もりは徹し切れる」ということは成り立たない
1. 仮定1: 以下のように仮定する。その席次はぼろい
2. 仮定1から、推論1: "その席次はぼろいかもしくは悪しい"が導かれる
3. 推論1から、推論2: "「ぼろいかまたは悪しいかもしくは両方な」物はある"が導かれる
4. 推論2と事実16から、推論3: "あの温もりは徹し切れる"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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