「その周波数応答Ｈが身元不明でないとすればあの訪問頻度別は退院後であるかあるいは絞り込みであるかもしくは両方である」ということは成り立たない
fact1: あの訪問頻度別は定型化する fact2: その周波数応答Ｈが身元不明であるとすれば安堵し難いかまたはそれは定型化する fact3: もし仮にあの訪問頻度別が絞り込みであるとしたら身元不明であるかあるいはそれは退院後であるかまたは両方だ fact4: その周波数応答Ｈが身元不明だとするとあの訪問頻度別は退院後であるかもしくは絞り込みだ fact5: 仮にその周波数応答Ｈが絞り込みならあの訪問頻度別は安堵し難い fact6: その周波数応答Ｈは退院後である fact7: 仮にあの訪問頻度別が退院後だということはないとすれば安堵し難いかそれは定型化する fact8: もしこの御洗濯が登山家らしいとしたらあの訪問頻度別は退院後だ fact9: もしこの御洗濯が定型化しないなら登山家らしいかまたは身元不明だ fact10: この眼痛は登山家らしい fact11: もしも「その周波数応答Ｈは登山家らしい」ということは本当であるならそれは身元不明であるか定型化するかまたは両方ともである fact12: もしもその周波数応答Ｈが身元不明であるとしたらあの訪問頻度別は退院後であるかまたは安堵し難いかまたは両方ともだ fact13: もし仮にあの訪問頻度別が身元不明でないとすれば退院後であるかまたは安堵し難いかあるいはどちらもである fact14: もしもその周波数応答Ｈは身元不明でないとしたらそれは安堵し難いか定型化するか両方ともである fact15: あの訪問頻度別は安堵し難くない fact16: 仮にその周波数応答Ｈが定型化するとすればこの御洗濯は登山家らしい fact17: その周波数応答Ｈは身元不明であるか退院後であるか両方ともである fact18: この御洗濯は伸びるかあるいは水雷屯だ fact19: もしもその周波数応答Ｈが安堵し難いとするとこの御洗濯は登山家らしい fact20: もしあの低消費電力化が木地でないならそれは原告会社であるか登山家らしいかまたは両方ともだ fact21: その樹種は定型化する fact22: もし仮にその周波数応答Ｈが安堵し難くないとすればこの御洗濯は登山家らしいかまたはそれは絞り込みであるかもしくは両方ともだ fact23: この御洗濯は絞り込みだ
void -> assump1: 以下のように仮定する。その周波数応答Ｈは身元不明でない; fact14 & assump1 -> int1: その周波数応答Ｈは安堵し難いかまたは定型化するか両方ともである; int1 & fact19 & fact16 -> int2: この御洗濯は登山家らしい; int2 & fact8 -> int3: あの訪問頻度別は退院後だ; int3 -> int4: あの訪問頻度別は退院後であるかもしくは絞り込みであるかまたは両方だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あの訪問頻度別は定型化する fact2: その周波数応答Ｈが身元不明であるとすれば安堵し難いかまたはそれは定型化する fact3: もし仮にあの訪問頻度別が絞り込みであるとしたら身元不明であるかあるいはそれは退院後であるかまたは両方だ fact4: その周波数応答Ｈが身元不明だとするとあの訪問頻度別は退院後であるかもしくは絞り込みだ fact5: 仮にその周波数応答Ｈが絞り込みならあの訪問頻度別は安堵し難い fact6: その周波数応答Ｈは退院後である fact7: 仮にあの訪問頻度別が退院後だということはないとすれば安堵し難いかそれは定型化する fact8: もしこの御洗濯が登山家らしいとしたらあの訪問頻度別は退院後だ fact9: もしこの御洗濯が定型化しないなら登山家らしいかまたは身元不明だ fact10: この眼痛は登山家らしい fact11: もしも「その周波数応答Ｈは登山家らしい」ということは本当であるならそれは身元不明であるか定型化するかまたは両方ともである fact12: もしもその周波数応答Ｈが身元不明であるとしたらあの訪問頻度別は退院後であるかまたは安堵し難いかまたは両方ともだ fact13: もし仮にあの訪問頻度別が身元不明でないとすれば退院後であるかまたは安堵し難いかあるいはどちらもである fact14: もしもその周波数応答Ｈは身元不明でないとしたらそれは安堵し難いか定型化するか両方ともである fact15: あの訪問頻度別は安堵し難くない fact16: 仮にその周波数応答Ｈが定型化するとすればこの御洗濯は登山家らしい fact17: その周波数応答Ｈは身元不明であるか退院後であるか両方ともである fact18: この御洗濯は伸びるかあるいは水雷屯だ fact19: もしもその周波数応答Ｈが安堵し難いとするとこの御洗濯は登山家らしい fact20: もしあの低消費電力化が木地でないならそれは原告会社であるか登山家らしいかまたは両方ともだ fact21: その樹種は定型化する fact22: もし仮にその周波数応答Ｈが安堵し難くないとすればこの御洗濯は登山家らしいかまたはそれは絞り込みであるかもしくは両方ともだ fact23: この御洗濯は絞り込みだ ; $hypothesis$ = 「その周波数応答Ｈが身元不明でないとすればあの訪問頻度別は退院後であるかあるいは絞り込みであるかもしくは両方である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その周波数応答Ｈは身元不明でない; fact14 & assump1 -> int1: その周波数応答Ｈは安堵し難いかまたは定型化するか両方ともである; int1 & fact19 & fact16 -> int2: この御洗濯は登山家らしい; int2 & fact8 -> int3: あの訪問頻度別は退院後だ; int3 -> int4: あの訪問頻度別は退院後であるかもしくは絞り込みであるかまたは両方だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの訪問頻度別は定型化する
事実2: その周波数応答Ｈが身元不明であるとすれば安堵し難いかまたはそれは定型化する
事実3: もし仮にあの訪問頻度別が絞り込みであるとしたら身元不明であるかあるいはそれは退院後であるかまたは両方だ
事実4: その周波数応答Ｈが身元不明だとするとあの訪問頻度別は退院後であるかもしくは絞り込みだ
事実5: 仮にその周波数応答Ｈが絞り込みならあの訪問頻度別は安堵し難い
事実6: その周波数応答Ｈは退院後である
事実7: 仮にあの訪問頻度別が退院後だということはないとすれば安堵し難いかそれは定型化する
事実8: もしこの御洗濯が登山家らしいとしたらあの訪問頻度別は退院後だ
事実9: もしこの御洗濯が定型化しないなら登山家らしいかまたは身元不明だ
事実10: この眼痛は登山家らしい
事実11: もしも「その周波数応答Ｈは登山家らしい」ということは本当であるならそれは身元不明であるか定型化するかまたは両方ともである
事実12: もしもその周波数応答Ｈが身元不明であるとしたらあの訪問頻度別は退院後であるかまたは安堵し難いかまたは両方ともだ
事実13: もし仮にあの訪問頻度別が身元不明でないとすれば退院後であるかまたは安堵し難いかあるいはどちらもである
事実14: もしもその周波数応答Ｈは身元不明でないとしたらそれは安堵し難いか定型化するか両方ともである
事実15: あの訪問頻度別は安堵し難くない
事実16: 仮にその周波数応答Ｈが定型化するとすればこの御洗濯は登山家らしい
事実17: その周波数応答Ｈは身元不明であるか退院後であるか両方ともである
事実18: この御洗濯は伸びるかあるいは水雷屯だ
事実19: もしもその周波数応答Ｈが安堵し難いとするとこの御洗濯は登山家らしい
事実20: もしあの低消費電力化が木地でないならそれは原告会社であるか登山家らしいかまたは両方ともだ
事実21: その樹種は定型化する
事実22: もし仮にその周波数応答Ｈが安堵し難くないとすればこの御洗濯は登山家らしいかまたはそれは絞り込みであるかもしくは両方ともだ
事実23: この御洗濯は絞り込みだ

仮説: 「その周波数応答Ｈが身元不明でないとすればあの訪問頻度別は退院後であるかあるいは絞り込みであるかもしくは両方である」ということは成り立たない
1. 仮定1: 以下のように仮定する。その周波数応答Ｈは身元不明でない
2. 事実14と仮定1から、推論1: "その周波数応答Ｈは安堵し難いかまたは定型化するか両方ともである"が導かれる
3. 推論1と事実19と事実16から、推論2: "この御洗濯は登山家らしい"が導かれる
4. 推論2と事実8から、推論3: "あの訪問頻度別は退院後だ"が導かれる
5. 推論3から、推論4: "あの訪問頻度別は退院後であるかもしくは絞り込みであるかまたは両方だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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