あの暗号化は煮熟しない
fact1: もし「この老齢給付金は煮熟する」ということは確かであるとしたらあの暗号化はふてぶてしい fact2: 「この老齢給付金は崖崩れ現場である」ということは本当だ fact3: もし「なにがしかのものはふてぶてしくないし更にそれは煮熟しない」ということは間違っていればふてぶてしい fact4: 仮に何かは取れ易いとしたら「ふてぶてしくなくて煮熟しない」ということは嘘だ fact5: そのパソコン等は煮熟しない fact6: その精神的苦痛は煮熟する fact7: もしもこの老齢給付金がふてぶてしくないならばその精神的苦痛は取れ易い fact8: それは難くないしかつ住み替えるというものはない fact9: この取穴は煮熟しない fact10: 難い物は取れ易い fact11: この老齢給付金はふてぶてしくない fact12: この不安はふてぶてしい fact13: もしこの老齢給付金が取れ易いとしたらあの暗号化は煮熟しなくてふてぶてしくない fact14: その精神的苦痛は国守でない fact15: 「その精神的苦痛は着せがましい」ということは真実である fact16: もしもその精神的苦痛は取れ易いなら「あの暗号化は煮熟する」ということは真実である
fact7 & fact11 -> int1: その精神的苦痛は取れ易い; int1 & fact16 -> hypothesis;
あの暗号化は煮熟しない
fact17 -> int2: 「その精神的苦痛は難くないが住み替える」ということは誤っている; int2 -> int3: 「「難くないし住み替える」ということは成り立つということはない」物はある;
$facts$ = fact1: もし「この老齢給付金は煮熟する」ということは確かであるとしたらあの暗号化はふてぶてしい fact2: 「この老齢給付金は崖崩れ現場である」ということは本当だ fact3: もし「なにがしかのものはふてぶてしくないし更にそれは煮熟しない」ということは間違っていればふてぶてしい fact4: 仮に何かは取れ易いとしたら「ふてぶてしくなくて煮熟しない」ということは嘘だ fact5: そのパソコン等は煮熟しない fact6: その精神的苦痛は煮熟する fact7: もしもこの老齢給付金がふてぶてしくないならばその精神的苦痛は取れ易い fact8: それは難くないしかつ住み替えるというものはない fact9: この取穴は煮熟しない fact10: 難い物は取れ易い fact11: この老齢給付金はふてぶてしくない fact12: この不安はふてぶてしい fact13: もしこの老齢給付金が取れ易いとしたらあの暗号化は煮熟しなくてふてぶてしくない fact14: その精神的苦痛は国守でない fact15: 「その精神的苦痛は着せがましい」ということは真実である fact16: もしもその精神的苦痛は取れ易いなら「あの暗号化は煮熟する」ということは真実である ; $hypothesis$ = あの暗号化は煮熟しない ; $proof$ = 
fact7 & fact11 -> int1: その精神的苦痛は取れ易い; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: もし「この老齢給付金は煮熟する」ということは確かであるとしたらあの暗号化はふてぶてしい
事実2: 「この老齢給付金は崖崩れ現場である」ということは本当だ
事実3: もし「なにがしかのものはふてぶてしくないし更にそれは煮熟しない」ということは間違っていればふてぶてしい
事実4: 仮に何かは取れ易いとしたら「ふてぶてしくなくて煮熟しない」ということは嘘だ
事実5: そのパソコン等は煮熟しない
事実6: その精神的苦痛は煮熟する
事実7: もしもこの老齢給付金がふてぶてしくないならばその精神的苦痛は取れ易い
事実8: それは難くないしかつ住み替えるというものはない
事実9: この取穴は煮熟しない
事実10: 難い物は取れ易い
事実11: この老齢給付金はふてぶてしくない
事実12: この不安はふてぶてしい
事実13: もしこの老齢給付金が取れ易いとしたらあの暗号化は煮熟しなくてふてぶてしくない
事実14: その精神的苦痛は国守でない
事実15: 「その精神的苦痛は着せがましい」ということは真実である
事実16: もしもその精神的苦痛は取れ易いなら「あの暗号化は煮熟する」ということは真実である

仮説: あの暗号化は煮熟しない
1. 事実7と事実11から、推論1: "その精神的苦痛は取れ易い"が導かれる
2. 推論1と事実16から、仮説が否定される

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