あの系列相関は閣僚会議メンバーでないかもしくはそれは持ち易くない
fact1: もし「「あのＡＫＡは斜位像でないがそれは懸濁する」ということは間違いでない」ということは真実でないならばあの系列相関は斜位像でない fact2: 仮にあの系列相関が持ち易いとするとそれは斜位像だ fact3: 「あの系列相関は斜位像だ」ということは正しいならば提起出来なくて更に懸濁しない fact4: この関西馬はし難いかあるいは持ち易くないかまたはどちらもである fact5: 仮にあの系列相関は懸濁しないならば「大渋滞だしかつ御返り為さる」ということは嘘だ fact6: あの系列相関は先んずる fact7: あの系列相関は先んずるし更に干渉し合う fact8: あの系列相関は閣僚会議メンバーでないかまたは持ち易いかまたは両方だ fact9: 仮に「なにがしかの物が大渋滞だしそれは御返り為さる」ということは間違いであるならばそれは干渉し合わない fact10: もしも「なんらかの物は先んずるしそれは這わす」ということは事実でないとすると教会音楽でない fact11: あの系列相関は同封しない fact12: もしもあの系列相関が斜位像だとすればそれは提起出来ない
void -> assump1: 以下のように仮定する。あの系列相関は持ち易い; fact2 & assump1 -> int1: 「あの系列相関は斜位像である」ということは成り立つ; int1 & fact3 -> int2: あの系列相関は提起出来なくて更に懸濁しない; int2 -> int3: あの系列相関は懸濁しない; int3 & fact5 -> int4: 「あの系列相関は大渋滞でかつ御返り為さる」ということは間違っている; fact9 -> int5: もし「あの系列相関は大渋滞であるし加えて御返り為さる」ということは事実でないとすればそれは干渉し合わない; int4 & int5 -> int6: 「あの系列相関は干渉し合わない」ということは確かだ; fact7 -> int7: あの系列相関は干渉し合う; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの系列相関は持ち易くない; int9 -> hypothesis;
「あの系列相関は閣僚会議メンバーでないかまたはそれは持ち易くないか両方だ」ということは間違っている
$facts$ = fact1: もし「「あのＡＫＡは斜位像でないがそれは懸濁する」ということは間違いでない」ということは真実でないならばあの系列相関は斜位像でない fact2: 仮にあの系列相関が持ち易いとするとそれは斜位像だ fact3: 「あの系列相関は斜位像だ」ということは正しいならば提起出来なくて更に懸濁しない fact4: この関西馬はし難いかあるいは持ち易くないかまたはどちらもである fact5: 仮にあの系列相関は懸濁しないならば「大渋滞だしかつ御返り為さる」ということは嘘だ fact6: あの系列相関は先んずる fact7: あの系列相関は先んずるし更に干渉し合う fact8: あの系列相関は閣僚会議メンバーでないかまたは持ち易いかまたは両方だ fact9: 仮に「なにがしかの物が大渋滞だしそれは御返り為さる」ということは間違いであるならばそれは干渉し合わない fact10: もしも「なんらかの物は先んずるしそれは這わす」ということは事実でないとすると教会音楽でない fact11: あの系列相関は同封しない fact12: もしもあの系列相関が斜位像だとすればそれは提起出来ない ; $hypothesis$ = あの系列相関は閣僚会議メンバーでないかもしくはそれは持ち易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの系列相関は持ち易い; fact2 & assump1 -> int1: 「あの系列相関は斜位像である」ということは成り立つ; int1 & fact3 -> int2: あの系列相関は提起出来なくて更に懸濁しない; int2 -> int3: あの系列相関は懸濁しない; int3 & fact5 -> int4: 「あの系列相関は大渋滞でかつ御返り為さる」ということは間違っている; fact9 -> int5: もし「あの系列相関は大渋滞であるし加えて御返り為さる」ということは事実でないとすればそれは干渉し合わない; int4 & int5 -> int6: 「あの系列相関は干渉し合わない」ということは確かだ; fact7 -> int7: あの系列相関は干渉し合う; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの系列相関は持ち易くない; int9 -> hypothesis; __PROVED__
事実1: もし「「あのＡＫＡは斜位像でないがそれは懸濁する」ということは間違いでない」ということは真実でないならばあの系列相関は斜位像でない
事実2: 仮にあの系列相関が持ち易いとするとそれは斜位像だ
事実3: 「あの系列相関は斜位像だ」ということは正しいならば提起出来なくて更に懸濁しない
事実4: この関西馬はし難いかあるいは持ち易くないかまたはどちらもである
事実5: 仮にあの系列相関は懸濁しないならば「大渋滞だしかつ御返り為さる」ということは嘘だ
事実6: あの系列相関は先んずる
事実7: あの系列相関は先んずるし更に干渉し合う
事実8: あの系列相関は閣僚会議メンバーでないかまたは持ち易いかまたは両方だ
事実9: 仮に「なにがしかの物が大渋滞だしそれは御返り為さる」ということは間違いであるならばそれは干渉し合わない
事実10: もしも「なんらかの物は先んずるしそれは這わす」ということは事実でないとすると教会音楽でない
事実11: あの系列相関は同封しない
事実12: もしもあの系列相関が斜位像だとすればそれは提起出来ない

仮説: あの系列相関は閣僚会議メンバーでないかもしくはそれは持ち易くない
1. 仮定1: 以下のように仮定する。あの系列相関は持ち易い
2. 事実2と仮定1から、推論1: "「あの系列相関は斜位像である」ということは成り立つ"が導かれる
3. 推論1と事実3から、推論2: "あの系列相関は提起出来なくて更に懸濁しない"が導かれる
4. 推論2から、推論3: "あの系列相関は懸濁しない"が導かれる
5. 推論3と事実5から、推論4: "「あの系列相関は大渋滞でかつ御返り為さる」ということは間違っている"が導かれる
6. 事実9から、推論5: "もし「あの系列相関は大渋滞であるし加えて御返り為さる」ということは事実でないとすればそれは干渉し合わない"が導かれる
7. 推論4と推論5から、推論6: "「あの系列相関は干渉し合わない」ということは確かだ"が導かれる
8. 事実7から、推論7: "あの系列相関は干渉し合う"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの系列相関は持ち易くない"が導かれる
11. 推論9から、仮説が導かれる

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