そのエネルギー損失は直談判するしかつ原首相である
fact1: 「その不要不急は群臣会議でない」ということは間違いでない fact2: もし仮にその殉葬が目的無ししその上直談判するとすればその植民地化は建て替えない fact3: もし何らかの物が電圧降下でないか製鉄原料だということはないとしたらそれは群臣会議だ fact4: 「「「あの御守は目的無しし差し替える」ということは成り立つ」ということは嘘だ」ということは成り立つ fact5: その植民地化は製鉄原料でない fact6: その植民地化は電圧降下でないとすると群臣会議だ fact7: その殉葬は見舞いである fact8: 群臣会議は建て替える fact9: 仮に「何かは直談判しないが群臣会議である」ということは誤りであるとしたらそれは直談判する fact10: 「そのエネルギー損失は直談判しないが群臣会議である」ということは間違っている fact11: もしその殉葬は直談判しないとしたら「そのエネルギー損失は直談判するしさらに原首相だ」ということは成り立たない fact12: その殉葬は見舞いであるしかつ目的無し fact13: その植民地化はごつい
fact12 -> int1: その殉葬は目的無し; void -> assump1: 以下のように仮定する。その殉葬は直談判する; int1 & assump1 -> int2: その殉葬は目的無ししそれに直談判する; int2 & fact2 -> int3: その植民地化は建て替えない; fact3 -> int4: 「その植民地化は電圧降下でないかあるいは製鉄原料であるということはないか両方ともである」ということは成り立つとすると群臣会議だ; fact5 -> int5: その植民地化は電圧降下でないかもしくはそれは製鉄原料であるということはないか両方である; int4 & int5 -> int6: その植民地化は群臣会議である; fact8 -> int7: 「その植民地化は群臣会議でない」ということは誤りであるとしたら建て替える; int6 & int7 -> int8: その植民地化は建て替える; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その殉葬は直談判しない; int10 & fact11 -> hypothesis;
そのエネルギー損失は直談判するしそれに原首相である
fact14 -> int11: もし仮に「そのエネルギー損失は直談判しないが群臣会議である」ということは確かでないとするとそれは直談判する; int11 & fact15 -> int12: そのエネルギー損失は直談判する;
$facts$ = fact1: 「その不要不急は群臣会議でない」ということは間違いでない fact2: もし仮にその殉葬が目的無ししその上直談判するとすればその植民地化は建て替えない fact3: もし何らかの物が電圧降下でないか製鉄原料だということはないとしたらそれは群臣会議だ fact4: 「「「あの御守は目的無しし差し替える」ということは成り立つ」ということは嘘だ」ということは成り立つ fact5: その植民地化は製鉄原料でない fact6: その植民地化は電圧降下でないとすると群臣会議だ fact7: その殉葬は見舞いである fact8: 群臣会議は建て替える fact9: 仮に「何かは直談判しないが群臣会議である」ということは誤りであるとしたらそれは直談判する fact10: 「そのエネルギー損失は直談判しないが群臣会議である」ということは間違っている fact11: もしその殉葬は直談判しないとしたら「そのエネルギー損失は直談判するしさらに原首相だ」ということは成り立たない fact12: その殉葬は見舞いであるしかつ目的無し fact13: その植民地化はごつい ; $hypothesis$ = そのエネルギー損失は直談判するしかつ原首相である ; $proof$ = 
fact12 -> int1: その殉葬は目的無し; void -> assump1: 以下のように仮定する。その殉葬は直談判する; int1 & assump1 -> int2: その殉葬は目的無ししそれに直談判する; int2 & fact2 -> int3: その植民地化は建て替えない; fact3 -> int4: 「その植民地化は電圧降下でないかあるいは製鉄原料であるということはないか両方ともである」ということは成り立つとすると群臣会議だ; fact5 -> int5: その植民地化は電圧降下でないかもしくはそれは製鉄原料であるということはないか両方である; int4 & int5 -> int6: その植民地化は群臣会議である; fact8 -> int7: 「その植民地化は群臣会議でない」ということは誤りであるとしたら建て替える; int6 & int7 -> int8: その植民地化は建て替える; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その殉葬は直談判しない; int10 & fact11 -> hypothesis; __DISPROVED__
事実1: 「その不要不急は群臣会議でない」ということは間違いでない
事実2: もし仮にその殉葬が目的無ししその上直談判するとすればその植民地化は建て替えない
事実3: もし何らかの物が電圧降下でないか製鉄原料だということはないとしたらそれは群臣会議だ
事実4: 「「「あの御守は目的無しし差し替える」ということは成り立つ」ということは嘘だ」ということは成り立つ
事実5: その植民地化は製鉄原料でない
事実6: その植民地化は電圧降下でないとすると群臣会議だ
事実7: その殉葬は見舞いである
事実8: 群臣会議は建て替える
事実9: 仮に「何かは直談判しないが群臣会議である」ということは誤りであるとしたらそれは直談判する
事実10: 「そのエネルギー損失は直談判しないが群臣会議である」ということは間違っている
事実11: もしその殉葬は直談判しないとしたら「そのエネルギー損失は直談判するしさらに原首相だ」ということは成り立たない
事実12: その殉葬は見舞いであるしかつ目的無し
事実13: その植民地化はごつい

仮説: そのエネルギー損失は直談判するしかつ原首相である
1. 事実12から、推論1: "その殉葬は目的無し"が導かれる
2. 仮定1: 以下のように仮定する。その殉葬は直談判する
3. 推論1と仮定1から、推論2: "その殉葬は目的無ししそれに直談判する"が導かれる
4. 推論2と事実2から、推論3: "その植民地化は建て替えない"が導かれる
5. 事実3から、推論4: "「その植民地化は電圧降下でないかあるいは製鉄原料であるということはないか両方ともである」ということは成り立つとすると群臣会議だ"が導かれる
6. 事実5から、推論5: "その植民地化は電圧降下でないかもしくはそれは製鉄原料であるということはないか両方である"が導かれる
7. 推論4と推論5から、推論6: "その植民地化は群臣会議である"が導かれる
8. 事実8から、推論7: "「その植民地化は群臣会議でない」ということは誤りであるとしたら建て替える"が導かれる
9. 推論6と推論7から、推論8: "その植民地化は建て替える"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その殉葬は直談判しない"が導かれる
12. 推論10と事実11から、仮説が否定される

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