「「その守備力は絡めないし末恐ろしくない」ということは確かだ」ということは嘘である
fact1: もしもあの湾岸は御騒がせしないとしたら「それは区役所でなくてまた虫捕りだ」ということは本当だということはない fact2: もしもなんらかのものが判別し難いならそれは借家する fact3: もし仮に「この一キログラム当たりは狭まるけれど馴れ馴れしくない」ということは成り立たないならばあの心拍出量は狭まる fact4: もしも何らかの物は狭まるとしたら「差し出すけれど馴れ馴れしくない」ということは正しくない fact5: もしこの心拍出量は借家しないとすれば「その守備力は末恐ろしくないかまたは絡めないかあるいはどちらもである」ということは間違いである fact6: もしこの抗癌薬が区役所であるしさらに借家するとすればあの地魚は借家しない fact7: 仮に「その矢投資は契約条件でないししかもそれは照り返さない」ということは誤っているならばあの湾岸は御騒がせしない fact8: もし仮に「「区役所だということはなくてそれに虫捕りだ」ということは間違っている」物があるならばあの抗癌薬は区役所だ fact9: もしあるものは準拠するかあるいは区役所でないか両方であるとすると借家するということはない fact10: もしも「なにかは差し出すが馴れ馴れしくない」ということは偽であるならばそれは差し出さない fact11: もし仮に何らかの物が借家しないとしたら準拠するが差し出すということはない fact12: その守備力は狭まる fact13: 仮にこの心拍出量は狭まれば「その守備力は絡めなくておまけに末恐ろしくない」ということは間違いである fact14: 「その矢投資は契約条件でなくてしかもそれは照り返さない」ということは成り立たない fact15: もし「何らかの物は差し出さないし更に借家しない」ということは成り立たないとしたらそれは末恐ろしくない fact16: 仮になんらかの物が狭まるし加えて馴れ馴れしいなら「絡める」ということは正しくない fact17: 仮にこの地魚が準拠するけどそれは差し出さないとしたら「その背外側は差し出さない」ということは正しい fact18: もし仮に「「末恐ろしくないかあるいは絡めないかあるいは両方ともだ」ということは本当でない」ものがあるとしたらこの三型は狭まる fact19: その守備力は馴れ馴れしい fact20: もし仮にその背外側は差し出さないとしたら「この一キログラム当たりは狭まるけどそれは馴れ馴れしくない」ということは間違いだ fact21: 「その守備力は差し出さなくてまた借家するということはない」ということは嘘である
fact12 & fact19 -> int1: その守備力は狭まるし更に馴れ馴れしい; fact16 -> int2: もしその守備力が狭まるしその上馴れ馴れしいとしたら絡めない; int1 & int2 -> int3: その守備力は絡めない; fact15 -> int4: もしも「その守備力は差し出すということはなくておまけに借家しない」ということは誤りであるとすると「末恐ろしくない」ということは本当だ; fact21 & int4 -> int5: その守備力は末恐ろしくない; int3 & int5 -> hypothesis;
「「その守備力は絡めるということはないしその上末恐ろしくない」ということは事実である」ということは誤っている
fact23 -> int6: もしもこの地魚が借家しないとするとそれは準拠するがしかし差し出すということはない; fact28 & fact32 -> int7: あの湾岸は御騒がせしない; fact27 & int7 -> int8: 「あの湾岸は区役所でないがしかし虫捕りである」ということは事実と異なる; int8 -> int9: 「「区役所でなくて虫捕りである」ということは正しくない」ものはある; int9 & fact24 -> int10: この抗癌薬は区役所だ; fact26 -> int11: もしもこの抗癌薬が判別し難いとするとそれは借家する;
$facts$ = fact1: もしもあの湾岸は御騒がせしないとしたら「それは区役所でなくてまた虫捕りだ」ということは本当だということはない fact2: もしもなんらかのものが判別し難いならそれは借家する fact3: もし仮に「この一キログラム当たりは狭まるけれど馴れ馴れしくない」ということは成り立たないならばあの心拍出量は狭まる fact4: もしも何らかの物は狭まるとしたら「差し出すけれど馴れ馴れしくない」ということは正しくない fact5: もしこの心拍出量は借家しないとすれば「その守備力は末恐ろしくないかまたは絡めないかあるいはどちらもである」ということは間違いである fact6: もしこの抗癌薬が区役所であるしさらに借家するとすればあの地魚は借家しない fact7: 仮に「その矢投資は契約条件でないししかもそれは照り返さない」ということは誤っているならばあの湾岸は御騒がせしない fact8: もし仮に「「区役所だということはなくてそれに虫捕りだ」ということは間違っている」物があるならばあの抗癌薬は区役所だ fact9: もしあるものは準拠するかあるいは区役所でないか両方であるとすると借家するということはない fact10: もしも「なにかは差し出すが馴れ馴れしくない」ということは偽であるならばそれは差し出さない fact11: もし仮に何らかの物が借家しないとしたら準拠するが差し出すということはない fact12: その守備力は狭まる fact13: 仮にこの心拍出量は狭まれば「その守備力は絡めなくておまけに末恐ろしくない」ということは間違いである fact14: 「その矢投資は契約条件でなくてしかもそれは照り返さない」ということは成り立たない fact15: もし「何らかの物は差し出さないし更に借家しない」ということは成り立たないとしたらそれは末恐ろしくない fact16: 仮になんらかの物が狭まるし加えて馴れ馴れしいなら「絡める」ということは正しくない fact17: 仮にこの地魚が準拠するけどそれは差し出さないとしたら「その背外側は差し出さない」ということは正しい fact18: もし仮に「「末恐ろしくないかあるいは絡めないかあるいは両方ともだ」ということは本当でない」ものがあるとしたらこの三型は狭まる fact19: その守備力は馴れ馴れしい fact20: もし仮にその背外側は差し出さないとしたら「この一キログラム当たりは狭まるけどそれは馴れ馴れしくない」ということは間違いだ fact21: 「その守備力は差し出さなくてまた借家するということはない」ということは嘘である ; $hypothesis$ = 「「その守備力は絡めないし末恐ろしくない」ということは確かだ」ということは嘘である ; $proof$ = 
fact12 & fact19 -> int1: その守備力は狭まるし更に馴れ馴れしい; fact16 -> int2: もしその守備力が狭まるしその上馴れ馴れしいとしたら絡めない; int1 & int2 -> int3: その守備力は絡めない; fact15 -> int4: もしも「その守備力は差し出すということはなくておまけに借家しない」ということは誤りであるとすると「末恐ろしくない」ということは本当だ; fact21 & int4 -> int5: その守備力は末恐ろしくない; int3 & int5 -> hypothesis; __DISPROVED__
事実1: もしもあの湾岸は御騒がせしないとしたら「それは区役所でなくてまた虫捕りだ」ということは本当だということはない
事実2: もしもなんらかのものが判別し難いならそれは借家する
事実3: もし仮に「この一キログラム当たりは狭まるけれど馴れ馴れしくない」ということは成り立たないならばあの心拍出量は狭まる
事実4: もしも何らかの物は狭まるとしたら「差し出すけれど馴れ馴れしくない」ということは正しくない
事実5: もしこの心拍出量は借家しないとすれば「その守備力は末恐ろしくないかまたは絡めないかあるいはどちらもである」ということは間違いである
事実6: もしこの抗癌薬が区役所であるしさらに借家するとすればあの地魚は借家しない
事実7: 仮に「その矢投資は契約条件でないししかもそれは照り返さない」ということは誤っているならばあの湾岸は御騒がせしない
事実8: もし仮に「「区役所だということはなくてそれに虫捕りだ」ということは間違っている」物があるならばあの抗癌薬は区役所だ
事実9: もしあるものは準拠するかあるいは区役所でないか両方であるとすると借家するということはない
事実10: もしも「なにかは差し出すが馴れ馴れしくない」ということは偽であるならばそれは差し出さない
事実11: もし仮に何らかの物が借家しないとしたら準拠するが差し出すということはない
事実12: その守備力は狭まる
事実13: 仮にこの心拍出量は狭まれば「その守備力は絡めなくておまけに末恐ろしくない」ということは間違いである
事実14: 「その矢投資は契約条件でなくてしかもそれは照り返さない」ということは成り立たない
事実15: もし「何らかの物は差し出さないし更に借家しない」ということは成り立たないとしたらそれは末恐ろしくない
事実16: 仮になんらかの物が狭まるし加えて馴れ馴れしいなら「絡める」ということは正しくない
事実17: 仮にこの地魚が準拠するけどそれは差し出さないとしたら「その背外側は差し出さない」ということは正しい
事実18: もし仮に「「末恐ろしくないかあるいは絡めないかあるいは両方ともだ」ということは本当でない」ものがあるとしたらこの三型は狭まる
事実19: その守備力は馴れ馴れしい
事実20: もし仮にその背外側は差し出さないとしたら「この一キログラム当たりは狭まるけどそれは馴れ馴れしくない」ということは間違いだ
事実21: 「その守備力は差し出さなくてまた借家するということはない」ということは嘘である

仮説: 「「その守備力は絡めないし末恐ろしくない」ということは確かだ」ということは嘘である
1. 事実12と事実19から、推論1: "その守備力は狭まるし更に馴れ馴れしい"が導かれる
2. 事実16から、推論2: "もしその守備力が狭まるしその上馴れ馴れしいとしたら絡めない"が導かれる
3. 推論1と推論2から、推論3: "その守備力は絡めない"が導かれる
4. 事実15から、推論4: "もしも「その守備力は差し出すということはなくておまけに借家しない」ということは誤りであるとすると「末恐ろしくない」ということは本当だ"が導かれる
5. 事実21と推論4から、推論5: "その守備力は末恐ろしくない"が導かれる
6. 推論3と推論5から、仮説が否定される

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