その相似性は入り易い
fact1: もし「なにがしかの物は俺達夫婦でない一方で食い下がる」ということは間違っているならそれは俺達夫婦だ fact2: もしあるものは連なれば「その相似性はローストするし加えてコナン達だ」ということは成り立つということはない fact3: 「連なる」物はある fact4: 仮にその相似性が入り易くないとしたらローストするし更にコナン達でない fact5: 仮にとある物は入り易いなら「コナン達であるし根気強くない」ということは成り立つということはない fact6: 仮にその奇形種が甲高くないとしたらその相似性はカムフラージュしなくて更に見付け難いということはない fact7: 仮にその奇形種が見付け難いとしたらそれはカムフラージュするがしかし連ならない fact8: もし仮にある物はローストするとすれば「その相似性はコナン達だが入り易くない」ということは誤っている fact9: 仮に「なにかは連なるし入り易い」ということは確かでないとしたらそれは入り易くない fact10: その相似性が入り易くないならばコナン達でない fact11: 「あのフリーライターは俺達夫婦でないけど食い下がる」ということは誤りだ fact12: もしもなにかは連なれば「その相似性はローストするがコナン達でない」ということは成り立たない fact13: 仮に「なんらかの物は甲高い一方で敗戦時でない」ということは事実でないとすれば甲高いということはない fact14: 「もしもその相似性がカムフラージュしないとしたらあの口座情報は入り易くて連なる」ということは事実である fact15: あらゆる物は俺達夫婦であるし甲高い fact16: もしもあのフリーライターが甲高いとするとその奇形種は見付け難い
void -> assump1: 以下のように仮定する。その相似性は入り易くない; fact4 & assump1 -> int1: その相似性はローストするけどコナン達でない; fact3 & fact12 -> int2: 「その相似性はローストするがしかしコナン達でない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact4 & assump1 -> int1: ({AA}{a} & ¬{AB}{a}); fact3 & fact12 -> int2: ¬({AA}{a} & ¬{AB}{a}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの口座情報はコナン達だけど根気強くない」ということは成り立たない
fact19 -> int4: もしもあの口座情報は入り易いとすると「それはコナン達であるししかもそれは根気強くない」ということは間違いだ; fact18 -> int5: もし「その奇形種は甲高いが敗戦時でない」ということは成り立たないなら甲高くない; fact21 -> int6: もしも「あのフリーライターは俺達夫婦でない一方で食い下がる」ということは間違いだとしたら俺達夫婦である; int6 & fact22 -> int7: あのフリーライターは俺達夫婦だ;
$facts$ = fact1: もし「なにがしかの物は俺達夫婦でない一方で食い下がる」ということは間違っているならそれは俺達夫婦だ fact2: もしあるものは連なれば「その相似性はローストするし加えてコナン達だ」ということは成り立つということはない fact3: 「連なる」物はある fact4: 仮にその相似性が入り易くないとしたらローストするし更にコナン達でない fact5: 仮にとある物は入り易いなら「コナン達であるし根気強くない」ということは成り立つということはない fact6: 仮にその奇形種が甲高くないとしたらその相似性はカムフラージュしなくて更に見付け難いということはない fact7: 仮にその奇形種が見付け難いとしたらそれはカムフラージュするがしかし連ならない fact8: もし仮にある物はローストするとすれば「その相似性はコナン達だが入り易くない」ということは誤っている fact9: 仮に「なにかは連なるし入り易い」ということは確かでないとしたらそれは入り易くない fact10: その相似性が入り易くないならばコナン達でない fact11: 「あのフリーライターは俺達夫婦でないけど食い下がる」ということは誤りだ fact12: もしもなにかは連なれば「その相似性はローストするがコナン達でない」ということは成り立たない fact13: 仮に「なんらかの物は甲高い一方で敗戦時でない」ということは事実でないとすれば甲高いということはない fact14: 「もしもその相似性がカムフラージュしないとしたらあの口座情報は入り易くて連なる」ということは事実である fact15: あらゆる物は俺達夫婦であるし甲高い fact16: もしもあのフリーライターが甲高いとするとその奇形種は見付け難い ; $hypothesis$ = その相似性は入り易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その相似性は入り易くない; fact4 & assump1 -> int1: その相似性はローストするけどコナン達でない; fact3 & fact12 -> int2: 「その相似性はローストするがしかしコナン達でない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし「なにがしかの物は俺達夫婦でない一方で食い下がる」ということは間違っているならそれは俺達夫婦だ
事実2: もしあるものは連なれば「その相似性はローストするし加えてコナン達だ」ということは成り立つということはない
事実3: 「連なる」物はある
事実4: 仮にその相似性が入り易くないとしたらローストするし更にコナン達でない
事実5: 仮にとある物は入り易いなら「コナン達であるし根気強くない」ということは成り立つということはない
事実6: 仮にその奇形種が甲高くないとしたらその相似性はカムフラージュしなくて更に見付け難いということはない
事実7: 仮にその奇形種が見付け難いとしたらそれはカムフラージュするがしかし連ならない
事実8: もし仮にある物はローストするとすれば「その相似性はコナン達だが入り易くない」ということは誤っている
事実9: 仮に「なにかは連なるし入り易い」ということは確かでないとしたらそれは入り易くない
事実10: その相似性が入り易くないならばコナン達でない
事実11: 「あのフリーライターは俺達夫婦でないけど食い下がる」ということは誤りだ
事実12: もしもなにかは連なれば「その相似性はローストするがコナン達でない」ということは成り立たない
事実13: 仮に「なんらかの物は甲高い一方で敗戦時でない」ということは事実でないとすれば甲高いということはない
事実14: 「もしもその相似性がカムフラージュしないとしたらあの口座情報は入り易くて連なる」ということは事実である
事実15: あらゆる物は俺達夫婦であるし甲高い
事実16: もしもあのフリーライターが甲高いとするとその奇形種は見付け難い

仮説: その相似性は入り易い
1. 仮定1: 以下のように仮定する。その相似性は入り易くない
2. 事実4と仮定1から、推論1: "その相似性はローストするけどコナン達でない"が導かれる
3. 事実3と事実12から、推論2: "「その相似性はローストするがしかしコナン達でない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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