「このおっは解雇するしさらに打ち難い」ということは成り立たない
fact1: 中心周波数は伝統的手法でなくて更に嘘っぽくない fact2: 「誰何しない」ものはある fact3: もしなんらかの物は中心周波数でないとすれば「それは解雇するしまた打ち難い」ということは誤っている fact4: このファイナンス・リースは中心周波数でないししかも誰何しない fact5: この執筆作業は雪深いということはないかまたは定型化しないかあるいは両方ともだ fact6: 仮に「中心周波数でなくて誰何しない」ものがあるとするとこのおっは解雇する fact7: もしこの執筆作業が定型化しないとしたらこのおっは打ち難い fact8: とあるものは雪深いけど打ち難くない fact9: この執筆作業は打ち難い fact10: もしもこの執筆作業が雪深いということはないならばこのおっは打ち難い fact11: このファイナンス・リースは中心周波数でない
fact4 -> int1: とある物は中心周波数でないしその上誰何しない; int1 & fact6 -> int2: このおっは解雇する; fact10 & fact5 & fact7 -> int3: このおっは打ち難い; int2 & int3 -> hypothesis;
fact4 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact6 -> int2: {C}{a}; fact10 & fact5 & fact7 -> int3: {D}{a}; int2 & int3 -> hypothesis;
「このおっは解雇するし打ち難い」ということは成り立つということはない
fact12 -> int4: もし仮にこのおっは中心周波数でないとしたら「それは解雇するし加えて打ち難い」ということは成り立たない;
$facts$ = fact1: 中心周波数は伝統的手法でなくて更に嘘っぽくない fact2: 「誰何しない」ものはある fact3: もしなんらかの物は中心周波数でないとすれば「それは解雇するしまた打ち難い」ということは誤っている fact4: このファイナンス・リースは中心周波数でないししかも誰何しない fact5: この執筆作業は雪深いということはないかまたは定型化しないかあるいは両方ともだ fact6: 仮に「中心周波数でなくて誰何しない」ものがあるとするとこのおっは解雇する fact7: もしこの執筆作業が定型化しないとしたらこのおっは打ち難い fact8: とあるものは雪深いけど打ち難くない fact9: この執筆作業は打ち難い fact10: もしもこの執筆作業が雪深いということはないならばこのおっは打ち難い fact11: このファイナンス・リースは中心周波数でない ; $hypothesis$ = 「このおっは解雇するしさらに打ち難い」ということは成り立たない ; $proof$ = 
fact4 -> int1: とある物は中心周波数でないしその上誰何しない; int1 & fact6 -> int2: このおっは解雇する; fact10 & fact5 & fact7 -> int3: このおっは打ち難い; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 中心周波数は伝統的手法でなくて更に嘘っぽくない
事実2: 「誰何しない」ものはある
事実3: もしなんらかの物は中心周波数でないとすれば「それは解雇するしまた打ち難い」ということは誤っている
事実4: このファイナンス・リースは中心周波数でないししかも誰何しない
事実5: この執筆作業は雪深いということはないかまたは定型化しないかあるいは両方ともだ
事実6: 仮に「中心周波数でなくて誰何しない」ものがあるとするとこのおっは解雇する
事実7: もしこの執筆作業が定型化しないとしたらこのおっは打ち難い
事実8: とあるものは雪深いけど打ち難くない
事実9: この執筆作業は打ち難い
事実10: もしもこの執筆作業が雪深いということはないならばこのおっは打ち難い
事実11: このファイナンス・リースは中心周波数でない

仮説: 「このおっは解雇するしさらに打ち難い」ということは成り立たない
1. 事実4から、推論1: "とある物は中心周波数でないしその上誰何しない"が導かれる
2. 推論1と事実6から、推論2: "このおっは解雇する"が導かれる
3. 事実10と事実5と事実7から、推論3: "このおっは打ち難い"が導かれる
4. 推論2と推論3から、仮説が否定される

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