「あの財産犯は座標軸である」ということは成り立つ
fact1: もしも何らかのものは狡賢いなら「あの干満は父無し子だ」ということは真実である fact2: 何かは倭国全体であるとすればあの紙メディアは狡賢くて炸裂する fact3: 「あの干満は似合うしおまけに富岳風穴である」ということは事実だということはない fact4: 父無し子は十二日号でないかもしくは座標軸だということはないかあるいはどちらもだ fact5: もしもあの干満が似合うとしたらあの財産犯は父無し子である fact6: この代行部分は節減でない fact7: もし仮にあの財産犯が媒体其れ自体だとするとそれは転がり落ちないかまたはそれは倭国全体でないかどちらもだ fact8: 仮にあの財産犯が節減だとしたらそれは媒体其れ自体である fact9: もし仮にあの干満が十二日号でないとしたらあの財産犯は座標軸でない fact10: もしもなにがしかのものは媒体其れ自体でないとしたら倭国全体であるしかつ転がり落ちる fact11: もしもあの財産犯が父無し子ならばそれは狡賢い fact12: その主要産地は狡賢いけど性悪でない fact13: とある物が狡賢いとしたらそれは座標軸だ fact14: もしあの財産犯が炸裂しないかもしくは座標軸でないかあるいはどちらもであるとしたらあの干満は座標軸でない fact15: 「「「座標軸でない」物はある」ということは事実であるとしたらこの鶏達は父無し子だしさらに十二日号である」ということは成り立つ fact16: あの財産犯は節減だ fact17: この代行部分は節減でないとすれば「それは媒体其れ自体でない」ということは成り立つ fact18: もしあの干満は富岳風穴であるとすればそれは十二日号でない fact19: あの財産犯は誉だ fact20: もし仮にある物は転がり落ちないかまたは倭国全体でないかまたはどちらもであるなら炸裂しない fact21: あの干満は十二日号だ fact22: もし仮に「「あの干満は似合う一方で富岳風穴でない」ということは成り立つ」ということは成り立たないならそれは十二日号でない fact23: 「あの干満は富岳風穴でない」ということは事実だ
void -> assump1: 以下のように仮定する。「あの干満は似合うけど富岳風穴であるということはない」ということは事実と異なる; fact22 & assump1 -> int1: あの干満は十二日号でない; int1 & fact21 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの干満は似合うがしかしそれは富岳風穴でない; int3 -> int4: 「あの干満は似合う」ということは事実だ; int4 & fact5 -> int5: あの財産犯は父無し子だ; int5 & fact11 -> int6: あの財産犯は狡賢い; fact13 -> int7: 仮にあの財産犯が狡賢いとしたら座標軸である; int6 & int7 -> hypothesis;
この鶏達は狡賢い
fact24 -> int8: あの財産犯が転がり落ちないかもしくは倭国全体でないかまたはどちらもであるとしたら炸裂しない; fact28 & fact27 -> int9: あの財産犯は媒体其れ自体だ; fact25 & int9 -> int10: あの財産犯は転がり落ちないかもしくは倭国全体でないかあるいはどちらもである; int8 & int10 -> int11: あの財産犯は炸裂するということはない; int11 -> int12: あの財産犯は炸裂するということはないかもしくは座標軸であるということはないかまたはどちらもである; fact26 & int12 -> int13: 「あの干満は座標軸であるということはない」ということは本当である; int13 -> int14: 「座標軸でない」物はある; int14 & fact29 -> int15: この鶏達は父無し子であるし十二日号だ; int15 -> int16: この鶏達は父無し子である;
$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$ = 
void -> assump1: 以下のように仮定する。「あの干満は似合うけど富岳風穴であるということはない」ということは事実と異なる; fact22 & assump1 -> int1: あの干満は十二日号でない; int1 & fact21 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの干満は似合うがしかしそれは富岳風穴でない; int3 -> int4: 「あの干満は似合う」ということは事実だ; int4 & fact5 -> int5: あの財産犯は父無し子だ; int5 & fact11 -> int6: あの財産犯は狡賢い; fact13 -> int7: 仮にあの財産犯が狡賢いとしたら座標軸である; int6 & int7 -> hypothesis; __PROVED__
事実1: もしも何らかのものは狡賢いなら「あの干満は父無し子だ」ということは真実である
事実2: 何かは倭国全体であるとすればあの紙メディアは狡賢くて炸裂する
事実3: 「あの干満は似合うしおまけに富岳風穴である」ということは事実だということはない
事実4: 父無し子は十二日号でないかもしくは座標軸だということはないかあるいはどちらもだ
事実5: もしもあの干満が似合うとしたらあの財産犯は父無し子である
事実6: この代行部分は節減でない
事実7: もし仮にあの財産犯が媒体其れ自体だとするとそれは転がり落ちないかまたはそれは倭国全体でないかどちらもだ
事実8: 仮にあの財産犯が節減だとしたらそれは媒体其れ自体である
事実9: もし仮にあの干満が十二日号でないとしたらあの財産犯は座標軸でない
事実10: もしもなにがしかのものは媒体其れ自体でないとしたら倭国全体であるしかつ転がり落ちる
事実11: もしもあの財産犯が父無し子ならばそれは狡賢い
事実12: その主要産地は狡賢いけど性悪でない
事実13: とある物が狡賢いとしたらそれは座標軸だ
事実14: もしあの財産犯が炸裂しないかもしくは座標軸でないかあるいはどちらもであるとしたらあの干満は座標軸でない
事実15: 「「「座標軸でない」物はある」ということは事実であるとしたらこの鶏達は父無し子だしさらに十二日号である」ということは成り立つ
事実16: あの財産犯は節減だ
事実17: この代行部分は節減でないとすれば「それは媒体其れ自体でない」ということは成り立つ
事実18: もしあの干満は富岳風穴であるとすればそれは十二日号でない
事実19: あの財産犯は誉だ
事実20: もし仮にある物は転がり落ちないかまたは倭国全体でないかまたはどちらもであるなら炸裂しない
事実21: あの干満は十二日号だ
事実22: もし仮に「「あの干満は似合う一方で富岳風穴でない」ということは成り立つ」ということは成り立たないならそれは十二日号でない
事実23: 「あの干満は富岳風穴でない」ということは事実だ

仮説: 「あの財産犯は座標軸である」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの干満は似合うけど富岳風穴であるということはない」ということは事実と異なる
2. 事実22と仮定1から、推論1: "あの干満は十二日号でない"が導かれる
3. 推論1と事実21から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの干満は似合うがしかしそれは富岳風穴でない"が導かれる
5. 推論3から、推論4: "「あの干満は似合う」ということは事実だ"が導かれる
6. 推論4と事実5から、推論5: "あの財産犯は父無し子だ"が導かれる
7. 推論5と事実11から、推論6: "あの財産犯は狡賢い"が導かれる
8. 事実13から、推論7: "仮にあの財産犯が狡賢いとしたら座標軸である"が導かれる
9. 推論6と推論7から、仮説が導かれる

よって、仮説が証明されました。