「なにがしかの物は勾留するしその上悩ましい」ということは誤っている
fact1: あの内緒は醜くない fact2: その会見場は悩ましくないか角膜混濁だ fact3: もしもあの内緒が醜くないとするとそれはセラチアであるしそれはアメリカらしい fact4: その会見場は観光客らしくないかあるいは悩ましいかあるいはどちらもだ fact5: 「「勾留する」ということは成り立つ」物はある fact6: 空恐ろしいということはないものは観光客らしいしかつ勾留する fact7: もしも「この電波法は移り易いかまたはそれは遣り逃げする」ということは間違いならその会見場は移り易くない fact8: もしもその会見場が移り易くないとすればその独露は勾留するし更に観光客らしい fact9: その会見場は勾留するしおまけに空恐ろしい fact10: もし仮に何らかの物はバス停留所でないとするとそれは迷い易くなくて訳すということはない fact11: その会見場は空恐ろしい fact12: 悩ましくないものは動き回るし更に空恐ろしい fact13: もしもその会見場が観光客らしくないかまたは悩ましいならば悩ましい fact14: このバイタル・ポイントは観光客らしい fact15: 「もしも「益無しないかまたは政治的意思であるか両方ともである」ものがあるとしたらその独露は悩ましくない」ということは事実だ fact16: 何もかもはバス停留所でない fact17: 仮に何かは一党独裁でないとしたら「それは移り易いか遣り逃げする」ということは誤っている fact18: もし仮にあの内緒がセラチアであるならばそれは益無しということはないかまたはそれは政治的意思であるかどちらもだ fact19: もしこの電波法は一党独裁でないかもしくは迷い易いということはないかまたは両方であるならばそれは一党独裁でない
fact9 -> int1: その会見場は勾留する; fact4 & fact13 -> int2: その会見場は悩ましい; int1 & int2 -> int3: その会見場は勾留するし悩ましい; int3 -> hypothesis;
fact9 -> int1: {A}{a}; fact4 & fact13 -> int2: {C}{a}; int1 & int2 -> int3: ({A}{a} & {C}{a}); int3 -> hypothesis;
「その独露は動き回るしそれは勾留する」ということは確かだ
fact22 -> int4: この電波法は一党独裁でないなら「それは移り易いかまたは遣り逃げするかもしくは両方だ」ということは成り立つということはない; fact27 -> int5: 仮にこの伊がバス停留所でないとすれば迷い易くないしまた訳さない; fact28 -> int6: この伊はバス停留所だということはない; int5 & int6 -> int7: この伊は迷い易くなくてしかも訳さない; int7 -> int8: すべては迷い易くなくて訳さない; int8 -> int9: あの航行は迷い易いということはないし加えて訳さない; int9 -> int10: 「あの航行は迷い易くない」ということは成り立つ; int10 -> int11: 何もかもは迷い易くない; int11 -> int12: あの有機ＳＩＭＳは迷い易くない; int12 -> int13: あの有機ＳＩＭＳは一党独裁であるということはないかもしくは迷い易くない; int13 -> int14: 「どれもこれもは一党独裁でないかもしくはそれは迷い易くない」ということは本当である; int14 -> int15: この電波法は一党独裁であるということはないかまたはそれは迷い易くないかもしくは両方である; fact30 & int15 -> int16: この電波法は一党独裁でない; int4 & int16 -> int17: 「この電波法は移り易いかもしくは遣り逃げする」ということは本当でない; int17 & fact23 -> int18: その会見場は移り易くない; int18 & fact24 -> int19: その独露は勾留するし加えてそれは観光客らしい; int19 -> int20: その独露は勾留する; fact26 -> int21: 「その独露は悩ましくない」ということは成り立つとすればそれは動き回るし空恐ろしい; fact21 & fact29 -> int22: あの内緒はセラチアでアメリカらしい; int22 -> int23: あの内緒はセラチアである; fact25 & int23 -> int24: あの内緒は益無しないかまたはそれは政治的意思であるかあるいは両方ともである; int24 -> int25: 「益無しないかあるいは政治的意思であるかもしくは両方ともな」ものはある; fact20 & int25 -> int26: その独露は悩ましくない; int21 & int26 -> int27: その独露は動き回るし加えて空恐ろしい; int27 -> int28: その独露は動き回る; int20 & int28 -> hypothesis;
$facts$ = fact1: あの内緒は醜くない fact2: その会見場は悩ましくないか角膜混濁だ fact3: もしもあの内緒が醜くないとするとそれはセラチアであるしそれはアメリカらしい fact4: その会見場は観光客らしくないかあるいは悩ましいかあるいはどちらもだ fact5: 「「勾留する」ということは成り立つ」物はある fact6: 空恐ろしいということはないものは観光客らしいしかつ勾留する fact7: もしも「この電波法は移り易いかまたはそれは遣り逃げする」ということは間違いならその会見場は移り易くない fact8: もしもその会見場が移り易くないとすればその独露は勾留するし更に観光客らしい fact9: その会見場は勾留するしおまけに空恐ろしい fact10: もし仮に何らかの物はバス停留所でないとするとそれは迷い易くなくて訳すということはない fact11: その会見場は空恐ろしい fact12: 悩ましくないものは動き回るし更に空恐ろしい fact13: もしもその会見場が観光客らしくないかまたは悩ましいならば悩ましい fact14: このバイタル・ポイントは観光客らしい fact15: 「もしも「益無しないかまたは政治的意思であるか両方ともである」ものがあるとしたらその独露は悩ましくない」ということは事実だ fact16: 何もかもはバス停留所でない fact17: 仮に何かは一党独裁でないとしたら「それは移り易いか遣り逃げする」ということは誤っている fact18: もし仮にあの内緒がセラチアであるならばそれは益無しということはないかまたはそれは政治的意思であるかどちらもだ fact19: もしこの電波法は一党独裁でないかもしくは迷い易いということはないかまたは両方であるならばそれは一党独裁でない ; $hypothesis$ = 「なにがしかの物は勾留するしその上悩ましい」ということは誤っている ; $proof$ = 
fact9 -> int1: その会見場は勾留する; fact4 & fact13 -> int2: その会見場は悩ましい; int1 & int2 -> int3: その会見場は勾留するし悩ましい; int3 -> hypothesis; __DISPROVED__
事実1: あの内緒は醜くない
事実2: その会見場は悩ましくないか角膜混濁だ
事実3: もしもあの内緒が醜くないとするとそれはセラチアであるしそれはアメリカらしい
事実4: その会見場は観光客らしくないかあるいは悩ましいかあるいはどちらもだ
事実5: 「「勾留する」ということは成り立つ」物はある
事実6: 空恐ろしいということはないものは観光客らしいしかつ勾留する
事実7: もしも「この電波法は移り易いかまたはそれは遣り逃げする」ということは間違いならその会見場は移り易くない
事実8: もしもその会見場が移り易くないとすればその独露は勾留するし更に観光客らしい
事実9: その会見場は勾留するしおまけに空恐ろしい
事実10: もし仮に何らかの物はバス停留所でないとするとそれは迷い易くなくて訳すということはない
事実11: その会見場は空恐ろしい
事実12: 悩ましくないものは動き回るし更に空恐ろしい
事実13: もしもその会見場が観光客らしくないかまたは悩ましいならば悩ましい
事実14: このバイタル・ポイントは観光客らしい
事実15: 「もしも「益無しないかまたは政治的意思であるか両方ともである」ものがあるとしたらその独露は悩ましくない」ということは事実だ
事実16: 何もかもはバス停留所でない
事実17: 仮に何かは一党独裁でないとしたら「それは移り易いか遣り逃げする」ということは誤っている
事実18: もし仮にあの内緒がセラチアであるならばそれは益無しということはないかまたはそれは政治的意思であるかどちらもだ
事実19: もしこの電波法は一党独裁でないかもしくは迷い易いということはないかまたは両方であるならばそれは一党独裁でない

仮説: 「なにがしかの物は勾留するしその上悩ましい」ということは誤っている
1. 事実9から、推論1: "その会見場は勾留する"が導かれる
2. 事実4と事実13から、推論2: "その会見場は悩ましい"が導かれる
3. 推論1と推論2から、推論3: "その会見場は勾留するし悩ましい"が導かれる
4. 推論3から、仮説が否定される

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