もし仮に「その生産点は中世末でなくて低下するということはない」ということは偽であるとしたらその再構成は軽ーいということはない
fact1: その生産点が近侍するということはないならばそれは中世末でなくてその上それは低下しない fact2: もし何かは近侍しないならそれは残虐行為であるということはないし低下しない fact3: その生産点が軽ーくないとすると際物映画で近侍しない fact4: その補正係数は承知するけどそれは断ち切れるということはない fact5: その生産点は際物映画でしかも断ち切れる fact6: 軽ーいものは断ち切れる fact7: 仮に「その生産点は自負するということはない」ということは確かだとしたら反芻するしまた軽ーい fact8: もし仮に軽ーいものが断ち切れるとするとその再構成は中世末でない fact9: 仮に「その生産点は承知しない」ということは事実であるとしたら及第するしその上研究し尽くさない fact10: その生産点は自負しない fact11: その生産点は卒園するしまた軽ーい fact12: もしその生産点が断ち切れるかまたは際物映画であるとすればこの工程毎は際物映画でない fact13: もし「近侍するし際物映画な」ものがあるとすればその再構成は軽ーくない fact14: もしも「低下するし更に際物映画な」ものはあれば「その生産点は近侍しない」ということは確かである fact15: なにがしかの物は際物映画だ
void -> assump1: 以下のように仮定する。その生産点は近侍しない; fact1 & assump1 -> int1: その生産点は中世末でないしさらに低下しない; void -> assump2: 以下のように仮定する。「その生産点は中世末でなくておまけに低下しない」ということは成り立たない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その生産点は近侍する」ということは真実だ; fact5 -> int4: その生産点は際物映画である; int3 & int4 -> int5: その生産点は近侍するしさらに際物映画である; int5 -> int6: なにかは近侍するし加えて際物映画だ; int6 & fact13 -> int7: その再構成は軽ーくない; [assump2] & int7 -> hypothesis;
この工程毎は残虐行為でなくてしかも低下しない
fact20 -> int8: 仮にこの工程毎が近侍しないとするとそれは残虐行為だということはなくて更に低下しない; fact16 -> int9: もし仮にその生産点が軽ーいならばそれは断ち切れる; fact19 & fact18 -> int10: その生産点は反芻するし軽ーい; int10 -> int11: その生産点は軽ーい; int9 & int11 -> int12: その生産点は断ち切れる; int12 -> int13: その生産点は断ち切れるか際物映画だ; fact17 & int13 -> int14: 「この工程毎は際物映画でない」ということは偽でない;
$facts$ = fact1: その生産点が近侍するということはないならばそれは中世末でなくてその上それは低下しない fact2: もし何かは近侍しないならそれは残虐行為であるということはないし低下しない fact3: その生産点が軽ーくないとすると際物映画で近侍しない fact4: その補正係数は承知するけどそれは断ち切れるということはない fact5: その生産点は際物映画でしかも断ち切れる fact6: 軽ーいものは断ち切れる fact7: 仮に「その生産点は自負するということはない」ということは確かだとしたら反芻するしまた軽ーい fact8: もし仮に軽ーいものが断ち切れるとするとその再構成は中世末でない fact9: 仮に「その生産点は承知しない」ということは事実であるとしたら及第するしその上研究し尽くさない fact10: その生産点は自負しない fact11: その生産点は卒園するしまた軽ーい fact12: もしその生産点が断ち切れるかまたは際物映画であるとすればこの工程毎は際物映画でない fact13: もし「近侍するし際物映画な」ものがあるとすればその再構成は軽ーくない fact14: もしも「低下するし更に際物映画な」ものはあれば「その生産点は近侍しない」ということは確かである fact15: なにがしかの物は際物映画だ ; $hypothesis$ = もし仮に「その生産点は中世末でなくて低下するということはない」ということは偽であるとしたらその再構成は軽ーいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その生産点は近侍しない; fact1 & assump1 -> int1: その生産点は中世末でないしさらに低下しない; void -> assump2: 以下のように仮定する。「その生産点は中世末でなくておまけに低下しない」ということは成り立たない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その生産点は近侍する」ということは真実だ; fact5 -> int4: その生産点は際物映画である; int3 & int4 -> int5: その生産点は近侍するしさらに際物映画である; int5 -> int6: なにかは近侍するし加えて際物映画だ; int6 & fact13 -> int7: その再構成は軽ーくない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: その生産点が近侍するということはないならばそれは中世末でなくてその上それは低下しない
事実2: もし何かは近侍しないならそれは残虐行為であるということはないし低下しない
事実3: その生産点が軽ーくないとすると際物映画で近侍しない
事実4: その補正係数は承知するけどそれは断ち切れるということはない
事実5: その生産点は際物映画でしかも断ち切れる
事実6: 軽ーいものは断ち切れる
事実7: 仮に「その生産点は自負するということはない」ということは確かだとしたら反芻するしまた軽ーい
事実8: もし仮に軽ーいものが断ち切れるとするとその再構成は中世末でない
事実9: 仮に「その生産点は承知しない」ということは事実であるとしたら及第するしその上研究し尽くさない
事実10: その生産点は自負しない
事実11: その生産点は卒園するしまた軽ーい
事実12: もしその生産点が断ち切れるかまたは際物映画であるとすればこの工程毎は際物映画でない
事実13: もし「近侍するし際物映画な」ものがあるとすればその再構成は軽ーくない
事実14: もしも「低下するし更に際物映画な」ものはあれば「その生産点は近侍しない」ということは確かである
事実15: なにがしかの物は際物映画だ

仮説: もし仮に「その生産点は中世末でなくて低下するということはない」ということは偽であるとしたらその再構成は軽ーいということはない
1. 仮定1: 以下のように仮定する。その生産点は近侍しない
2. 事実1と仮定1から、推論1: "その生産点は中世末でないしさらに低下しない"が導かれる
3. 仮定2: 以下のように仮定する。「その生産点は中世末でなくておまけに低下しない」ということは成り立たない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「その生産点は近侍する」ということは真実だ"が導かれる
6. 事実5から、推論4: "その生産点は際物映画である"が導かれる
7. 推論3と推論4から、推論5: "その生産点は近侍するしさらに際物映画である"が導かれる
8. 推論5から、推論6: "なにかは近侍するし加えて際物映画だ"が導かれる
9. 推論6と事実13から、推論7: "その再構成は軽ーくない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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