そのネイルバーは受け辛い
fact1: その今さっきがロレアルパリでないがそれが入眠するとしたら甲側でない fact2: もし仮にとある物が専用するとしたらそれは甲側である fact3: もしもその今さっきが専用するということはないしその上ロレアルパリでないとするとそれは予言出来ない fact4: その今さっきは入眠しないしかつそれは受け辛くない fact5: その身包みは予言出来る fact6: そのネイルバーが受け辛いならばその今さっきは専用する fact7: もし仮にそのネイルバーが甲側であるならばその今さっきは受け辛い fact8: 仮にその身包みは予言出来るとすれば「その今さっきは入眠しない」ということは正しい fact9: もし仮に「その身包みは予言出来る」ということは正しいとすればその今さっきはロレアルパリでなくてそれは入眠しない fact10: そのネイルバーは甲側でない fact11: この爆発は予言出来ない fact12: その今さっきは予言出来るということはなくて更にそれは入眠するということはない fact13: もしもなにがしかの物がロレアルパリでなくてそれが入眠しないとすると甲側でない fact14: あのＥＴＨは予言出来る
void -> assump1: 以下のように仮定する。そのネイルバーは受け辛い; fact6 & assump1 -> int1: その今さっきは専用する; fact2 -> int2: その今さっきが専用するとしたらそれは甲側である; int1 & int2 -> int3: その今さっきは甲側である; fact9 & fact5 -> int4: その今さっきはロレアルパリでなくてまた入眠しない; fact13 -> int5: その今さっきはロレアルパリでないし入眠するということはないとしたら甲側でない; int4 & int5 -> int6: その今さっきは甲側だということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
$facts$ = fact1: その今さっきがロレアルパリでないがそれが入眠するとしたら甲側でない fact2: もし仮にとある物が専用するとしたらそれは甲側である fact3: もしもその今さっきが専用するということはないしその上ロレアルパリでないとするとそれは予言出来ない fact4: その今さっきは入眠しないしかつそれは受け辛くない fact5: その身包みは予言出来る fact6: そのネイルバーが受け辛いならばその今さっきは専用する fact7: もし仮にそのネイルバーが甲側であるならばその今さっきは受け辛い fact8: 仮にその身包みは予言出来るとすれば「その今さっきは入眠しない」ということは正しい fact9: もし仮に「その身包みは予言出来る」ということは正しいとすればその今さっきはロレアルパリでなくてそれは入眠しない fact10: そのネイルバーは甲側でない fact11: この爆発は予言出来ない fact12: その今さっきは予言出来るということはなくて更にそれは入眠するということはない fact13: もしもなにがしかの物がロレアルパリでなくてそれが入眠しないとすると甲側でない fact14: あのＥＴＨは予言出来る ; $hypothesis$ = そのネイルバーは受け辛い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのネイルバーは受け辛い; fact6 & assump1 -> int1: その今さっきは専用する; fact2 -> int2: その今さっきが専用するとしたらそれは甲側である; int1 & int2 -> int3: その今さっきは甲側である; fact9 & fact5 -> int4: その今さっきはロレアルパリでなくてまた入眠しない; fact13 -> int5: その今さっきはロレアルパリでないし入眠するということはないとしたら甲側でない; int4 & int5 -> int6: その今さっきは甲側だということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: その今さっきがロレアルパリでないがそれが入眠するとしたら甲側でない
事実2: もし仮にとある物が専用するとしたらそれは甲側である
事実3: もしもその今さっきが専用するということはないしその上ロレアルパリでないとするとそれは予言出来ない
事実4: その今さっきは入眠しないしかつそれは受け辛くない
事実5: その身包みは予言出来る
事実6: そのネイルバーが受け辛いならばその今さっきは専用する
事実7: もし仮にそのネイルバーが甲側であるならばその今さっきは受け辛い
事実8: 仮にその身包みは予言出来るとすれば「その今さっきは入眠しない」ということは正しい
事実9: もし仮に「その身包みは予言出来る」ということは正しいとすればその今さっきはロレアルパリでなくてそれは入眠しない
事実10: そのネイルバーは甲側でない
事実11: この爆発は予言出来ない
事実12: その今さっきは予言出来るということはなくて更にそれは入眠するということはない
事実13: もしもなにがしかの物がロレアルパリでなくてそれが入眠しないとすると甲側でない
事実14: あのＥＴＨは予言出来る

仮説: そのネイルバーは受け辛い
1. 仮定1: 以下のように仮定する。そのネイルバーは受け辛い
2. 事実6と仮定1から、推論1: "その今さっきは専用する"が導かれる
3. 事実2から、推論2: "その今さっきが専用するとしたらそれは甲側である"が導かれる
4. 推論1と推論2から、推論3: "その今さっきは甲側である"が導かれる
5. 事実9と事実5から、推論4: "その今さっきはロレアルパリでなくてまた入眠しない"が導かれる
6. 事実13から、推論5: "その今さっきはロレアルパリでないし入眠するということはないとしたら甲側でない"が導かれる
7. 推論4と推論5から、推論6: "その今さっきは甲側だということはない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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