このωＴは謙遜する
fact1: もし「何かは白しが甚だしない」ということは間違いであるとすると白しない fact2: あの観客は書面審理でないし更に打っ壊さない fact3: 仮にあのクーポン収入が木造建築物でないならこのωＴは謙遜しない fact4: 「起き難い」物はある fact5: その醇化は被る fact6: もしもあの観客が書面審理でないけど打っ壊すならあの量刑は起き難い fact7: 仮に何らかのものは白しないならば「それは被るかあるいはそれは起き難くないかもしくは両方ともだ」ということは偽だ fact8: あのクーポン収入は甚だし fact9: あの量刑は被る fact10: この実質為替レートＱが白しないとするとあのクーポン収入は甚だし一方で木造建築物でない fact11: もしも「起き難いしその上被る」物があればこの実質為替レートＱは白しない fact12: もし「なにかは謙遜するが起き難くない」ということは間違いであるとすればそれは謙遜しない fact13: 仮にあの観客が書面審理でないし打っ壊さないならあの量刑は起き難い
fact13 & fact2 -> int1: あの量刑は起き難い; int1 & fact9 -> int2: あの量刑は起き難くて被る; int2 -> int3: なんらかの物は起き難いしそれは被る; int3 & fact11 -> int4: この実質為替レートＱは白しない; int4 & fact10 -> int5: あのクーポン収入は甚だし一方で木造建築物でない; int5 -> int6: あのクーポン収入は木造建築物でない; int6 & fact3 -> hypothesis;
そのライスバーガーは謙遜するということはない
fact14 -> int7: 仮に「そのライスバーガーは謙遜する一方で起き難くない」ということは成り立たないなら謙遜するということはない;
$facts$ = fact1: もし「何かは白しが甚だしない」ということは間違いであるとすると白しない fact2: あの観客は書面審理でないし更に打っ壊さない fact3: 仮にあのクーポン収入が木造建築物でないならこのωＴは謙遜しない fact4: 「起き難い」物はある fact5: その醇化は被る fact6: もしもあの観客が書面審理でないけど打っ壊すならあの量刑は起き難い fact7: 仮に何らかのものは白しないならば「それは被るかあるいはそれは起き難くないかもしくは両方ともだ」ということは偽だ fact8: あのクーポン収入は甚だし fact9: あの量刑は被る fact10: この実質為替レートＱが白しないとするとあのクーポン収入は甚だし一方で木造建築物でない fact11: もしも「起き難いしその上被る」物があればこの実質為替レートＱは白しない fact12: もし「なにかは謙遜するが起き難くない」ということは間違いであるとすればそれは謙遜しない fact13: 仮にあの観客が書面審理でないし打っ壊さないならあの量刑は起き難い ; $hypothesis$ = このωＴは謙遜する ; $proof$ = 
fact13 & fact2 -> int1: あの量刑は起き難い; int1 & fact9 -> int2: あの量刑は起き難くて被る; int2 -> int3: なんらかの物は起き難いしそれは被る; int3 & fact11 -> int4: この実質為替レートＱは白しない; int4 & fact10 -> int5: あのクーポン収入は甚だし一方で木造建築物でない; int5 -> int6: あのクーポン収入は木造建築物でない; int6 & fact3 -> hypothesis; __DISPROVED__
事実1: もし「何かは白しが甚だしない」ということは間違いであるとすると白しない
事実2: あの観客は書面審理でないし更に打っ壊さない
事実3: 仮にあのクーポン収入が木造建築物でないならこのωＴは謙遜しない
事実4: 「起き難い」物はある
事実5: その醇化は被る
事実6: もしもあの観客が書面審理でないけど打っ壊すならあの量刑は起き難い
事実7: 仮に何らかのものは白しないならば「それは被るかあるいはそれは起き難くないかもしくは両方ともだ」ということは偽だ
事実8: あのクーポン収入は甚だし
事実9: あの量刑は被る
事実10: この実質為替レートＱが白しないとするとあのクーポン収入は甚だし一方で木造建築物でない
事実11: もしも「起き難いしその上被る」物があればこの実質為替レートＱは白しない
事実12: もし「なにかは謙遜するが起き難くない」ということは間違いであるとすればそれは謙遜しない
事実13: 仮にあの観客が書面審理でないし打っ壊さないならあの量刑は起き難い

仮説: このωＴは謙遜する
1. 事実13と事実2から、推論1: "あの量刑は起き難い"が導かれる
2. 推論1と事実9から、推論2: "あの量刑は起き難くて被る"が導かれる
3. 推論2から、推論3: "なんらかの物は起き難いしそれは被る"が導かれる
4. 推論3と事実11から、推論4: "この実質為替レートＱは白しない"が導かれる
5. 推論4と事実10から、推論5: "あのクーポン収入は甚だし一方で木造建築物でない"が導かれる
6. 推論5から、推論6: "あのクーポン収入は木造建築物でない"が導かれる
7. 推論6と事実3から、仮説が否定される

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