この訪韓は僅少でない
fact1: もしもなにがしかのものは掘り下げるけれど仕事師でないとすればそれは空焼きする fact2: もしもとあるものが二校だということはないとするとそれは掘り下げるか僅少でない fact3: 何らかの物が空焼きすれば僅少だ fact4: なにがしかの物は掘り下げるしおまけに仕事師であるとすればそれは空焼きする fact5: あのインターネット接続ウィザードは掘り下げるがしかしそれは判読しない fact6: 「この訪韓は二校である」ということは事実である fact7: 「二校でない」ものはある fact8: 「二校であるということはない」ものがあるとしたらこの訪韓は掘り下げるがそれは仕事師でない fact9: なんらかのものが空しかないとしたらその不振は二校だがしかし山門でない
fact7 & fact8 -> int1: この訪韓は掘り下げるが仕事師であるということはない; fact1 -> int2: もしもこの訪韓は掘り下げる一方で仕事師でないなら空焼きする; int1 & int2 -> int3: この訪韓は空焼きする; fact3 -> int4: もしこの訪韓が空焼きするとしたらそれは僅少だ; int3 & int4 -> hypothesis;
この訪韓は僅少でない
fact10 -> int5: もし仮にこの週は二校でないとしたらそれは掘り下げるかまたは僅少でないかもしくは両方ともだ;
$facts$ = fact1: もしもなにがしかのものは掘り下げるけれど仕事師でないとすればそれは空焼きする fact2: もしもとあるものが二校だということはないとするとそれは掘り下げるか僅少でない fact3: 何らかの物が空焼きすれば僅少だ fact4: なにがしかの物は掘り下げるしおまけに仕事師であるとすればそれは空焼きする fact5: あのインターネット接続ウィザードは掘り下げるがしかしそれは判読しない fact6: 「この訪韓は二校である」ということは事実である fact7: 「二校でない」ものはある fact8: 「二校であるということはない」ものがあるとしたらこの訪韓は掘り下げるがそれは仕事師でない fact9: なんらかのものが空しかないとしたらその不振は二校だがしかし山門でない ; $hypothesis$ = この訪韓は僅少でない ; $proof$ = 
fact7 & fact8 -> int1: この訪韓は掘り下げるが仕事師であるということはない; fact1 -> int2: もしもこの訪韓は掘り下げる一方で仕事師でないなら空焼きする; int1 & int2 -> int3: この訪韓は空焼きする; fact3 -> int4: もしこの訪韓が空焼きするとしたらそれは僅少だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかのものは掘り下げるけれど仕事師でないとすればそれは空焼きする
事実2: もしもとあるものが二校だということはないとするとそれは掘り下げるか僅少でない
事実3: 何らかの物が空焼きすれば僅少だ
事実4: なにがしかの物は掘り下げるしおまけに仕事師であるとすればそれは空焼きする
事実5: あのインターネット接続ウィザードは掘り下げるがしかしそれは判読しない
事実6: 「この訪韓は二校である」ということは事実である
事実7: 「二校でない」ものはある
事実8: 「二校であるということはない」ものがあるとしたらこの訪韓は掘り下げるがそれは仕事師でない
事実9: なんらかのものが空しかないとしたらその不振は二校だがしかし山門でない

仮説: この訪韓は僅少でない
1. 事実7と事実8から、推論1: "この訪韓は掘り下げるが仕事師であるということはない"が導かれる
2. 事実1から、推論2: "もしもこの訪韓は掘り下げる一方で仕事師でないなら空焼きする"が導かれる
3. 推論1と推論2から、推論3: "この訪韓は空焼きする"が導かれる
4. 事実3から、推論4: "もしこの訪韓が空焼きするとしたらそれは僅少だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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