その洋式は各ブロックであるしそれに恥ずかし
fact1: もしもその大ファンがファイルするということはないとしたらあのちんこは各ブロックで加えて割り出す fact2: 仮に「「各ブロックだし恥ずかし」ということは成り立たない」ものはあるとしたら「あのちんこは割り出す」ということは事実だ fact3: もしも「何らかのものは忍耐強い」ということは事実だとしたら「あのちんこはクローズするしかつ割り出す」ということは誤っている fact4: 「あのちんこは毛細血管壁であるし加えてそれはクローズする」ということは間違いだ fact5: その大ファンはファイルしない fact6: もし仮に「忍耐強い」物はあるなら「その洋式は起き難くて掻く」ということは成り立たない fact7: 「忍耐強い」物はある fact8: もし仮に「「割り出すし恥ずかし」ということは偽な」ものがあるとすればあのちんこは毛細血管壁だ fact9: その洋式が恥ずかししその上それは毛細血管壁だ fact10: 何らかのものはクローズするし割り出す fact11: もし仮に「「クローズするし割り出す」ということは成り立たない」ものがあるならその洋式は各ブロックだ fact12: もし仮にあのちんこは忍耐強くないなら「その洋式は各ブロックで恥ずかし」ということは事実と異なる fact13: その洋式は毛細血管壁である fact14: 仮に「「割り出さない」ということは成り立つ」ものがあるならその洋式は各ブロックだ fact15: 恥ずかしないものは毛細血管壁でまたクローズする fact16: このベラ科は恥ずかし fact17: もし仮にあのちんこが忍耐強いとしたらその調整能力は汚らしい fact18: 「その洋式は恥ずかしということはない」ということは正しいとしたらその調整能力は恥ずかしない
fact7 & fact3 -> int1: 「あのちんこはクローズするしおまけに割り出す」ということは間違いだ; int1 -> int2: 「「クローズするし加えて割り出す」ということは嘘である」物はある; int2 & fact11 -> int3: その洋式は各ブロックである; fact9 -> int4: 「その洋式は恥ずかし」ということは正しい; int3 & int4 -> hypothesis;
「その洋式は各ブロックであるし恥ずかし」ということは事実と異なる
$facts$ = fact1: もしもその大ファンがファイルするということはないとしたらあのちんこは各ブロックで加えて割り出す fact2: 仮に「「各ブロックだし恥ずかし」ということは成り立たない」ものはあるとしたら「あのちんこは割り出す」ということは事実だ fact3: もしも「何らかのものは忍耐強い」ということは事実だとしたら「あのちんこはクローズするしかつ割り出す」ということは誤っている fact4: 「あのちんこは毛細血管壁であるし加えてそれはクローズする」ということは間違いだ fact5: その大ファンはファイルしない fact6: もし仮に「忍耐強い」物はあるなら「その洋式は起き難くて掻く」ということは成り立たない fact7: 「忍耐強い」物はある fact8: もし仮に「「割り出すし恥ずかし」ということは偽な」ものがあるとすればあのちんこは毛細血管壁だ fact9: その洋式が恥ずかししその上それは毛細血管壁だ fact10: 何らかのものはクローズするし割り出す fact11: もし仮に「「クローズするし割り出す」ということは成り立たない」ものがあるならその洋式は各ブロックだ fact12: もし仮にあのちんこは忍耐強くないなら「その洋式は各ブロックで恥ずかし」ということは事実と異なる fact13: その洋式は毛細血管壁である fact14: 仮に「「割り出さない」ということは成り立つ」ものがあるならその洋式は各ブロックだ fact15: 恥ずかしないものは毛細血管壁でまたクローズする fact16: このベラ科は恥ずかし fact17: もし仮にあのちんこが忍耐強いとしたらその調整能力は汚らしい fact18: 「その洋式は恥ずかしということはない」ということは正しいとしたらその調整能力は恥ずかしない ; $hypothesis$ = その洋式は各ブロックであるしそれに恥ずかし ; $proof$ = 
fact7 & fact3 -> int1: 「あのちんこはクローズするしおまけに割り出す」ということは間違いだ; int1 -> int2: 「「クローズするし加えて割り出す」ということは嘘である」物はある; int2 & fact11 -> int3: その洋式は各ブロックである; fact9 -> int4: 「その洋式は恥ずかし」ということは正しい; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもその大ファンがファイルするということはないとしたらあのちんこは各ブロックで加えて割り出す
事実2: 仮に「「各ブロックだし恥ずかし」ということは成り立たない」ものはあるとしたら「あのちんこは割り出す」ということは事実だ
事実3: もしも「何らかのものは忍耐強い」ということは事実だとしたら「あのちんこはクローズするしかつ割り出す」ということは誤っている
事実4: 「あのちんこは毛細血管壁であるし加えてそれはクローズする」ということは間違いだ
事実5: その大ファンはファイルしない
事実6: もし仮に「忍耐強い」物はあるなら「その洋式は起き難くて掻く」ということは成り立たない
事実7: 「忍耐強い」物はある
事実8: もし仮に「「割り出すし恥ずかし」ということは偽な」ものがあるとすればあのちんこは毛細血管壁だ
事実9: その洋式が恥ずかししその上それは毛細血管壁だ
事実10: 何らかのものはクローズするし割り出す
事実11: もし仮に「「クローズするし割り出す」ということは成り立たない」ものがあるならその洋式は各ブロックだ
事実12: もし仮にあのちんこは忍耐強くないなら「その洋式は各ブロックで恥ずかし」ということは事実と異なる
事実13: その洋式は毛細血管壁である
事実14: 仮に「「割り出さない」ということは成り立つ」ものがあるならその洋式は各ブロックだ
事実15: 恥ずかしないものは毛細血管壁でまたクローズする
事実16: このベラ科は恥ずかし
事実17: もし仮にあのちんこが忍耐強いとしたらその調整能力は汚らしい
事実18: 「その洋式は恥ずかしということはない」ということは正しいとしたらその調整能力は恥ずかしない

仮説: その洋式は各ブロックであるしそれに恥ずかし
1. 事実7と事実3から、推論1: "「あのちんこはクローズするしおまけに割り出す」ということは間違いだ"が導かれる
2. 推論1から、推論2: "「「クローズするし加えて割り出す」ということは嘘である」物はある"が導かれる
3. 推論2と事実11から、推論3: "その洋式は各ブロックである"が導かれる
4. 事実9から、推論4: "「その洋式は恥ずかし」ということは正しい"が導かれる
5. 推論3と推論4から、仮説が導かれる

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