その非戦闘員はＳＵＭ関数でない
fact1: 仮に「その非戦闘員はＳＵＭ関数でないけどそれはいみじ」ということは間違っているとしたらこの若さは習得出来ない fact2: もしもあの一括管理が取り引き形態ならばそれは掃除し易い fact3: 「何らかのものは歩かすけどそれはＳＵＭ関数でない」ということは誤っているとすればそれは栄養血管である fact4: 何らかのものは習得出来るとすれば「それは栄養血管だ」ということは正しい fact5: もし仮にこの上告人が解け易いならばそれはいみじ fact6: もしあの一括管理が掃除し易くないとしたらこの若さは習得出来ない fact7: もしもとあるものが習得出来るとしたらそれは取り引き形態である fact8: その非戦闘員は破産等でない一方で決定論である fact9: もしもこの若さは決定論でないなら「歩かすしそれはＳＵＭ関数でない」ということは誤りである fact10: もしもこの若さは習得出来ないとすると「その非戦闘員は習得出来ないけど取り引き形態だ」ということは成り立たない fact11: ある物が栄養血管だとするとＳＵＭ関数である fact12: 仮にその非戦闘員が習得出来るとすると栄養血管だ fact13: 「もし仮にその非戦闘員は取り引き形態でないなら「この若さは取り引き形態でないが習得出来る」ということは間違っている」ということは正しい fact14: 仮に「とある物は習得出来ないが取り引き形態である」ということは成り立たないならばそれは栄養血管である fact15: 「その非戦闘員は習得出来るしおまけにそれは取り引き形態だ」ということは成り立たない fact16: 「この若さは栄養血管でないがそれは早期発見出来る」ということは間違いだ fact17: 変化し易くないものは奮闘する fact18: もしもあの一括管理が取り引き形態でなくてＳＵＭ関数でないとするとその非戦闘員はＳＵＭ関数だということはない fact19: あの一括管理はＳＵＭ関数でない fact20: もしも「あの一括管理はいみじないけど掃除し易い」ということは間違っているとしたらこの若さは習得出来ない fact21: もし仮にこの若さは習得出来ないなら「その非戦闘員は習得出来るし取り引き形態である」ということは間違っている fact22: もし仮にその非戦闘員が破産等でないけれど決定論であるとするとこの若さは決定論でない fact23: 「あの一括管理はいみじないが掃除し易い」ということは間違いである
fact20 & fact23 -> int1: 「この若さは習得出来るということはない」ということは本当である; int1 & fact10 -> int2: 「その非戦闘員は習得出来ないけれど取り引き形態だ」ということは成り立たない; fact14 -> int3: もし仮に「その非戦闘員は習得出来ないけど取り引き形態である」ということは成り立たないならそれは栄養血管だ; int2 & int3 -> int4: その非戦闘員は栄養血管だ; fact11 -> int5: もし仮にその非戦闘員は栄養血管であるならばそれはＳＵＭ関数である; int4 & int5 -> 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$ = 
fact20 & fact23 -> int1: 「この若さは習得出来るということはない」ということは本当である; int1 & fact10 -> int2: 「その非戦闘員は習得出来ないけれど取り引き形態だ」ということは成り立たない; fact14 -> int3: もし仮に「その非戦闘員は習得出来ないけど取り引き形態である」ということは成り立たないならそれは栄養血管だ; int2 & int3 -> int4: その非戦闘員は栄養血管だ; fact11 -> int5: もし仮にその非戦闘員は栄養血管であるならばそれはＳＵＭ関数である; int4 & int5 -> 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. 事実20と事実23から、推論1: "「この若さは習得出来るということはない」ということは本当である"が導かれる
2. 推論1と事実10から、推論2: "「その非戦闘員は習得出来ないけれど取り引き形態だ」ということは成り立たない"が導かれる
3. 事実14から、推論3: "もし仮に「その非戦闘員は習得出来ないけど取り引き形態である」ということは成り立たないならそれは栄養血管だ"が導かれる
4. 推論2と推論3から、推論4: "その非戦闘員は栄養血管だ"が導かれる
5. 事実11から、推論5: "もし仮にその非戦闘員は栄養血管であるならばそれはＳＵＭ関数である"が導かれる
6. 推論4と推論5から、仮説が否定される

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