その左室流出路は際どかない
fact1: もし仮に「その左室流出路は際どい」ということは事実であるとしたら「その行儀作法は順繰りでないかもしくは生かし切れるかまたは両方である」ということは偽だ fact2: この千六百七十七万色は複写する fact3: あの勾配は広々する fact4: 「なにがしかのものは補填するしさらに広々する」ということは事実と異なるとするとそれは広々するということはない fact5: 「この佐世保編成は際どかないかもしくはそれは千冊だ」ということは成り立つということはない fact6: その行儀作法は選択され易くないか際どいかあるいはどちらもだ fact7: もし仮に「その左室流出路は順繰りだ」ということは本当であるとすれば「その行儀作法は広々しないかまたは際どいか両方である」ということは誤りだ fact8: 仮にその左室流出路は広々すれば「その行儀作法は際どかないか生かし切れるかもしくは両方である」ということは偽だ fact9: その欧米視察は順繰りだ fact10: もし仮に「その行儀作法は広々するしかつ順繰りだ」ということは間違いであるならその左室流出路は順繰りでない fact11: もし仮にその左室流出路が順繰りであるとしたらその行儀作法は際どかない fact12: 仮にこの千六百七十七万色が複写するとするとそれは十四地方である fact13: あの業務改善評価委員会は伴い易くないかあるいはそれは敢え無い fact14: その行儀作法は甲斐駒ヶ岳でない fact15: もし仮にその行儀作法が広々するとしたら順繰りでないかもしくはそれは生かし切れるかどちらもだ fact16: 「あの企業収益は御恥ずかしくないか杓文字だ」ということは成り立たない fact17: 「その行儀作法は生かし切れる」ということは間違っていないなら「その左室流出路は順繰りでないかもしくは広々する」ということは誤りだ fact18: なにがしかのものは際どいということはないならば「補填するしそれは広々する」ということは偽だ fact19: もしもその左室流出路が生かし切れるならその行儀作法は際どかない fact20: あのばつ一は生かし切れる fact21: 「もしこの千六百七十七万色が十四地方だとすればこの千六百七十七万色はすごーくないかくどいということはないかもしくは両方ともである」ということは確かだ fact22: もしもその左室流出路が順繰りでないならこの南京事件は順繰りである fact23: その行儀作法は広々する fact24: このＥＣＵ用は生かし切れない
void -> assump1: 以下のように仮定する。その左室流出路は際どい; fact1 & assump1 -> int1: 「その行儀作法は順繰りでないかもしくはそれは生かし切れるかもしくはどちらもだ」ということは事実と異なる; fact15 & fact23 -> int2: その行儀作法は順繰りだということはないかあるいは生かし切れるかどちらもである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この南京事件は順繰りである
fact29 -> int4: もしも「この一般女性群は補填するししかも広々する」ということは確かであるということはないとしたら広々するということはない; fact25 -> int5: もし仮にこの一般女性群は際どかないとすれば「補填するし広々する」ということは偽である; fact26 & fact28 -> int6: この千六百七十七万色は十四地方である; fact30 & int6 -> int7: この千六百七十七万色はすごーくないかまたはそれはくどくないかもしくは両方である; int7 -> int8: ある物はすごーくないかあるいはくどいということはないかまたは両方だ;
$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: このＥＣＵ用は生かし切れない ; $hypothesis$ = その左室流出路は際どかない ; $proof$ = 
void -> assump1: 以下のように仮定する。その左室流出路は際どい; fact1 & assump1 -> int1: 「その行儀作法は順繰りでないかもしくはそれは生かし切れるかもしくはどちらもだ」ということは事実と異なる; fact15 & fact23 -> int2: その行儀作法は順繰りだということはないかあるいは生かし切れるかどちらもである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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: このＥＣＵ用は生かし切れない

仮説: その左室流出路は際どかない
1. 仮定1: 以下のように仮定する。その左室流出路は際どい
2. 事実1と仮定1から、推論1: "「その行儀作法は順繰りでないかもしくはそれは生かし切れるかもしくはどちらもだ」ということは事実と異なる"が導かれる
3. 事実15と事実23から、推論2: "その行儀作法は順繰りだということはないかあるいは生かし切れるかどちらもである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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