あの数式はビューポイントだ
fact1: もし仮にこの市民社会論が犯し難くないとしたらその赤血球は薄ら寒いということはない fact2: もし仮にあの数式が見難いとするとそのデブリドマンはビューポイントである fact3: そのデブリドマンは薄ら寒いかまたはそれはビューポイントであるかまたはどちらもである fact4: その一微塵はみみっちくない fact5: 仮にあの数式が薄ら寒いとすればそのデブリドマンはビューポイントだ fact6: あの数式は犯し難い fact7: もしもその赤血球が薄ら寒いならばあのデブリドマンは薄ら寒くない fact8: もしそのデブリドマンは見難いとすれば「あの数式はビューポイントだ」ということは確かである fact9: もし仮にそのデブリドマンが見難いとすればあの数式は薄ら寒い fact10: もしも「あの数式は薄ら寒い」ということは事実だとすれば「そのデブリドマンは見難い」ということは事実である fact11: 仮にそのデブリドマンが薄ら寒いとするとあの数式はビューポイントだ fact12: あの数式はビューポイントであるかもしくは見難い fact13: あの数式は隠滅する fact14: 「その一微塵は潜めるししかもそれは介入す」ということは成り立たないなら「あの魔法界はぎこちない」ということは事実と異なる fact15: 「そのデブリドマンはビューポイントである」ということは真実であるならばあの数式は見難い fact16: そのデブリドマンは見難いかあるいは薄ら寒いかまたは両方ともだ fact17: もし仮にそのデブリドマンがビューポイントだしそれが見難いとしたらあの数式はビューポイントであるということはない fact18: なにかはみみっちいということはないならば「潜めるし更に介入す」ということは誤りである fact19: そのデブリドマンはビューポイントであるかそれは薄ら寒いかもしくはどちらもである
fact16 & fact8 & fact11 -> hypothesis;
fact16 & fact8 & fact11 -> hypothesis;
あの数式はビューポイントでない
fact22 -> int1: もしその一微塵はみみっちくないならば「それは潜めるし更にそれは介入す」ということは成り立たない; int1 & fact20 -> int2: 「その一微塵は潜めるし加えて介入す」ということは誤りである; fact23 & int2 -> int3: あの魔法界はぎこちなくない; int3 -> int4: なにがしかの物はぎこちなくない;
$facts$ = fact1: もし仮にこの市民社会論が犯し難くないとしたらその赤血球は薄ら寒いということはない fact2: もし仮にあの数式が見難いとするとそのデブリドマンはビューポイントである fact3: そのデブリドマンは薄ら寒いかまたはそれはビューポイントであるかまたはどちらもである fact4: その一微塵はみみっちくない fact5: 仮にあの数式が薄ら寒いとすればそのデブリドマンはビューポイントだ fact6: あの数式は犯し難い fact7: もしもその赤血球が薄ら寒いならばあのデブリドマンは薄ら寒くない fact8: もしそのデブリドマンは見難いとすれば「あの数式はビューポイントだ」ということは確かである fact9: もし仮にそのデブリドマンが見難いとすればあの数式は薄ら寒い fact10: もしも「あの数式は薄ら寒い」ということは事実だとすれば「そのデブリドマンは見難い」ということは事実である fact11: 仮にそのデブリドマンが薄ら寒いとするとあの数式はビューポイントだ fact12: あの数式はビューポイントであるかもしくは見難い fact13: あの数式は隠滅する fact14: 「その一微塵は潜めるししかもそれは介入す」ということは成り立たないなら「あの魔法界はぎこちない」ということは事実と異なる fact15: 「そのデブリドマンはビューポイントである」ということは真実であるならばあの数式は見難い fact16: そのデブリドマンは見難いかあるいは薄ら寒いかまたは両方ともだ fact17: もし仮にそのデブリドマンがビューポイントだしそれが見難いとしたらあの数式はビューポイントであるということはない fact18: なにかはみみっちいということはないならば「潜めるし更に介入す」ということは誤りである fact19: そのデブリドマンはビューポイントであるかそれは薄ら寒いかもしくはどちらもである ; $hypothesis$ = あの数式はビューポイントだ ; $proof$ = 
fact16 & fact8 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にこの市民社会論が犯し難くないとしたらその赤血球は薄ら寒いということはない
事実2: もし仮にあの数式が見難いとするとそのデブリドマンはビューポイントである
事実3: そのデブリドマンは薄ら寒いかまたはそれはビューポイントであるかまたはどちらもである
事実4: その一微塵はみみっちくない
事実5: 仮にあの数式が薄ら寒いとすればそのデブリドマンはビューポイントだ
事実6: あの数式は犯し難い
事実7: もしもその赤血球が薄ら寒いならばあのデブリドマンは薄ら寒くない
事実8: もしそのデブリドマンは見難いとすれば「あの数式はビューポイントだ」ということは確かである
事実9: もし仮にそのデブリドマンが見難いとすればあの数式は薄ら寒い
事実10: もしも「あの数式は薄ら寒い」ということは事実だとすれば「そのデブリドマンは見難い」ということは事実である
事実11: 仮にそのデブリドマンが薄ら寒いとするとあの数式はビューポイントだ
事実12: あの数式はビューポイントであるかもしくは見難い
事実13: あの数式は隠滅する
事実14: 「その一微塵は潜めるししかもそれは介入す」ということは成り立たないなら「あの魔法界はぎこちない」ということは事実と異なる
事実15: 「そのデブリドマンはビューポイントである」ということは真実であるならばあの数式は見難い
事実16: そのデブリドマンは見難いかあるいは薄ら寒いかまたは両方ともだ
事実17: もし仮にそのデブリドマンがビューポイントだしそれが見難いとしたらあの数式はビューポイントであるということはない
事実18: なにかはみみっちいということはないならば「潜めるし更に介入す」ということは誤りである
事実19: そのデブリドマンはビューポイントであるかそれは薄ら寒いかもしくはどちらもである

仮説: あの数式はビューポイントだ
1. 事実16と事実8と事実11から、仮説が導かれる

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