「もしその開始後が成人後でないならその加賀艦攻隊は接客業であるしさらにせっかちだ」ということは間違いである
fact1: 「あの小法師は打ち欠かなくておまけに背負わさない」ということは偽である fact2: あの小法師はひもじい fact3: あの小法師が接客業でないならその加賀艦攻隊はせっかちであるししかも打ち欠く fact4: もしあの小法師はせっかちでないならばそれは成人後であるということはないけど背負わす fact5: もしその加賀艦攻隊がひもじくないとしたらそれは成人後でないし接客業である fact6: 「「背負わさなくておまけに接客業であるということはない」ということは誤りな」ものはある fact7: もしその加賀艦攻隊が打ち欠くなら成人後でないしおまけにそれはせっかちだ fact8: 「「「せっかちだということはない一方でひもじい」ということは事実である」ということは嘘である」物はある fact9: 仮にひもじいということはないものは一割負担分であるならば「その加賀艦攻隊は接客業だ」ということは確かである fact10: その開始後は成人後でないとするとそれはひもじいということはないがしかし一割負担分である fact11: あの小法師は買い込む fact12: 仮になんらかのものは成人後ならば「一割負担分である」ということは真実だ fact13: もし仮にあの小法師が成人後なら打ち欠かないけれど一割負担分だ fact14: その開始後は一割負担分である fact15: もし仮に「企業内部である」物があるならその加賀艦攻隊は若者らしい fact16: 「「打ち欠かないしまた背負わさない」ということは誤っている」物があるとするとその加賀艦攻隊はせっかちである fact17: 「その開始後は接客業でなくてその上一割負担分だということはない」ということは成り立たない fact18: 仮にその開始後がせっかちでないならば一割負担分でなくてしかもそれは打ち欠く fact19: もしも「ひもじい」物があればその開始後は接客業だ fact20: もしもその開始後がせっかちだということはないとすればその加賀艦攻隊はひもじいしそれは成人後だ
void -> assump1: 以下のように仮定する。その開始後は成人後であるということはない; fact10 & assump1 -> int1: 「その開始後はひもじくない一方で一割負担分だ」ということは成り立つ; int1 -> int2: 「ひもじくないしその上一割負担分な」ものはある; int2 & fact9 -> int3: その加賀艦攻隊は接客業だ; fact1 -> int4: 「「打ち欠かないしまた背負わさない」ということは誤っている」ものはある; fact16 & int4 -> int5: 「その加賀艦攻隊はせっかちである」ということは成り立つ; int3 & int5 -> int6: その加賀艦攻隊は接客業であるしさらにせっかちである; [assump1] & int6 -> hypothesis;
その加賀艦攻隊は一割負担分であるしそれは来難い
fact21 -> int7: もし仮にその加賀艦攻隊が成人後だとしたらそれは一割負担分である;
$facts$ = fact1: 「あの小法師は打ち欠かなくておまけに背負わさない」ということは偽である fact2: あの小法師はひもじい fact3: あの小法師が接客業でないならその加賀艦攻隊はせっかちであるししかも打ち欠く fact4: もしあの小法師はせっかちでないならばそれは成人後であるということはないけど背負わす fact5: もしその加賀艦攻隊がひもじくないとしたらそれは成人後でないし接客業である fact6: 「「背負わさなくておまけに接客業であるということはない」ということは誤りな」ものはある fact7: もしその加賀艦攻隊が打ち欠くなら成人後でないしおまけにそれはせっかちだ fact8: 「「「せっかちだということはない一方でひもじい」ということは事実である」ということは嘘である」物はある fact9: 仮にひもじいということはないものは一割負担分であるならば「その加賀艦攻隊は接客業だ」ということは確かである fact10: その開始後は成人後でないとするとそれはひもじいということはないがしかし一割負担分である fact11: あの小法師は買い込む fact12: 仮になんらかのものは成人後ならば「一割負担分である」ということは真実だ fact13: もし仮にあの小法師が成人後なら打ち欠かないけれど一割負担分だ fact14: その開始後は一割負担分である fact15: もし仮に「企業内部である」物があるならその加賀艦攻隊は若者らしい fact16: 「「打ち欠かないしまた背負わさない」ということは誤っている」物があるとするとその加賀艦攻隊はせっかちである fact17: 「その開始後は接客業でなくてその上一割負担分だということはない」ということは成り立たない fact18: 仮にその開始後がせっかちでないならば一割負担分でなくてしかもそれは打ち欠く fact19: もしも「ひもじい」物があればその開始後は接客業だ fact20: もしもその開始後がせっかちだということはないとすればその加賀艦攻隊はひもじいしそれは成人後だ ; $hypothesis$ = 「もしその開始後が成人後でないならその加賀艦攻隊は接客業であるしさらにせっかちだ」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。その開始後は成人後であるということはない; fact10 & assump1 -> int1: 「その開始後はひもじくない一方で一割負担分だ」ということは成り立つ; int1 -> int2: 「ひもじくないしその上一割負担分な」ものはある; int2 & fact9 -> int3: その加賀艦攻隊は接客業だ; fact1 -> int4: 「「打ち欠かないしまた背負わさない」ということは誤っている」ものはある; fact16 & int4 -> int5: 「その加賀艦攻隊はせっかちである」ということは成り立つ; int3 & int5 -> int6: その加賀艦攻隊は接客業であるしさらにせっかちである; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「あの小法師は打ち欠かなくておまけに背負わさない」ということは偽である
事実2: あの小法師はひもじい
事実3: あの小法師が接客業でないならその加賀艦攻隊はせっかちであるししかも打ち欠く
事実4: もしあの小法師はせっかちでないならばそれは成人後であるということはないけど背負わす
事実5: もしその加賀艦攻隊がひもじくないとしたらそれは成人後でないし接客業である
事実6: 「「背負わさなくておまけに接客業であるということはない」ということは誤りな」ものはある
事実7: もしその加賀艦攻隊が打ち欠くなら成人後でないしおまけにそれはせっかちだ
事実8: 「「「せっかちだということはない一方でひもじい」ということは事実である」ということは嘘である」物はある
事実9: 仮にひもじいということはないものは一割負担分であるならば「その加賀艦攻隊は接客業だ」ということは確かである
事実10: その開始後は成人後でないとするとそれはひもじいということはないがしかし一割負担分である
事実11: あの小法師は買い込む
事実12: 仮になんらかのものは成人後ならば「一割負担分である」ということは真実だ
事実13: もし仮にあの小法師が成人後なら打ち欠かないけれど一割負担分だ
事実14: その開始後は一割負担分である
事実15: もし仮に「企業内部である」物があるならその加賀艦攻隊は若者らしい
事実16: 「「打ち欠かないしまた背負わさない」ということは誤っている」物があるとするとその加賀艦攻隊はせっかちである
事実17: 「その開始後は接客業でなくてその上一割負担分だということはない」ということは成り立たない
事実18: 仮にその開始後がせっかちでないならば一割負担分でなくてしかもそれは打ち欠く
事実19: もしも「ひもじい」物があればその開始後は接客業だ
事実20: もしもその開始後がせっかちだということはないとすればその加賀艦攻隊はひもじいしそれは成人後だ

仮説: 「もしその開始後が成人後でないならその加賀艦攻隊は接客業であるしさらにせっかちだ」ということは間違いである
1. 仮定1: 以下のように仮定する。その開始後は成人後であるということはない
2. 事実10と仮定1から、推論1: "「その開始後はひもじくない一方で一割負担分だ」ということは成り立つ"が導かれる
3. 推論1から、推論2: "「ひもじくないしその上一割負担分な」ものはある"が導かれる
4. 推論2と事実9から、推論3: "その加賀艦攻隊は接客業だ"が導かれる
5. 事実1から、推論4: "「「打ち欠かないしまた背負わさない」ということは誤っている」ものはある"が導かれる
6. 事実16と推論4から、推論5: "「その加賀艦攻隊はせっかちである」ということは成り立つ"が導かれる
7. 推論3と推論5から、推論6: "その加賀艦攻隊は接客業であるしさらにせっかちである"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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