「「懺悔する」物はある」ということは成り立たない
fact1: もしあの国民宿舎が剥げるということはないとしたらあの麺は脳室層だしさらに窓口ネットワーク会社だ fact2: この殷雷が例外無いということはない一方でそれが傷付け易いとしたらあの国民宿舎は剥げない fact3: もしあの麺が脳室層であるとするとその二ＳＯは懺悔する fact4: この殷雷は例外無くない fact5: この殷雷は傷付け易い
fact4 & fact5 -> int1: この殷雷は例外無くないけど傷付け易い; int1 & fact2 -> int2: あの国民宿舎は剥げない; int2 & fact1 -> int3: あの麺は脳室層であるし加えてそれは窓口ネットワーク会社である; int3 -> int4: あの麺は脳室層である; int4 & fact3 -> int5: その二ＳＯは懺悔する; int5 -> hypothesis;
$facts$ = fact1: もしあの国民宿舎が剥げるということはないとしたらあの麺は脳室層だしさらに窓口ネットワーク会社だ fact2: この殷雷が例外無いということはない一方でそれが傷付け易いとしたらあの国民宿舎は剥げない fact3: もしあの麺が脳室層であるとするとその二ＳＯは懺悔する fact4: この殷雷は例外無くない fact5: この殷雷は傷付け易い ; $hypothesis$ = 「「懺悔する」物はある」ということは成り立たない ; $proof$ = 
fact4 & fact5 -> int1: この殷雷は例外無くないけど傷付け易い; int1 & fact2 -> int2: あの国民宿舎は剥げない; int2 & fact1 -> int3: あの麺は脳室層であるし加えてそれは窓口ネットワーク会社である; int3 -> int4: あの麺は脳室層である; int4 & fact3 -> int5: その二ＳＯは懺悔する; int5 -> hypothesis; __DISPROVED__
事実1: もしあの国民宿舎が剥げるということはないとしたらあの麺は脳室層だしさらに窓口ネットワーク会社だ
事実2: この殷雷が例外無いということはない一方でそれが傷付け易いとしたらあの国民宿舎は剥げない
事実3: もしあの麺が脳室層であるとするとその二ＳＯは懺悔する
事実4: この殷雷は例外無くない
事実5: この殷雷は傷付け易い

仮説: 「「懺悔する」物はある」ということは成り立たない
1. 事実4と事実5から、推論1: "この殷雷は例外無くないけど傷付け易い"が導かれる
2. 推論1と事実2から、推論2: "あの国民宿舎は剥げない"が導かれる
3. 推論2と事実1から、推論3: "あの麺は脳室層であるし加えてそれは窓口ネットワーク会社である"が導かれる
4. 推論3から、推論4: "あの麺は脳室層である"が導かれる
5. 推論4と事実3から、推論5: "その二ＳＯは懺悔する"が導かれる
6. 推論5から、仮説が否定される

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