「何らかのものは噎せない」ということは間違いだ
fact1: もしも「あの課税譲渡所得等は泣き疲れるということはない一方で生活し易い」ということは誤っているならばあの罹患率は泣き疲れる fact2: 「あの課税譲渡所得等は移り住むし泣き疲れる」ということは成り立つということはない fact3: この罹患率は移り住む fact4: この罹患率は等しい fact5: あの課税譲渡所得等は噎せる fact6: 「出入りし易い」物はある fact7: もしもその本線上が噎せるし加えて移り住むとするとこの罹患率は泣き疲れない fact8: もしもあの課税譲渡所得等が生活し易くないならこの罹患率は泣き疲れる fact9: あの歪みエネルギー比例減衰は泣き疲れない fact10: あるものは噎せる fact11: 「「あの課税譲渡所得等は泣き疲れないけど生活し易い」ということは事実だ」ということは間違っている fact12: 仮に「なんらかの物は移り住むしそれに出入りし易い」ということは間違いだとしたらそれは飛ばし過ぎない fact13: あの課税譲渡所得等は等しくない fact14: 「出入りし易い」物があるとすればその本線上は移り住む
fact6 & fact14 -> int1: その本線上は移り住む; void -> assump1: 以下のように仮定する。その本線上は噎せる; int1 & assump1 -> int2: その本線上は噎せるしそれに移り住む; int2 & fact7 -> int3: この罹患率は泣き疲れない; fact11 & fact1 -> int4: この罹患率は泣き疲れる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その本線上は噎せない; int6 -> hypothesis;
この罹患率は飛ばし過ぎるということはない
fact15 -> int7: もしも「この罹患率は移り住むしかつ出入りし易い」ということは嘘であるとすれば「飛ばし過ぎない」ということは真実だ;
$facts$ = fact1: もしも「あの課税譲渡所得等は泣き疲れるということはない一方で生活し易い」ということは誤っているならばあの罹患率は泣き疲れる fact2: 「あの課税譲渡所得等は移り住むし泣き疲れる」ということは成り立つということはない fact3: この罹患率は移り住む fact4: この罹患率は等しい fact5: あの課税譲渡所得等は噎せる fact6: 「出入りし易い」物はある fact7: もしもその本線上が噎せるし加えて移り住むとするとこの罹患率は泣き疲れない fact8: もしもあの課税譲渡所得等が生活し易くないならこの罹患率は泣き疲れる fact9: あの歪みエネルギー比例減衰は泣き疲れない fact10: あるものは噎せる fact11: 「「あの課税譲渡所得等は泣き疲れないけど生活し易い」ということは事実だ」ということは間違っている fact12: 仮に「なんらかの物は移り住むしそれに出入りし易い」ということは間違いだとしたらそれは飛ばし過ぎない fact13: あの課税譲渡所得等は等しくない fact14: 「出入りし易い」物があるとすればその本線上は移り住む ; $hypothesis$ = 「何らかのものは噎せない」ということは間違いだ ; $proof$ = 
fact6 & fact14 -> int1: その本線上は移り住む; void -> assump1: 以下のように仮定する。その本線上は噎せる; int1 & assump1 -> int2: その本線上は噎せるしそれに移り住む; int2 & fact7 -> int3: この罹患率は泣き疲れない; fact11 & fact1 -> int4: この罹患率は泣き疲れる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その本線上は噎せない; int6 -> hypothesis; __DISPROVED__
事実1: もしも「あの課税譲渡所得等は泣き疲れるということはない一方で生活し易い」ということは誤っているならばあの罹患率は泣き疲れる
事実2: 「あの課税譲渡所得等は移り住むし泣き疲れる」ということは成り立つということはない
事実3: この罹患率は移り住む
事実4: この罹患率は等しい
事実5: あの課税譲渡所得等は噎せる
事実6: 「出入りし易い」物はある
事実7: もしもその本線上が噎せるし加えて移り住むとするとこの罹患率は泣き疲れない
事実8: もしもあの課税譲渡所得等が生活し易くないならこの罹患率は泣き疲れる
事実9: あの歪みエネルギー比例減衰は泣き疲れない
事実10: あるものは噎せる
事実11: 「「あの課税譲渡所得等は泣き疲れないけど生活し易い」ということは事実だ」ということは間違っている
事実12: 仮に「なんらかの物は移り住むしそれに出入りし易い」ということは間違いだとしたらそれは飛ばし過ぎない
事実13: あの課税譲渡所得等は等しくない
事実14: 「出入りし易い」物があるとすればその本線上は移り住む

仮説: 「何らかのものは噎せない」ということは間違いだ
1. 事実6と事実14から、推論1: "その本線上は移り住む"が導かれる
2. 仮定1: 以下のように仮定する。その本線上は噎せる
3. 推論1と仮定1から、推論2: "その本線上は噎せるしそれに移り住む"が導かれる
4. 推論2と事実7から、推論3: "この罹患率は泣き疲れない"が導かれる
5. 事実11と事実1から、推論4: "この罹患率は泣き疲れる"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その本線上は噎せない"が導かれる
8. 推論6から、仮説が否定される

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