その練炭自殺はラフチジンだ
fact1: もし仮に「その世事は古臭い」ということは成り立つとするとその修理中は発達程度である fact2: 仮に「その世事はトレーサーだ」ということは正しいとすればあの修理中は発達程度だ fact3: もし仮にあの共産主義が著しいということはないけど内湯であるならばそのコンサルタントは悪い fact4: もしあの共産主義が怯むとすればそれが著しかないしさらにそれは内湯である fact5: 「「東征でなくて滑り易い」ということは間違いな」物はある fact6: そのコンサルタントは著しいということはない fact7: もしもあの折り曲げ部分が出難くないとするとその練炭自殺はラフチジンである fact8: もし仮に「借り切るということはないかもしくはめぼしくないかどちらもな」ものがあるとしたらその世事は借り切らない fact9: そのコンサルタントはまだるっこしくない fact10: ごつい物は出難くなくてゼラチン質でない fact11: もしも「何らかの物はごついしまたそれは重々しい」ということは誤っているとすると悪くない fact12: もしもあるものが暴かないならば古臭いかまたはトレーサーであるかもしくは両方だ fact13: もしもあの折り曲げ部分が出難いということはなくてゼラチン質でないとするとそのコンサルタントはゼラチン質だ fact14: 仮にその世事が京都らしいがしかしそれが借り切らないならばそれは暴くということはない fact15: 「借り切らないかもしくはめぼしくない」物はある fact16: そのコンサルタントは怯むとしたら「あの共産主義は悪くないがラフチジンである」ということは間違っている fact17: 「「東征でなくてしかも滑り易い」ということは嘘な」ものがあるとするとその世事は京都らしい fact18: 仮に「「その天皇・朝廷は重々しいということはない一方でまだるっこしい」ということは成り立つ」ということは成り立たないとすればあの折り曲げ部分はごつい fact19: あの共産主義は課さない fact20: もしそのコンサルタントはまだるっこしくないとしたら「ごつくてそれに重々しい」ということは嘘だ fact21: 「そのコンサルタントは内湯である」ということは本当である fact22: 何らかのものは怯まないけどゼラチン質だとすればそれは出難くない fact23: もし仮にあの折り曲げ部分はラフチジンであるならばそれは怯まないけどゼラチン質だ fact24: もしあの共産主義が怯まないならあの折り曲げ部分は怯むということはないけどゼラチン質だ fact25: もし仮にあの折り曲げ部分がまだるっこしいなら悪くないけど怯む
void -> assump1: 以下のように仮定する。あの共産主義は怯む; fact4 & assump1 -> int1: あの共産主義は著しいということはないけれど内湯だ; int1 & fact3 -> int2: そのコンサルタントは悪い; fact20 & fact9 -> int3: 「そのコンサルタントはごついしそれは重々しい」ということは事実と異なる; fact11 -> int4: 「そのコンサルタントはごついしそれにそれは重々しい」ということは嘘だとしたら悪くない; int3 & int4 -> int5: そのコンサルタントは悪くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの共産主義は怯まない; int7 & fact24 -> int8: あの折り曲げ部分は怯まないけれどゼラチン質である; fact22 -> int9: あの折り曲げ部分は怯まないがゼラチン質であるとしたら出難くない; int8 & int9 -> int10: あの折り曲げ部分は出難くない; int10 & fact7 -> hypothesis;
その練炭自殺はラフチジンでない
fact26 -> int11: もしあの折り曲げ部分がごついとしたらそれは出難くなくてゼラチン質でない; fact34 -> int12: その世事が暴かないならばそれは古臭いかまたはトレーサーであるかもしくは両方だ; fact37 & fact33 -> int13: その世事は京都らしい; fact28 & fact32 -> int14: その世事は借り切らない; int13 & int14 -> int15: その世事は京都らしいけど借り切らない; fact35 & int15 -> int16: その世事は暴かない; int12 & int16 -> int17: その世事は古臭いかそれはトレーサーであるかあるいはどちらもである; int17 & fact29 & fact36 -> int18: その修理中は発達程度である; int18 -> int19: 何らかの物は発達程度だ;
$facts$ = fact1: もし仮に「その世事は古臭い」ということは成り立つとするとその修理中は発達程度である fact2: 仮に「その世事はトレーサーだ」ということは正しいとすればあの修理中は発達程度だ fact3: もし仮にあの共産主義が著しいということはないけど内湯であるならばそのコンサルタントは悪い fact4: もしあの共産主義が怯むとすればそれが著しかないしさらにそれは内湯である fact5: 「「東征でなくて滑り易い」ということは間違いな」物はある fact6: そのコンサルタントは著しいということはない fact7: もしもあの折り曲げ部分が出難くないとするとその練炭自殺はラフチジンである fact8: もし仮に「借り切るということはないかもしくはめぼしくないかどちらもな」ものがあるとしたらその世事は借り切らない fact9: そのコンサルタントはまだるっこしくない fact10: ごつい物は出難くなくてゼラチン質でない fact11: もしも「何らかの物はごついしまたそれは重々しい」ということは誤っているとすると悪くない fact12: もしもあるものが暴かないならば古臭いかまたはトレーサーであるかもしくは両方だ fact13: もしもあの折り曲げ部分が出難いということはなくてゼラチン質でないとするとそのコンサルタントはゼラチン質だ fact14: 仮にその世事が京都らしいがしかしそれが借り切らないならばそれは暴くということはない fact15: 「借り切らないかもしくはめぼしくない」物はある fact16: そのコンサルタントは怯むとしたら「あの共産主義は悪くないがラフチジンである」ということは間違っている fact17: 「「東征でなくてしかも滑り易い」ということは嘘な」ものがあるとするとその世事は京都らしい fact18: 仮に「「その天皇・朝廷は重々しいということはない一方でまだるっこしい」ということは成り立つ」ということは成り立たないとすればあの折り曲げ部分はごつい fact19: あの共産主義は課さない fact20: もしそのコンサルタントはまだるっこしくないとしたら「ごつくてそれに重々しい」ということは嘘だ fact21: 「そのコンサルタントは内湯である」ということは本当である fact22: 何らかのものは怯まないけどゼラチン質だとすればそれは出難くない fact23: もし仮にあの折り曲げ部分はラフチジンであるならばそれは怯まないけどゼラチン質だ fact24: もしあの共産主義が怯まないならあの折り曲げ部分は怯むということはないけどゼラチン質だ fact25: もし仮にあの折り曲げ部分がまだるっこしいなら悪くないけど怯む ; $hypothesis$ = その練炭自殺はラフチジンだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの共産主義は怯む; fact4 & assump1 -> int1: あの共産主義は著しいということはないけれど内湯だ; int1 & fact3 -> int2: そのコンサルタントは悪い; fact20 & fact9 -> int3: 「そのコンサルタントはごついしそれは重々しい」ということは事実と異なる; fact11 -> int4: 「そのコンサルタントはごついしそれにそれは重々しい」ということは嘘だとしたら悪くない; int3 & int4 -> int5: そのコンサルタントは悪くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの共産主義は怯まない; int7 & fact24 -> int8: あの折り曲げ部分は怯まないけれどゼラチン質である; fact22 -> int9: あの折り曲げ部分は怯まないがゼラチン質であるとしたら出難くない; int8 & int9 -> int10: あの折り曲げ部分は出難くない; int10 & fact7 -> 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: もし仮にあの折り曲げ部分はラフチジンであるならばそれは怯まないけどゼラチン質だ
事実24: もしあの共産主義が怯まないならあの折り曲げ部分は怯むということはないけどゼラチン質だ
事実25: もし仮にあの折り曲げ部分がまだるっこしいなら悪くないけど怯む

仮説: その練炭自殺はラフチジンだ
1. 仮定1: 以下のように仮定する。あの共産主義は怯む
2. 事実4と仮定1から、推論1: "あの共産主義は著しいということはないけれど内湯だ"が導かれる
3. 推論1と事実3から、推論2: "そのコンサルタントは悪い"が導かれる
4. 事実20と事実9から、推論3: "「そのコンサルタントはごついしそれは重々しい」ということは事実と異なる"が導かれる
5. 事実11から、推論4: "「そのコンサルタントはごついしそれにそれは重々しい」ということは嘘だとしたら悪くない"が導かれる
6. 推論3と推論4から、推論5: "そのコンサルタントは悪くない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの共産主義は怯まない"が導かれる
9. 推論7と事実24から、推論8: "あの折り曲げ部分は怯まないけれどゼラチン質である"が導かれる
10. 事実22から、推論9: "あの折り曲げ部分は怯まないがゼラチン質であるとしたら出難くない"が導かれる
11. 推論8と推論9から、推論10: "あの折り曲げ部分は出難くない"が導かれる
12. 推論10と事実7から、仮説が導かれる

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