もし仮に「この両日はローマ字綴りである」ということは成り立つとしたらあの警護はプリントアウトする
fact1: あの警護は許し難くない一方で立て易いとすると「それはプリントアウトする」ということは間違いでない fact2: 「その黒子はローマ字綴りだ」ということは本当だ fact3: 仮にこの両日が許し難いとすればあの警護はローマ字綴りであるということはない fact4: でかい共重合体は人懐こくない fact5: もし仮にあの警護は許し難くて立て易いとしたらプリントアウトする fact6: この両日は共重合体で加えて太り易い fact7: あの警護は追加処方する fact8: もしこの両日がローマ字綴りであるならばあの警護は許し難くない fact9: もし仮にあの警護は許し難いしおまけに立て易いならばそれはローマ字綴りである fact10: あの警護はイメージ化するかまたはでかいかまたはどちらもだ fact11: あの警護は許し難くない fact12: もしも「イメージ化するかまたはでかいかもしくは両方ともである」物があるならこの両日はでかい fact13: もしこの両日が人懐こくないならばこのリュートはプリントアウトしない fact14: もしこの両日がローマ字綴りだとするとあの警護は許し難くない一方で立て易い
void -> assump1: 以下のように仮定する。この両日はローマ字綴りである; fact14 & assump1 -> int1: あの警護は許し難いということはないけれど立て易い; int1 & fact1 -> int2: あの警護はプリントアウトする; [assump1] & int2 -> hypothesis;
このリュートは許し難い
fact17 -> int3: 仮にこの両日が共重合体であるしまたそれがでかいならば人懐こくない; fact16 -> int4: この両日は共重合体である; fact15 -> int5: 何かはイメージ化するかもしくはでかいかあるいは両方である; int5 & fact19 -> int6: この両日はでかい; int4 & int6 -> int7: この両日は共重合体であるしさらにそれはでかい; int3 & int7 -> int8: この両日は人懐こくない; fact18 & int8 -> int9: このリュートはプリントアウトしない;
$facts$ = fact1: あの警護は許し難くない一方で立て易いとすると「それはプリントアウトする」ということは間違いでない fact2: 「その黒子はローマ字綴りだ」ということは本当だ fact3: 仮にこの両日が許し難いとすればあの警護はローマ字綴りであるということはない fact4: でかい共重合体は人懐こくない fact5: もし仮にあの警護は許し難くて立て易いとしたらプリントアウトする fact6: この両日は共重合体で加えて太り易い fact7: あの警護は追加処方する fact8: もしこの両日がローマ字綴りであるならばあの警護は許し難くない fact9: もし仮にあの警護は許し難いしおまけに立て易いならばそれはローマ字綴りである fact10: あの警護はイメージ化するかまたはでかいかまたはどちらもだ fact11: あの警護は許し難くない fact12: もしも「イメージ化するかまたはでかいかもしくは両方ともである」物があるならこの両日はでかい fact13: もしこの両日が人懐こくないならばこのリュートはプリントアウトしない fact14: もしこの両日がローマ字綴りだとするとあの警護は許し難くない一方で立て易い ; $hypothesis$ = もし仮に「この両日はローマ字綴りである」ということは成り立つとしたらあの警護はプリントアウトする ; $proof$ = 
void -> assump1: 以下のように仮定する。この両日はローマ字綴りである; fact14 & assump1 -> int1: あの警護は許し難いということはないけれど立て易い; int1 & fact1 -> int2: あの警護はプリントアウトする; [assump1] & int2 -> hypothesis; __PROVED__
事実1: あの警護は許し難くない一方で立て易いとすると「それはプリントアウトする」ということは間違いでない
事実2: 「その黒子はローマ字綴りだ」ということは本当だ
事実3: 仮にこの両日が許し難いとすればあの警護はローマ字綴りであるということはない
事実4: でかい共重合体は人懐こくない
事実5: もし仮にあの警護は許し難くて立て易いとしたらプリントアウトする
事実6: この両日は共重合体で加えて太り易い
事実7: あの警護は追加処方する
事実8: もしこの両日がローマ字綴りであるならばあの警護は許し難くない
事実9: もし仮にあの警護は許し難いしおまけに立て易いならばそれはローマ字綴りである
事実10: あの警護はイメージ化するかまたはでかいかまたはどちらもだ
事実11: あの警護は許し難くない
事実12: もしも「イメージ化するかまたはでかいかもしくは両方ともである」物があるならこの両日はでかい
事実13: もしこの両日が人懐こくないならばこのリュートはプリントアウトしない
事実14: もしこの両日がローマ字綴りだとするとあの警護は許し難くない一方で立て易い

仮説: もし仮に「この両日はローマ字綴りである」ということは成り立つとしたらあの警護はプリントアウトする
1. 仮定1: 以下のように仮定する。この両日はローマ字綴りである
2. 事実14と仮定1から、推論1: "あの警護は許し難いということはないけれど立て易い"が導かれる
3. 推論1と事実1から、推論2: "あの警護はプリントアウトする"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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