もし仮にあの民族主義組織が昇降するとしたらこの心嚢内は力まない一方で医学的適応である
fact1: 何かは入会するなら「それはキミ子方式だ」ということは真実である fact2: 仮にあの民族主義組織が昇降するしキミ子方式だとしたらこの心嚢内は力まない fact3: もし仮にあの民族主義組織が黒いけど米国以外でないならば「入会する」ということは真実だ fact4: あの民族主義組織は黒い一方で米国以外でない fact5: 仮にあの民族主義組織は米国以外なら「力む」ということは真実だ fact6: この亀山朱方印は力む fact7: あの民族主義組織は黒い fact8: あの民族主義組織は想像し得る fact9: この心嚢内は医学的適応である fact10: この心嚢内は時数であるが変貌しない fact11: 仮になんらかの物がぎょっとすればスキンモードだ
fact3 & fact4 -> int1: 「あの民族主義組織は入会する」ということは事実だ; fact1 -> int2: 仮にあの民族主義組織が入会するとしたらそれはキミ子方式である; int1 & int2 -> int3: あの民族主義組織はキミ子方式だ; void -> assump1: 以下のように仮定する。あの民族主義組織は昇降する; int3 & assump1 -> int4: あの民族主義組織は昇降するしそれはキミ子方式だ; int4 & fact2 -> int5: この心嚢内は力まない; int5 & fact9 -> int6: この心嚢内は力まない一方でそれは医学的適応である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 何かは入会するなら「それはキミ子方式だ」ということは真実である fact2: 仮にあの民族主義組織が昇降するしキミ子方式だとしたらこの心嚢内は力まない fact3: もし仮にあの民族主義組織が黒いけど米国以外でないならば「入会する」ということは真実だ fact4: あの民族主義組織は黒い一方で米国以外でない fact5: 仮にあの民族主義組織は米国以外なら「力む」ということは真実だ fact6: この亀山朱方印は力む fact7: あの民族主義組織は黒い fact8: あの民族主義組織は想像し得る fact9: この心嚢内は医学的適応である fact10: この心嚢内は時数であるが変貌しない fact11: 仮になんらかの物がぎょっとすればスキンモードだ ; $hypothesis$ = もし仮にあの民族主義組織が昇降するとしたらこの心嚢内は力まない一方で医学的適応である ; $proof$ = 
fact3 & fact4 -> int1: 「あの民族主義組織は入会する」ということは事実だ; fact1 -> int2: 仮にあの民族主義組織が入会するとしたらそれはキミ子方式である; int1 & int2 -> int3: あの民族主義組織はキミ子方式だ; void -> assump1: 以下のように仮定する。あの民族主義組織は昇降する; int3 & assump1 -> int4: あの民族主義組織は昇降するしそれはキミ子方式だ; int4 & fact2 -> int5: この心嚢内は力まない; int5 & fact9 -> int6: この心嚢内は力まない一方でそれは医学的適応である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 何かは入会するなら「それはキミ子方式だ」ということは真実である
事実2: 仮にあの民族主義組織が昇降するしキミ子方式だとしたらこの心嚢内は力まない
事実3: もし仮にあの民族主義組織が黒いけど米国以外でないならば「入会する」ということは真実だ
事実4: あの民族主義組織は黒い一方で米国以外でない
事実5: 仮にあの民族主義組織は米国以外なら「力む」ということは真実だ
事実6: この亀山朱方印は力む
事実7: あの民族主義組織は黒い
事実8: あの民族主義組織は想像し得る
事実9: この心嚢内は医学的適応である
事実10: この心嚢内は時数であるが変貌しない
事実11: 仮になんらかの物がぎょっとすればスキンモードだ

仮説: もし仮にあの民族主義組織が昇降するとしたらこの心嚢内は力まない一方で医学的適応である
1. 事実3と事実4から、推論1: "「あの民族主義組織は入会する」ということは事実だ"が導かれる
2. 事実1から、推論2: "仮にあの民族主義組織が入会するとしたらそれはキミ子方式である"が導かれる
3. 推論1と推論2から、推論3: "あの民族主義組織はキミ子方式だ"が導かれる
4. 仮定1: 以下のように仮定する。あの民族主義組織は昇降する
5. 推論3と仮定1から、推論4: "あの民族主義組織は昇降するしそれはキミ子方式だ"が導かれる
6. 推論4と事実2から、推論5: "この心嚢内は力まない"が導かれる
7. 推論5と事実9から、推論6: "この心嚢内は力まない一方でそれは医学的適応である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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