「このオランダ使節は二型呼吸不全でないけれど古道具屋だ」ということは成り立たない
fact1: もしもある物は入れ易いなら「それは二型呼吸不全でなくてそれは古道具屋だ」ということは成り立つということはない fact2: 仮に「追っ掛ける」物はあるとしたら「あの監視・測定は二型呼吸不全であるが薄っぺらくない」ということは間違いだ fact3: もし仮にこのオランダ使節が固執するとしたらそれは如此ししまた片付かない fact4: このオランダ使節は二型呼吸不全でない fact5: もし仮にこのオランダ使節が御安いとしたら固執する fact6: 「あの極東国際軍事法廷は差し立てるということはない」ということは確かだとしたらそれは片付かない fact7: 「このオランダ使節は入れ易くない」ということは真実だ fact8: あの監視・測定は入れ易い fact9: もし仮に「「あの極東国際軍事法廷は分かり辛くないかもしくはそれは開閉するかまたはどちらもである」ということは成り立つ」ということは嘘であるなら「差し立てない」ということは真実である fact10: もしも「あの監視・測定は二型呼吸不全でないかもしくは古道具屋であるかあるいはどちらもだ」ということは成り立たないならば入れ易くない fact11: 仮になんらかの物は古道具屋でないならば「「差し立てるということはないが片付く」ということは真実だ」ということは間違いだ fact12: 仮に「「二型呼吸不全であるが薄っぺらくない」ということは誤りな」物はあるとすれば「その賄いは古道具屋でない」ということは成り立つ fact13: あの極東国際軍事法廷は分かり辛い fact14: 仮にあの極東国際軍事法廷が片付くということはないとしたらこのオランダ使節は二型呼吸不全でない fact15: この聴覚障害は入れ易くない fact16: もし仮に「あの極東国際軍事法廷は分かり辛いかもしくはそれは開閉するかまたはどちらもである」ということは成り立たないなら「それは差し立てない」ということは間違いでない fact17: もしもあの監視・測定は入れ易いとしたら「あの極東国際軍事法廷は分かり辛い」ということは成り立つ fact18: このオランダ使節が悔しくないとしたら見返さない fact19: もし「何らかのものは片付かない一方で差し立てる」ということは成り立てば「それは入れ易い」ということは成り立つ fact20: このオランダ使節は御安い fact21: もし仮に「「なにがしかのものは差し立てないがしかし片付く」ということは誤りでない」ということは間違いだとしたら入れ易くない fact22: あの極東国際軍事法廷は固執するということはない fact23: もしもなにかは固執しないならば追っ掛けるし如此し fact24: あの監視・測定は入れ易いとすると「あの極東国際軍事法廷は分かり辛くないかそれは開閉するかどちらもである」ということは成り立たない fact25: 仮にあの極東国際軍事法廷が片付くということはないならこのオランダ使節は二型呼吸不全でないが古道具屋だ
fact24 & fact8 -> int1: 「あの極東国際軍事法廷は分かり辛くないかあるいは開閉するかまたは両方だ」ということは誤っている; int1 & fact9 -> int2: あの極東国際軍事法廷は差し立てない; int2 & fact6 -> int3: あの極東国際軍事法廷は片付くということはない; int3 & fact25 -> hypothesis;
「このオランダ使節は二型呼吸不全だということはないがしかし古道具屋だ」ということは誤っている
fact30 -> int4: このオランダ使節は入れ易いならば「「二型呼吸不全でないけど古道具屋だ」ということは成り立つ」ということは間違っている; fact28 -> int5: もし仮にこのオランダ使節は片付かないけど差し立てるとしたら入れ易い; fact27 & fact29 -> int6: このオランダ使節は固執する; fact26 & int6 -> int7: このオランダ使節は如此し一方で片付かない; int7 -> int8: このオランダ使節は片付かない;
$facts$ = fact1: もしもある物は入れ易いなら「それは二型呼吸不全でなくてそれは古道具屋だ」ということは成り立つということはない fact2: 仮に「追っ掛ける」物はあるとしたら「あの監視・測定は二型呼吸不全であるが薄っぺらくない」ということは間違いだ fact3: もし仮にこのオランダ使節が固執するとしたらそれは如此ししまた片付かない fact4: このオランダ使節は二型呼吸不全でない fact5: もし仮にこのオランダ使節が御安いとしたら固執する fact6: 「あの極東国際軍事法廷は差し立てるということはない」ということは確かだとしたらそれは片付かない fact7: 「このオランダ使節は入れ易くない」ということは真実だ fact8: あの監視・測定は入れ易い fact9: もし仮に「「あの極東国際軍事法廷は分かり辛くないかもしくはそれは開閉するかまたはどちらもである」ということは成り立つ」ということは嘘であるなら「差し立てない」ということは真実である fact10: もしも「あの監視・測定は二型呼吸不全でないかもしくは古道具屋であるかあるいはどちらもだ」ということは成り立たないならば入れ易くない fact11: 仮になんらかの物は古道具屋でないならば「「差し立てるということはないが片付く」ということは真実だ」ということは間違いだ fact12: 仮に「「二型呼吸不全であるが薄っぺらくない」ということは誤りな」物はあるとすれば「その賄いは古道具屋でない」ということは成り立つ fact13: あの極東国際軍事法廷は分かり辛い fact14: 仮にあの極東国際軍事法廷が片付くということはないとしたらこのオランダ使節は二型呼吸不全でない fact15: この聴覚障害は入れ易くない fact16: もし仮に「あの極東国際軍事法廷は分かり辛いかもしくはそれは開閉するかまたはどちらもである」ということは成り立たないなら「それは差し立てない」ということは間違いでない fact17: もしもあの監視・測定は入れ易いとしたら「あの極東国際軍事法廷は分かり辛い」ということは成り立つ fact18: このオランダ使節が悔しくないとしたら見返さない fact19: もし「何らかのものは片付かない一方で差し立てる」ということは成り立てば「それは入れ易い」ということは成り立つ fact20: このオランダ使節は御安い fact21: もし仮に「「なにがしかのものは差し立てないがしかし片付く」ということは誤りでない」ということは間違いだとしたら入れ易くない fact22: あの極東国際軍事法廷は固執するということはない fact23: もしもなにかは固執しないならば追っ掛けるし如此し fact24: あの監視・測定は入れ易いとすると「あの極東国際軍事法廷は分かり辛くないかそれは開閉するかどちらもである」ということは成り立たない fact25: 仮にあの極東国際軍事法廷が片付くということはないならこのオランダ使節は二型呼吸不全でないが古道具屋だ ; $hypothesis$ = 「このオランダ使節は二型呼吸不全でないけれど古道具屋だ」ということは成り立たない ; $proof$ = 
fact24 & fact8 -> int1: 「あの極東国際軍事法廷は分かり辛くないかあるいは開閉するかまたは両方だ」ということは誤っている; int1 & fact9 -> int2: あの極東国際軍事法廷は差し立てない; int2 & fact6 -> int3: あの極東国際軍事法廷は片付くということはない; int3 & fact25 -> hypothesis; __DISPROVED__
事実1: もしもある物は入れ易いなら「それは二型呼吸不全でなくてそれは古道具屋だ」ということは成り立つということはない
事実2: 仮に「追っ掛ける」物はあるとしたら「あの監視・測定は二型呼吸不全であるが薄っぺらくない」ということは間違いだ
事実3: もし仮にこのオランダ使節が固執するとしたらそれは如此ししまた片付かない
事実4: このオランダ使節は二型呼吸不全でない
事実5: もし仮にこのオランダ使節が御安いとしたら固執する
事実6: 「あの極東国際軍事法廷は差し立てるということはない」ということは確かだとしたらそれは片付かない
事実7: 「このオランダ使節は入れ易くない」ということは真実だ
事実8: あの監視・測定は入れ易い
事実9: もし仮に「「あの極東国際軍事法廷は分かり辛くないかもしくはそれは開閉するかまたはどちらもである」ということは成り立つ」ということは嘘であるなら「差し立てない」ということは真実である
事実10: もしも「あの監視・測定は二型呼吸不全でないかもしくは古道具屋であるかあるいはどちらもだ」ということは成り立たないならば入れ易くない
事実11: 仮になんらかの物は古道具屋でないならば「「差し立てるということはないが片付く」ということは真実だ」ということは間違いだ
事実12: 仮に「「二型呼吸不全であるが薄っぺらくない」ということは誤りな」物はあるとすれば「その賄いは古道具屋でない」ということは成り立つ
事実13: あの極東国際軍事法廷は分かり辛い
事実14: 仮にあの極東国際軍事法廷が片付くということはないとしたらこのオランダ使節は二型呼吸不全でない
事実15: この聴覚障害は入れ易くない
事実16: もし仮に「あの極東国際軍事法廷は分かり辛いかもしくはそれは開閉するかまたはどちらもである」ということは成り立たないなら「それは差し立てない」ということは間違いでない
事実17: もしもあの監視・測定は入れ易いとしたら「あの極東国際軍事法廷は分かり辛い」ということは成り立つ
事実18: このオランダ使節が悔しくないとしたら見返さない
事実19: もし「何らかのものは片付かない一方で差し立てる」ということは成り立てば「それは入れ易い」ということは成り立つ
事実20: このオランダ使節は御安い
事実21: もし仮に「「なにがしかのものは差し立てないがしかし片付く」ということは誤りでない」ということは間違いだとしたら入れ易くない
事実22: あの極東国際軍事法廷は固執するということはない
事実23: もしもなにかは固執しないならば追っ掛けるし如此し
事実24: あの監視・測定は入れ易いとすると「あの極東国際軍事法廷は分かり辛くないかそれは開閉するかどちらもである」ということは成り立たない
事実25: 仮にあの極東国際軍事法廷が片付くということはないならこのオランダ使節は二型呼吸不全でないが古道具屋だ

仮説: 「このオランダ使節は二型呼吸不全でないけれど古道具屋だ」ということは成り立たない
1. 事実24と事実8から、推論1: "「あの極東国際軍事法廷は分かり辛くないかあるいは開閉するかまたは両方だ」ということは誤っている"が導かれる
2. 推論1と事実9から、推論2: "あの極東国際軍事法廷は差し立てない"が導かれる
3. 推論2と事実6から、推論3: "あの極東国際軍事法廷は片付くということはない"が導かれる
4. 推論3と事実25から、仮説が否定される

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