この禁止事項はトライする
fact1: もしもその冷え性が広いということはないかあるいはまだるっこしいかまたは両方ならば「その夜目はセッションでない」ということは本当だ fact2: もしもその夜目が取り組み始めるとしたらあの多剤併用は取り組み始めない fact3: その電信員がトライしないとするとこの禁止事項はトライするしそれにそれは鑽仰する fact4: 仮にその電信員が一貫性でポジティブフィードバックであるとしたらトライしない fact5: 仮にスプリンターズＳが鑽仰しないならば取り組み始める fact6: もし仮にとある物は一貫性でないとしたら「その船人は逃れ難くない一方で合い難い」ということは成り立たない fact7: もしもその電信員がトライしないならこの禁止事項は鑽仰する fact8: 「「トライしない」ということは成り立つ」ものはある fact9: その電信員はスプリンターズＳでないけどポジティブフィードバックである fact10: もし仮に「その船人は逃れ難くないけれど合い難い」ということは確かでないならばあの鳴神は白しない fact11: その電信員は逃れ難い fact12: 白しものは合い難い fact13: もしもこの地文が合い難いならばその鳴神は合い難い fact14: 「その鳴神は取り組み始めるししかも白し」ということは事実だ fact15: あの多剤併用が取り組み始めないとすればあの地文は白ししおまけにポジティブフィードバックである fact16: もし仮にその夜目がセッションでないとすればそれはスプリンターズＳであるがしかし鑽仰しない fact17: もしもその鳴神が合い難いとすればその船人は合い難い fact18: その冷え性は広くないかまだるっこしい fact19: 何かは一貫性だ
void -> assump1: 以下のように仮定する。その電信員は一貫性でない; assump1 -> int1: 「一貫性でない」ものはある; int1 & fact6 -> int2: 「その船人は逃れ難くないけれど合い難い」ということは偽である; int2 & fact10 -> int3: その鳴神は白しない; fact14 -> int4: その鳴神は白し; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その電信員は一貫性である; fact9 -> int7: その電信員はポジティブフィードバックである; int6 & int7 -> int8: その電信員が一貫性だしかつポジティブフィードバックだ; int8 & fact4 -> int9: その電信員はトライしない; int9 & fact3 -> int10: この禁止事項はトライするし鑽仰する; int10 -> hypothesis;
この禁止事項はトライしない
fact27 -> int11: この地文は白しとすれば「合い難い」ということは成り立つ; fact23 -> int12: 仮にその夜目がスプリンターズＳであるが鑽仰しないとすれば「取り組み始める」ということは成り立つ; fact20 & fact24 -> int13: その夜目はセッションでない; fact22 & int13 -> int14: その夜目はスプリンターズＳであるけど鑽仰しない; int12 & int14 -> int15: その夜目は取り組み始める; fact21 & int15 -> int16: あの多剤併用は取り組み始めない; fact25 & int16 -> int17: この地文は白しし加えてポジティブフィードバックだ; int17 -> int18: この地文は白し; int11 & int18 -> int19: この地文は合い難い; fact26 & int19 -> int20: その鳴神は合い難い; fact28 & int20 -> int21: その船人は合い難い;
$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 -> int1: 「一貫性でない」ものはある; int1 & fact6 -> int2: 「その船人は逃れ難くないけれど合い難い」ということは偽である; int2 & fact10 -> int3: その鳴神は白しない; fact14 -> int4: その鳴神は白し; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その電信員は一貫性である; fact9 -> int7: その電信員はポジティブフィードバックである; int6 & int7 -> int8: その電信員が一貫性だしかつポジティブフィードバックだ; int8 & fact4 -> int9: その電信員はトライしない; int9 & fact3 -> int10: この禁止事項はトライするし鑽仰する; int10 -> 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から、推論1: "「一貫性でない」ものはある"が導かれる
3. 推論1と事実6から、推論2: "「その船人は逃れ難くないけれど合い難い」ということは偽である"が導かれる
4. 推論2と事実10から、推論3: "その鳴神は白しない"が導かれる
5. 事実14から、推論4: "その鳴神は白し"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その電信員は一貫性である"が導かれる
8. 事実9から、推論7: "その電信員はポジティブフィードバックである"が導かれる
9. 推論6と推論7から、推論8: "その電信員が一貫性だしかつポジティブフィードバックだ"が導かれる
10. 推論8と事実4から、推論9: "その電信員はトライしない"が導かれる
11. 推論9と事実3から、推論10: "この禁止事項はトライするし鑽仰する"が導かれる
12. 推論10から、仮説が導かれる

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