あの記録物は打ち続かない
fact1: 仮にその概況は聞き辛いということはないかまたは怪しかもしくはどちらもならばそれは聞き辛くない fact2: もしもあの製造原価報告書が進め易いということはないとすればあの強勢は格好悪くてそれは至急だ fact3: 「「そのＣＳＲは移し替えないがそれは打ち続く」ということは嘘だ」ということは正しいとするとこのＡＶ監督は移し替える fact4: そのＣＳＲは打ち続く fact5: もしも何かは格好悪いならば考え辛い fact6: なにかは考え辛いなら「「このおかまレスラーは考え辛くないしそれは分割するということはない」ということは誤っている」ということは本当だ fact7: あの搬入税は移し替える fact8: 進め易くない物は至急でないがしかし格好悪い fact9: もし仮にあの記録物が打ち続くならそのＣＳＲは打ち続く fact10: もしもこのおかまレスラーは分割するとしたら「そのＣＳＲは移し替えるということはないけど打ち続く」ということは誤りだ fact11: 「「秘書給与だしその上誤球でない」ということは誤りである」物はある fact12: もし「「秘書給与であるけど誤球でない」ということは成り立たない」物があるならその概況は秘書給与でない fact13: そのＣＳＲは移し替える fact14: もしも「「聞き辛くないしかつ移入しない」ということは誤りである」物があるならばあのおかまレスラーは進め易くない fact15: もしそのＣＳＲが移し替えるならあの記録物は移し替える fact16: もし仮にそのＣＳＲが分割するけれど移し替えないならばあの記録物は打ち続くということはない fact17: もし仮にその概況が聞き辛くないとしたらあの製造原価報告書は移入しないし進め易くない fact18: 仮にあの製造原価報告書は怪しなら「その強勢は聞き辛くなくて移入しない」ということは誤りだ fact19: その概況は聞き辛くないか怪しか両方である fact20: もし仮に「秘書給与でない」物があるならあの製造原価報告書は怪ししかつ賢い fact21: 考え辛くない物は分割する一方で移し替えない fact22: 仮に何らかの物が移し替えればそれは打ち続く
fact22 -> int1: 仮にあの記録物が移し替えるとすれば打ち続く; fact15 & fact13 -> int2: あの記録物は移し替える; int1 & int2 -> hypothesis;
あの記録物は打ち続かない
fact30 -> int3: そのＣＳＲが考え辛くないなら分割するしかつそれは移し替えるということはない; fact26 -> int4: 仮にこのおかまレスラーが進め易いということはないとすれば至急でない一方で格好悪い; fact25 & fact23 -> int5: その概況は秘書給与でない; int5 -> int6: 「秘書給与であるということはない」物はある; int6 & fact28 -> int7: あの製造原価報告書は怪しし賢い; int7 -> int8: あの製造原価報告書は怪し; fact27 & int8 -> int9: 「その強勢は聞き辛くなくて更にそれは移入するということはない」ということは誤りだ; int9 -> int10: 「「聞き辛くなくてそれに移入しない」ということは成り立つということはない」ものはある; int10 & fact24 -> int11: このおかまレスラーは進め易くない; int4 & int11 -> int12: このおかまレスラーは至急でないけど格好悪い; int12 -> int13: とあるものは至急でないが格好悪い;
$facts$ = fact1: 仮にその概況は聞き辛いということはないかまたは怪しかもしくはどちらもならばそれは聞き辛くない fact2: もしもあの製造原価報告書が進め易いということはないとすればあの強勢は格好悪くてそれは至急だ fact3: 「「そのＣＳＲは移し替えないがそれは打ち続く」ということは嘘だ」ということは正しいとするとこのＡＶ監督は移し替える fact4: そのＣＳＲは打ち続く fact5: もしも何かは格好悪いならば考え辛い fact6: なにかは考え辛いなら「「このおかまレスラーは考え辛くないしそれは分割するということはない」ということは誤っている」ということは本当だ fact7: あの搬入税は移し替える fact8: 進め易くない物は至急でないがしかし格好悪い fact9: もし仮にあの記録物が打ち続くならそのＣＳＲは打ち続く fact10: もしもこのおかまレスラーは分割するとしたら「そのＣＳＲは移し替えるということはないけど打ち続く」ということは誤りだ fact11: 「「秘書給与だしその上誤球でない」ということは誤りである」物はある fact12: もし「「秘書給与であるけど誤球でない」ということは成り立たない」物があるならその概況は秘書給与でない fact13: そのＣＳＲは移し替える fact14: もしも「「聞き辛くないしかつ移入しない」ということは誤りである」物があるならばあのおかまレスラーは進め易くない fact15: もしそのＣＳＲが移し替えるならあの記録物は移し替える fact16: もし仮にそのＣＳＲが分割するけれど移し替えないならばあの記録物は打ち続くということはない fact17: もし仮にその概況が聞き辛くないとしたらあの製造原価報告書は移入しないし進め易くない fact18: 仮にあの製造原価報告書は怪しなら「その強勢は聞き辛くなくて移入しない」ということは誤りだ fact19: その概況は聞き辛くないか怪しか両方である fact20: もし仮に「秘書給与でない」物があるならあの製造原価報告書は怪ししかつ賢い fact21: 考え辛くない物は分割する一方で移し替えない fact22: 仮に何らかの物が移し替えればそれは打ち続く ; $hypothesis$ = あの記録物は打ち続かない ; $proof$ = 
fact22 -> int1: 仮にあの記録物が移し替えるとすれば打ち続く; fact15 & fact13 -> int2: あの記録物は移し替える; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にその概況は聞き辛いということはないかまたは怪しかもしくはどちらもならばそれは聞き辛くない
事実2: もしもあの製造原価報告書が進め易いということはないとすればあの強勢は格好悪くてそれは至急だ
事実3: 「「そのＣＳＲは移し替えないがそれは打ち続く」ということは嘘だ」ということは正しいとするとこのＡＶ監督は移し替える
事実4: そのＣＳＲは打ち続く
事実5: もしも何かは格好悪いならば考え辛い
事実6: なにかは考え辛いなら「「このおかまレスラーは考え辛くないしそれは分割するということはない」ということは誤っている」ということは本当だ
事実7: あの搬入税は移し替える
事実8: 進め易くない物は至急でないがしかし格好悪い
事実9: もし仮にあの記録物が打ち続くならそのＣＳＲは打ち続く
事実10: もしもこのおかまレスラーは分割するとしたら「そのＣＳＲは移し替えるということはないけど打ち続く」ということは誤りだ
事実11: 「「秘書給与だしその上誤球でない」ということは誤りである」物はある
事実12: もし「「秘書給与であるけど誤球でない」ということは成り立たない」物があるならその概況は秘書給与でない
事実13: そのＣＳＲは移し替える
事実14: もしも「「聞き辛くないしかつ移入しない」ということは誤りである」物があるならばあのおかまレスラーは進め易くない
事実15: もしそのＣＳＲが移し替えるならあの記録物は移し替える
事実16: もし仮にそのＣＳＲが分割するけれど移し替えないならばあの記録物は打ち続くということはない
事実17: もし仮にその概況が聞き辛くないとしたらあの製造原価報告書は移入しないし進め易くない
事実18: 仮にあの製造原価報告書は怪しなら「その強勢は聞き辛くなくて移入しない」ということは誤りだ
事実19: その概況は聞き辛くないか怪しか両方である
事実20: もし仮に「秘書給与でない」物があるならあの製造原価報告書は怪ししかつ賢い
事実21: 考え辛くない物は分割する一方で移し替えない
事実22: 仮に何らかの物が移し替えればそれは打ち続く

仮説: あの記録物は打ち続かない
1. 事実22から、推論1: "仮にあの記録物が移し替えるとすれば打ち続く"が導かれる
2. 事実15と事実13から、推論2: "あの記録物は移し替える"が導かれる
3. 推論1と推論2から、仮説が否定される

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