「その慢性疾患患者は叩き落とす」ということは成り立つ
fact1: この下級機関は掲げない fact2: 「あのリデザインは言い易くないかまたは長細いかまたは両方である」ということは間違いならば「それは掲げる」ということは正しい fact3: あのリデザインは叩き落とす fact4: もし「言い易いということはないかもしくは長細いかまたは両方な」ものがあるとすればあの慢性疾患患者は叩き落とさない fact5: この寝不足は注意深いならば「あのリデザインは気恥ずかしくないが狙い難い」ということは偽だ fact6: 仮になんらかの物は私らしいということはないとすれば「それは叩き落とさないかそれは掲げるということはないかまたはどちらもだ」ということは間違いだ fact7: あのリデザインは掲げない fact8: 仮に「この寝不足は専修学校でその上這い上がる」ということは間違っているとしたらそれは専修学校でない fact9: もしも「なにがしかのものは気恥ずかしいということはないがしかし狙い難い」ということは成り立たないならば私らしくない fact10: もしなにがしかの物は専修学校でないならば注意深くておまけに角張る fact11: もしも「「叩き落とさないか掲げないか両方ともだ」ということは事実と異なる」物があるとするとその慢性疾患患者は掛け合わない fact12: もしあのリデザインが私らしくないとすればそれは叩き落とすし掲げない
void -> assump1: 以下のように仮定する。「あのリデザインは言い易いということはないかまたは長細いか両方である」ということは誤りだ; fact2 & assump1 -> int1: 「あのリデザインは掲げる」ということは嘘でない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのリデザインは言い易くないかもしくは長細いかあるいはどちらもである; int3 -> int4: なんらかの物は言い易くないかもしくは長細いか両方だ; int4 & fact4 -> hypothesis;
その慢性疾患患者は掛け合わない
fact14 -> int5: もしもあのリデザインは私らしくないならば「叩き落とさないかまたは掲げるということはないかあるいは両方である」ということは確かでない; fact16 -> int6: もし「あのリデザインは気恥ずかしくないけど狙い難い」ということは成り立つということはないとすると私らしいということはない; fact17 -> int7: 仮にこの寝不足が専修学校でないなら注意深いしかつそれは角張る;
$facts$ = fact1: この下級機関は掲げない fact2: 「あのリデザインは言い易くないかまたは長細いかまたは両方である」ということは間違いならば「それは掲げる」ということは正しい fact3: あのリデザインは叩き落とす fact4: もし「言い易いということはないかもしくは長細いかまたは両方な」ものがあるとすればあの慢性疾患患者は叩き落とさない fact5: この寝不足は注意深いならば「あのリデザインは気恥ずかしくないが狙い難い」ということは偽だ fact6: 仮になんらかの物は私らしいということはないとすれば「それは叩き落とさないかそれは掲げるということはないかまたはどちらもだ」ということは間違いだ fact7: あのリデザインは掲げない fact8: 仮に「この寝不足は専修学校でその上這い上がる」ということは間違っているとしたらそれは専修学校でない fact9: もしも「なにがしかのものは気恥ずかしいということはないがしかし狙い難い」ということは成り立たないならば私らしくない fact10: もしなにがしかの物は専修学校でないならば注意深くておまけに角張る fact11: もしも「「叩き落とさないか掲げないか両方ともだ」ということは事実と異なる」物があるとするとその慢性疾患患者は掛け合わない fact12: もしあのリデザインが私らしくないとすればそれは叩き落とすし掲げない ; $hypothesis$ = 「その慢性疾患患者は叩き落とす」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのリデザインは言い易いということはないかまたは長細いか両方である」ということは誤りだ; fact2 & assump1 -> int1: 「あのリデザインは掲げる」ということは嘘でない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのリデザインは言い易くないかもしくは長細いかあるいはどちらもである; int3 -> int4: なんらかの物は言い易くないかもしくは長細いか両方だ; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: この下級機関は掲げない
事実2: 「あのリデザインは言い易くないかまたは長細いかまたは両方である」ということは間違いならば「それは掲げる」ということは正しい
事実3: あのリデザインは叩き落とす
事実4: もし「言い易いということはないかもしくは長細いかまたは両方な」ものがあるとすればあの慢性疾患患者は叩き落とさない
事実5: この寝不足は注意深いならば「あのリデザインは気恥ずかしくないが狙い難い」ということは偽だ
事実6: 仮になんらかの物は私らしいということはないとすれば「それは叩き落とさないかそれは掲げるということはないかまたはどちらもだ」ということは間違いだ
事実7: あのリデザインは掲げない
事実8: 仮に「この寝不足は専修学校でその上這い上がる」ということは間違っているとしたらそれは専修学校でない
事実9: もしも「なにがしかのものは気恥ずかしいということはないがしかし狙い難い」ということは成り立たないならば私らしくない
事実10: もしなにがしかの物は専修学校でないならば注意深くておまけに角張る
事実11: もしも「「叩き落とさないか掲げないか両方ともだ」ということは事実と異なる」物があるとするとその慢性疾患患者は掛け合わない
事実12: もしあのリデザインが私らしくないとすればそれは叩き落とすし掲げない

仮説: 「その慢性疾患患者は叩き落とす」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あのリデザインは言い易いということはないかまたは長細いか両方である」ということは誤りだ
2. 事実2と仮定1から、推論1: "「あのリデザインは掲げる」ということは嘘でない"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あのリデザインは言い易くないかもしくは長細いかあるいはどちらもである"が導かれる
5. 推論3から、推論4: "なんらかの物は言い易くないかもしくは長細いか両方だ"が導かれる
6. 推論4と事実4から、仮説が否定される

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