もしも「あのチューンは丸暗記するということはないし長々しかない」ということは成り立たないならばあざとくない
fact1: 仮に「なんらかの物は切り揃えなくてその上山参でない」ということは間違っていれば設計する fact2: 「あのチューンは小憎らしくないしそれに作り難くない」ということは偽ならばオーバーラップしない fact3: 「なんらかの物は大僧正であるがしかしマンセルシステムでない」ということは確かでないならば「急進化しない」ということは成り立つ fact4: もし仮になんらかの物が寒いとすると甲斐甲斐しかない fact5: 愛しい物は仲違いしない fact6: もしも「なにがしかの物は丸暗記しなくて長々しかない」ということは偽だとすればそれはあざとくない fact7: 「長々しいものはあざとくない」ということは確かである fact8: もし仮に「とあるものは丸暗記する一方でそれは長々しかない」ということは成り立たないとすればあざとくない fact9: 「あのチューンは握り易い一方で記述文でない」ということは間違いであるならあざとくない fact10: もしあのチューンがあざといなら舞子でない fact11: 仮に「なにかは文芸化するがしかし妬ましくない」ということは成り立つということはないとするとＶＨでない fact12: あのチューンが握り易くなくておまけにあざとくないとすればそれは仲違いしない
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: 仮に「なんらかの物は切り揃えなくてその上山参でない」ということは間違っていれば設計する fact2: 「あのチューンは小憎らしくないしそれに作り難くない」ということは偽ならばオーバーラップしない fact3: 「なんらかの物は大僧正であるがしかしマンセルシステムでない」ということは確かでないならば「急進化しない」ということは成り立つ fact4: もし仮になんらかの物が寒いとすると甲斐甲斐しかない fact5: 愛しい物は仲違いしない fact6: もしも「なにがしかの物は丸暗記しなくて長々しかない」ということは偽だとすればそれはあざとくない fact7: 「長々しいものはあざとくない」ということは確かである fact8: もし仮に「とあるものは丸暗記する一方でそれは長々しかない」ということは成り立たないとすればあざとくない fact9: 「あのチューンは握り易い一方で記述文でない」ということは間違いであるならあざとくない fact10: もしあのチューンがあざといなら舞子でない fact11: 仮に「なにかは文芸化するがしかし妬ましくない」ということは成り立つということはないとするとＶＨでない fact12: あのチューンが握り易くなくておまけにあざとくないとすればそれは仲違いしない ; $hypothesis$ = もしも「あのチューンは丸暗記するということはないし長々しかない」ということは成り立たないならばあざとくない ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮に「なんらかの物は切り揃えなくてその上山参でない」ということは間違っていれば設計する
事実2: 「あのチューンは小憎らしくないしそれに作り難くない」ということは偽ならばオーバーラップしない
事実3: 「なんらかの物は大僧正であるがしかしマンセルシステムでない」ということは確かでないならば「急進化しない」ということは成り立つ
事実4: もし仮になんらかの物が寒いとすると甲斐甲斐しかない
事実5: 愛しい物は仲違いしない
事実6: もしも「なにがしかの物は丸暗記しなくて長々しかない」ということは偽だとすればそれはあざとくない
事実7: 「長々しいものはあざとくない」ということは確かである
事実8: もし仮に「とあるものは丸暗記する一方でそれは長々しかない」ということは成り立たないとすればあざとくない
事実9: 「あのチューンは握り易い一方で記述文でない」ということは間違いであるならあざとくない
事実10: もしあのチューンがあざといなら舞子でない
事実11: 仮に「なにかは文芸化するがしかし妬ましくない」ということは成り立つということはないとするとＶＨでない
事実12: あのチューンが握り易くなくておまけにあざとくないとすればそれは仲違いしない

仮説: もしも「あのチューンは丸暗記するということはないし長々しかない」ということは成り立たないならばあざとくない
1. 事実6から、仮説が導かれる

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