「もしも「この御容赦は静か過ぎる」ということは成り立てば「「あの障害厚生年金はだだっ広くないが罷免する」ということは間違いだ」ということは成り立つ」ということは誤りだ
fact1: もし仮にあの障害厚生年金が静か過ぎるならそれはだだっ広い fact2: もしもあの障害厚生年金は静か過ぎるとすれば「「この御容赦は受け入れ易くないけれどそれはだだっ広い」ということは成り立つ」ということは成り立たない fact3: もしこの御容赦が静か過ぎるとしたらあの障害厚生年金はだだっ広いということはないが罷免する fact4: 「このガレージ前は貧しくないがそれは罷免する」ということは誤っている fact5: もし仮に「「受け入れ易い」ということは正しい」ものがあるとするとあの障害厚生年金はだだっ広くない一方で罷免する fact6: 「受け入れ易い」物はあるとすれば「あの障害厚生年金はだだっ広くないけど罷免する」ということは正しくない fact7: 「この御容赦は静か過ぎない一方で罷免する」ということは成り立たない fact8: もし仮にこの御容赦は静か過ぎるなら「あの障害厚生年金はだだっ広くておまけに罷免する」ということは成り立たない fact9: 「この御容赦は受け入れ易くないけど罷免する」ということは間違いである fact10: もし仮に「受け入れ易い」ものはあるとすれば「あの障害厚生年金はだだっ広いししかもそれは罷免する」ということは成り立たない fact11: 仮にこの御容赦が静か過ぎるとしたらそれは受け入れ易い fact12: あの障害厚生年金はだだっ広くないけど罷免する fact13: もしも「静か過ぎる」物はあるなら「この御容赦は受け入れ易くないがしかしだだっ広い」ということは間違いである fact14: 「あの障害厚生年金はだだっ広くて罷免する」ということは正しくない fact15: あの障害厚生年金は崩ずる fact16: もし仮に「罷免する」物はあるとすると「あの障害厚生年金は受け入れ易くないがしかし静か過ぎる」ということは間違いである
void -> assump1: 以下のように仮定する。この御容赦は静か過ぎる; fact11 & assump1 -> int1: この御容赦は受け入れ易い; int1 -> int2: 「受け入れ易い」ものはある; int2 & fact6 -> int3: 「あの障害厚生年金はだだっ広いということはないがしかし罷免する」ということは本当であるということはない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にあの障害厚生年金が静か過ぎるならそれはだだっ広い fact2: もしもあの障害厚生年金は静か過ぎるとすれば「「この御容赦は受け入れ易くないけれどそれはだだっ広い」ということは成り立つ」ということは成り立たない fact3: もしこの御容赦が静か過ぎるとしたらあの障害厚生年金はだだっ広いということはないが罷免する fact4: 「このガレージ前は貧しくないがそれは罷免する」ということは誤っている fact5: もし仮に「「受け入れ易い」ということは正しい」ものがあるとするとあの障害厚生年金はだだっ広くない一方で罷免する fact6: 「受け入れ易い」物はあるとすれば「あの障害厚生年金はだだっ広くないけど罷免する」ということは正しくない fact7: 「この御容赦は静か過ぎない一方で罷免する」ということは成り立たない fact8: もし仮にこの御容赦は静か過ぎるなら「あの障害厚生年金はだだっ広くておまけに罷免する」ということは成り立たない fact9: 「この御容赦は受け入れ易くないけど罷免する」ということは間違いである fact10: もし仮に「受け入れ易い」ものはあるとすれば「あの障害厚生年金はだだっ広いししかもそれは罷免する」ということは成り立たない fact11: 仮にこの御容赦が静か過ぎるとしたらそれは受け入れ易い fact12: あの障害厚生年金はだだっ広くないけど罷免する fact13: もしも「静か過ぎる」物はあるなら「この御容赦は受け入れ易くないがしかしだだっ広い」ということは間違いである fact14: 「あの障害厚生年金はだだっ広くて罷免する」ということは正しくない fact15: あの障害厚生年金は崩ずる fact16: もし仮に「罷免する」物はあるとすると「あの障害厚生年金は受け入れ易くないがしかし静か過ぎる」ということは間違いである ; $hypothesis$ = 「もしも「この御容赦は静か過ぎる」ということは成り立てば「「あの障害厚生年金はだだっ広くないが罷免する」ということは間違いだ」ということは成り立つ」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この御容赦は静か過ぎる; fact11 & assump1 -> int1: この御容赦は受け入れ易い; int1 -> int2: 「受け入れ易い」ものはある; int2 & fact6 -> int3: 「あの障害厚生年金はだだっ広いということはないがしかし罷免する」ということは本当であるということはない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの障害厚生年金が静か過ぎるならそれはだだっ広い
事実2: もしもあの障害厚生年金は静か過ぎるとすれば「「この御容赦は受け入れ易くないけれどそれはだだっ広い」ということは成り立つ」ということは成り立たない
事実3: もしこの御容赦が静か過ぎるとしたらあの障害厚生年金はだだっ広いということはないが罷免する
事実4: 「このガレージ前は貧しくないがそれは罷免する」ということは誤っている
事実5: もし仮に「「受け入れ易い」ということは正しい」ものがあるとするとあの障害厚生年金はだだっ広くない一方で罷免する
事実6: 「受け入れ易い」物はあるとすれば「あの障害厚生年金はだだっ広くないけど罷免する」ということは正しくない
事実7: 「この御容赦は静か過ぎない一方で罷免する」ということは成り立たない
事実8: もし仮にこの御容赦は静か過ぎるなら「あの障害厚生年金はだだっ広くておまけに罷免する」ということは成り立たない
事実9: 「この御容赦は受け入れ易くないけど罷免する」ということは間違いである
事実10: もし仮に「受け入れ易い」ものはあるとすれば「あの障害厚生年金はだだっ広いししかもそれは罷免する」ということは成り立たない
事実11: 仮にこの御容赦が静か過ぎるとしたらそれは受け入れ易い
事実12: あの障害厚生年金はだだっ広くないけど罷免する
事実13: もしも「静か過ぎる」物はあるなら「この御容赦は受け入れ易くないがしかしだだっ広い」ということは間違いである
事実14: 「あの障害厚生年金はだだっ広くて罷免する」ということは正しくない
事実15: あの障害厚生年金は崩ずる
事実16: もし仮に「罷免する」物はあるとすると「あの障害厚生年金は受け入れ易くないがしかし静か過ぎる」ということは間違いである

仮説: 「もしも「この御容赦は静か過ぎる」ということは成り立てば「「あの障害厚生年金はだだっ広くないが罷免する」ということは間違いだ」ということは成り立つ」ということは誤りだ
1. 仮定1: 以下のように仮定する。この御容赦は静か過ぎる
2. 事実11と仮定1から、推論1: "この御容赦は受け入れ易い"が導かれる
3. 推論1から、推論2: "「受け入れ易い」ものはある"が導かれる
4. 推論2と事実6から、推論3: "「あの障害厚生年金はだだっ広いということはないがしかし罷免する」ということは本当であるということはない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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