「そのＭＳＸＳＬはか弱くない」ということは成り立つ
fact1: 「「この私的制裁はエロ小説であるしその上苦しい」ということは間違いである」ということは事実である fact2: この私的制裁は座視しない fact3: もし仮にその始点が五重塔であるならばそのＭＳＸＳＬは試合しない fact4: 「宣教するということはない」ものはある fact5: もし仮になんらかのものは五重塔であるならそれはか弱い fact6: このペプチド結合は通帳だ fact7: このペプチド結合は苦しくない fact8: もしもこの私的制裁が座視しないとすればあの始点は導入すし疑わし fact9: もしもその始点は五重塔だということはないとすると「この私的制裁はエロ小説だがしかし苦しくない」ということは成り立たない fact10: 仮にこのペプチド結合が通帳だとすればこの私的制裁は苦しくない fact11: もし仮になにかは試合しないならばそれはか弱くない fact12: もしその始点は通帳であるとしたら「このペプチド結合は五重塔である」ということは真実である fact13: その始点は一撃しない fact14: 「「そのＭＳＸＳＬは通帳である一方でそれは試合しない」ということは嘘でない」ということは事実と異なる fact15: もし仮にその始点は疑わしとすると「それは試合する」ということは本当だ fact16: もし仮にこのペプチド結合が通帳であるならばこの私的制裁はエロ小説だが苦しくない
void -> assump1: 以下のように仮定する。その始点は五重塔でない; fact9 & assump1 -> int1: 「この私的制裁はエロ小説だ一方で苦しいということはない」ということは偽である; fact6 & fact16 -> int2: この私的制裁はエロ小説であるが苦しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その始点は五重塔だ; int4 & fact3 -> int5: そのＭＳＸＳＬは試合しない; fact11 -> int6: もしもそのＭＳＸＳＬが試合しないならばそれはか弱くない; int5 & int6 -> hypothesis;
そのＭＳＸＳＬはか弱い
fact19 -> int7: 仮にそのＭＳＸＳＬは五重塔であるとすればか弱い; fact17 & fact20 -> int8: 「その始点は導入すし更に疑わし」ということは本当である; int8 -> int9: 「その始点は疑わし」ということは成り立つ; fact21 & int9 -> int10: その始点は試合する;
$facts$ = fact1: 「「この私的制裁はエロ小説であるしその上苦しい」ということは間違いである」ということは事実である fact2: この私的制裁は座視しない fact3: もし仮にその始点が五重塔であるならばそのＭＳＸＳＬは試合しない fact4: 「宣教するということはない」ものはある fact5: もし仮になんらかのものは五重塔であるならそれはか弱い fact6: このペプチド結合は通帳だ fact7: このペプチド結合は苦しくない fact8: もしもこの私的制裁が座視しないとすればあの始点は導入すし疑わし fact9: もしもその始点は五重塔だということはないとすると「この私的制裁はエロ小説だがしかし苦しくない」ということは成り立たない fact10: 仮にこのペプチド結合が通帳だとすればこの私的制裁は苦しくない fact11: もし仮になにかは試合しないならばそれはか弱くない fact12: もしその始点は通帳であるとしたら「このペプチド結合は五重塔である」ということは真実である fact13: その始点は一撃しない fact14: 「「そのＭＳＸＳＬは通帳である一方でそれは試合しない」ということは嘘でない」ということは事実と異なる fact15: もし仮にその始点は疑わしとすると「それは試合する」ということは本当だ fact16: もし仮にこのペプチド結合が通帳であるならばこの私的制裁はエロ小説だが苦しくない ; $hypothesis$ = 「そのＭＳＸＳＬはか弱くない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。その始点は五重塔でない; fact9 & assump1 -> int1: 「この私的制裁はエロ小説だ一方で苦しいということはない」ということは偽である; fact6 & fact16 -> int2: この私的制裁はエロ小説であるが苦しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その始点は五重塔だ; int4 & fact3 -> int5: そのＭＳＸＳＬは試合しない; fact11 -> int6: もしもそのＭＳＸＳＬが試合しないならばそれはか弱くない; int5 & int6 -> hypothesis; __PROVED__
事実1: 「「この私的制裁はエロ小説であるしその上苦しい」ということは間違いである」ということは事実である
事実2: この私的制裁は座視しない
事実3: もし仮にその始点が五重塔であるならばそのＭＳＸＳＬは試合しない
事実4: 「宣教するということはない」ものはある
事実5: もし仮になんらかのものは五重塔であるならそれはか弱い
事実6: このペプチド結合は通帳だ
事実7: このペプチド結合は苦しくない
事実8: もしもこの私的制裁が座視しないとすればあの始点は導入すし疑わし
事実9: もしもその始点は五重塔だということはないとすると「この私的制裁はエロ小説だがしかし苦しくない」ということは成り立たない
事実10: 仮にこのペプチド結合が通帳だとすればこの私的制裁は苦しくない
事実11: もし仮になにかは試合しないならばそれはか弱くない
事実12: もしその始点は通帳であるとしたら「このペプチド結合は五重塔である」ということは真実である
事実13: その始点は一撃しない
事実14: 「「そのＭＳＸＳＬは通帳である一方でそれは試合しない」ということは嘘でない」ということは事実と異なる
事実15: もし仮にその始点は疑わしとすると「それは試合する」ということは本当だ
事実16: もし仮にこのペプチド結合が通帳であるならばこの私的制裁はエロ小説だが苦しくない

仮説: 「そのＭＳＸＳＬはか弱くない」ということは成り立つ
1. 仮定1: 以下のように仮定する。その始点は五重塔でない
2. 事実9と仮定1から、推論1: "「この私的制裁はエロ小説だ一方で苦しいということはない」ということは偽である"が導かれる
3. 事実6と事実16から、推論2: "この私的制裁はエロ小説であるが苦しくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その始点は五重塔だ"が導かれる
6. 推論4と事実3から、推論5: "そのＭＳＸＳＬは試合しない"が導かれる
7. 事実11から、推論6: "もしもそのＭＳＸＳＬが試合しないならばそれはか弱くない"が導かれる
8. 推論5と推論6から、仮説が導かれる

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