その多神は生き辛いということはない
fact1: この森々君は白夜であるということはない fact2: 仮にその守口様が法人税等だとしたらこの沈みは白夜である fact3: もしあるものが刻印しないとしたらそれは白夜だ fact4: この相手先は白夜だということはない fact5: 仮にあの自衛行動が忘れ易いとすればあのロールオーバーステートは法人税等である fact6: もし仮にあのロールオーバーステートが法人税等だとすればその守口様は法人税等だ fact7: その多神は警戒だ fact8: 仮にこの沈みが法人税等でないとするとその多神は刻印するしまた白夜だ fact9: その御伽は刻印しない fact10: 「あの足部は白夜である」ということは真実だ fact11: あの天台宗は生き辛くない fact12: もし仮に「この沈みは刻印する」ということは真実であるとするとその多神は刻印する fact13: 「生き辛くない物は白夜だ」ということは正しい fact14: もし仮にとある物は白夜であるということはないとすれば「生き辛い」ということは真実だ fact15: この相手先は伸ばし易くない fact16: その多神は白夜である fact17: もし仮にこの相手先が刻印するとすればあの多神は生き辛い fact18: 生き辛くないものは共同処理する
fact3 -> int1: 仮にこの相手先が刻印しないならば白夜だ; void -> assump1: 以下のように仮定する。この相手先は刻印しない; int1 & assump1 -> int2: この相手先は白夜だ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この相手先は刻印する; int4 & fact17 -> hypothesis;
その多神は生き辛くない
$facts$ = fact1: この森々君は白夜であるということはない fact2: 仮にその守口様が法人税等だとしたらこの沈みは白夜である fact3: もしあるものが刻印しないとしたらそれは白夜だ fact4: この相手先は白夜だということはない fact5: 仮にあの自衛行動が忘れ易いとすればあのロールオーバーステートは法人税等である fact6: もし仮にあのロールオーバーステートが法人税等だとすればその守口様は法人税等だ fact7: その多神は警戒だ fact8: 仮にこの沈みが法人税等でないとするとその多神は刻印するしまた白夜だ fact9: その御伽は刻印しない fact10: 「あの足部は白夜である」ということは真実だ fact11: あの天台宗は生き辛くない fact12: もし仮に「この沈みは刻印する」ということは真実であるとするとその多神は刻印する fact13: 「生き辛くない物は白夜だ」ということは正しい fact14: もし仮にとある物は白夜であるということはないとすれば「生き辛い」ということは真実だ fact15: この相手先は伸ばし易くない fact16: その多神は白夜である fact17: もし仮にこの相手先が刻印するとすればあの多神は生き辛い fact18: 生き辛くないものは共同処理する ; $hypothesis$ = その多神は生き辛いということはない ; $proof$ = 
fact3 -> int1: 仮にこの相手先が刻印しないならば白夜だ; void -> assump1: 以下のように仮定する。この相手先は刻印しない; int1 & assump1 -> int2: この相手先は白夜だ; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この相手先は刻印する; int4 & fact17 -> hypothesis; __DISPROVED__
事実1: この森々君は白夜であるということはない
事実2: 仮にその守口様が法人税等だとしたらこの沈みは白夜である
事実3: もしあるものが刻印しないとしたらそれは白夜だ
事実4: この相手先は白夜だということはない
事実5: 仮にあの自衛行動が忘れ易いとすればあのロールオーバーステートは法人税等である
事実6: もし仮にあのロールオーバーステートが法人税等だとすればその守口様は法人税等だ
事実7: その多神は警戒だ
事実8: 仮にこの沈みが法人税等でないとするとその多神は刻印するしまた白夜だ
事実9: その御伽は刻印しない
事実10: 「あの足部は白夜である」ということは真実だ
事実11: あの天台宗は生き辛くない
事実12: もし仮に「この沈みは刻印する」ということは真実であるとするとその多神は刻印する
事実13: 「生き辛くない物は白夜だ」ということは正しい
事実14: もし仮にとある物は白夜であるということはないとすれば「生き辛い」ということは真実だ
事実15: この相手先は伸ばし易くない
事実16: その多神は白夜である
事実17: もし仮にこの相手先が刻印するとすればあの多神は生き辛い
事実18: 生き辛くないものは共同処理する

仮説: その多神は生き辛いということはない
1. 事実3から、推論1: "仮にこの相手先が刻印しないならば白夜だ"が導かれる
2. 仮定1: 以下のように仮定する。この相手先は刻印しない
3. 推論1と仮定1から、推論2: "この相手先は白夜だ"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この相手先は刻印する"が導かれる
6. 推論4と事実17から、仮説が否定される

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