あの効率性は迷い難くない
fact1: その最終段階は一念発起する fact2: あの効率性は幼しということはない fact3: あの効率性は突き抜けない fact4: あの効率性は斟酌すしそれにそれは離人症である fact5: あの効率性は妊娠線でない fact6: あのディトは一念発起する fact7: この三門は十一日生まれでない fact8: あの効率性は女性労働問題でない fact9: あの効率性は塩辛い fact10: あの効率性は八節点四辺形でない fact11: 仮にこの急死が迷い難いならばあの効率性は迷い難い fact12: その中小企業者は一念発起する fact13: あの相対的効力は十一日生まれである fact14: あの効率性は一念発起する fact15: あの無資格者は迷い難い fact16: あの効率性は雄々しい fact17: あのＣＭＹＫ画像は迷い難いということはない fact18: あの効率性は十一日生まれだ fact19: もしあの効率性が迷い難くておまけに一念発起すればそれは十一日生まれであるということはない
void -> assump1: 以下のように仮定する。「あの効率性は迷い難い」ということは成り立つ; assump1 & fact14 -> int1: あの効率性は迷い難くておまけに一念発起する; int1 & fact19 -> int2: あの効率性は十一日生まれでない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの効率性は迷い難い
$facts$ = fact1: その最終段階は一念発起する fact2: あの効率性は幼しということはない fact3: あの効率性は突き抜けない fact4: あの効率性は斟酌すしそれにそれは離人症である fact5: あの効率性は妊娠線でない fact6: あのディトは一念発起する fact7: この三門は十一日生まれでない fact8: あの効率性は女性労働問題でない fact9: あの効率性は塩辛い fact10: あの効率性は八節点四辺形でない fact11: 仮にこの急死が迷い難いならばあの効率性は迷い難い fact12: その中小企業者は一念発起する fact13: あの相対的効力は十一日生まれである fact14: あの効率性は一念発起する fact15: あの無資格者は迷い難い fact16: あの効率性は雄々しい fact17: あのＣＭＹＫ画像は迷い難いということはない fact18: あの効率性は十一日生まれだ fact19: もしあの効率性が迷い難くておまけに一念発起すればそれは十一日生まれであるということはない ; $hypothesis$ = あの効率性は迷い難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの効率性は迷い難い」ということは成り立つ; assump1 & fact14 -> int1: あの効率性は迷い難くておまけに一念発起する; int1 & fact19 -> int2: あの効率性は十一日生まれでない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その最終段階は一念発起する
事実2: あの効率性は幼しということはない
事実3: あの効率性は突き抜けない
事実4: あの効率性は斟酌すしそれにそれは離人症である
事実5: あの効率性は妊娠線でない
事実6: あのディトは一念発起する
事実7: この三門は十一日生まれでない
事実8: あの効率性は女性労働問題でない
事実9: あの効率性は塩辛い
事実10: あの効率性は八節点四辺形でない
事実11: 仮にこの急死が迷い難いならばあの効率性は迷い難い
事実12: その中小企業者は一念発起する
事実13: あの相対的効力は十一日生まれである
事実14: あの効率性は一念発起する
事実15: あの無資格者は迷い難い
事実16: あの効率性は雄々しい
事実17: あのＣＭＹＫ画像は迷い難いということはない
事実18: あの効率性は十一日生まれだ
事実19: もしあの効率性が迷い難くておまけに一念発起すればそれは十一日生まれであるということはない

仮説: あの効率性は迷い難くない
1. 仮定1: 以下のように仮定する。「あの効率性は迷い難い」ということは成り立つ
2. 仮定1と事実14から、推論1: "あの効率性は迷い難くておまけに一念発起する"が導かれる
3. 推論1と事実19から、推論2: "あの効率性は十一日生まれでない"が導かれる
4. 推論2と事実18から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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