この資本形成は太い
fact1: この油性は展開し易い fact2: 仮に「あの特定財源的性格は展開し易くないし加えてそれは好ましくない」ということは成り立たないとしたらこの油性は眩しい fact3: もしも「あるものはストライプ状である」ということは成り立てば甘ったるいということはない fact4: 展開し易くない物は太いし恐怖する fact5: もし「この油性は太い」ということは確かであるとすると「「あの特定財源的性格は展開し易くないし好ましいということはない」ということは誤りだ」ということは成り立つ fact6: この爛れは拝礼する fact7: 「もしもこの油性は展開し易いなら「あの特定財源的性格は眩しくないしまた好ましくない」ということは正しくない」ということは成り立つ fact8: 「あの特定財源的性格は眩しいがしかし好ましくない」ということは成り立たない fact9: もしもこの油性は展開し易いならば「この資本形成は好ましくない一方で太い」ということは事実でない fact10: 仮にこの爛れは枯れ木であるとしたら「あの特定財源的性格はイメージメニューでないけれどそれは展開し易い」ということは誤りだ fact11: 仮になにかは甘ったるいということはないとするとそれは枯れ木だ fact12: 仮にこの油性は展開し易いとしたら「あの特定財源的性格は眩しいが好ましくない」ということは誤っている fact13: もし仮に「あの特定財源的性格は眩しくなくてそれに好ましくない」ということは成り立たないとしたらこの資本形成は太い fact14: 「「あの特定財源的性格は眩しくないけどそれは好ましい」ということは成り立たない」ということは確かである fact15: 「この資本形成は好ましくないけど太い」ということは成り立たない fact16: もしもなんらかのものが拝礼するとするとストライプ状である fact17: もしもこの油性が太いしそれに恐怖するとするとこの資本形成は太くない fact18: 仮に「この油性は展開し易い」ということは事実であるなら「「あの特定財源的性格は眩しくないが好ましい」ということは成り立たない」ということは事実だ
fact7 & fact1 -> int1: 「あの特定財源的性格は眩しいということはなくて好ましくない」ということは誤っている; int1 & fact13 -> hypothesis;
fact7 & fact1 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact13 -> hypothesis;
この資本形成は太いということはない
fact22 -> int2: もしもこの油性が展開し易くないならそれは太いし恐怖する; fact25 -> int3: 仮に「この爛れは甘ったるいということはない」ということは正しいならば枯れ木だ; fact23 -> int4: もし仮にこの爛れがストライプ状だとしたらそれは甘ったるくない; fact21 -> int5: もし仮にこの爛れが拝礼するならそれはストライプ状である; int5 & fact20 -> int6: この爛れはストライプ状である; int4 & int6 -> int7: この爛れは甘ったるいということはない; int3 & int7 -> int8: この爛れは枯れ木である; fact24 & int8 -> int9: 「あの特定財源的性格はイメージメニューでないがそれは展開し易い」ということは成り立つということはない; int9 -> int10: 「「イメージメニューでないし加えて展開し易い」ということは真実でない」ものはある;
$facts$ = fact1: この油性は展開し易い fact2: 仮に「あの特定財源的性格は展開し易くないし加えてそれは好ましくない」ということは成り立たないとしたらこの油性は眩しい fact3: もしも「あるものはストライプ状である」ということは成り立てば甘ったるいということはない fact4: 展開し易くない物は太いし恐怖する fact5: もし「この油性は太い」ということは確かであるとすると「「あの特定財源的性格は展開し易くないし好ましいということはない」ということは誤りだ」ということは成り立つ fact6: この爛れは拝礼する fact7: 「もしもこの油性は展開し易いなら「あの特定財源的性格は眩しくないしまた好ましくない」ということは正しくない」ということは成り立つ fact8: 「あの特定財源的性格は眩しいがしかし好ましくない」ということは成り立たない fact9: もしもこの油性は展開し易いならば「この資本形成は好ましくない一方で太い」ということは事実でない fact10: 仮にこの爛れは枯れ木であるとしたら「あの特定財源的性格はイメージメニューでないけれどそれは展開し易い」ということは誤りだ fact11: 仮になにかは甘ったるいということはないとするとそれは枯れ木だ fact12: 仮にこの油性は展開し易いとしたら「あの特定財源的性格は眩しいが好ましくない」ということは誤っている fact13: もし仮に「あの特定財源的性格は眩しくなくてそれに好ましくない」ということは成り立たないとしたらこの資本形成は太い fact14: 「「あの特定財源的性格は眩しくないけどそれは好ましい」ということは成り立たない」ということは確かである fact15: 「この資本形成は好ましくないけど太い」ということは成り立たない fact16: もしもなんらかのものが拝礼するとするとストライプ状である fact17: もしもこの油性が太いしそれに恐怖するとするとこの資本形成は太くない fact18: 仮に「この油性は展開し易い」ということは事実であるなら「「あの特定財源的性格は眩しくないが好ましい」ということは成り立たない」ということは事実だ ; $hypothesis$ = この資本形成は太い ; $proof$ = 
fact7 & fact1 -> int1: 「あの特定財源的性格は眩しいということはなくて好ましくない」ということは誤っている; int1 & fact13 -> hypothesis; __PROVED__
事実1: この油性は展開し易い
事実2: 仮に「あの特定財源的性格は展開し易くないし加えてそれは好ましくない」ということは成り立たないとしたらこの油性は眩しい
事実3: もしも「あるものはストライプ状である」ということは成り立てば甘ったるいということはない
事実4: 展開し易くない物は太いし恐怖する
事実5: もし「この油性は太い」ということは確かであるとすると「「あの特定財源的性格は展開し易くないし好ましいということはない」ということは誤りだ」ということは成り立つ
事実6: この爛れは拝礼する
事実7: 「もしもこの油性は展開し易いなら「あの特定財源的性格は眩しくないしまた好ましくない」ということは正しくない」ということは成り立つ
事実8: 「あの特定財源的性格は眩しいがしかし好ましくない」ということは成り立たない
事実9: もしもこの油性は展開し易いならば「この資本形成は好ましくない一方で太い」ということは事実でない
事実10: 仮にこの爛れは枯れ木であるとしたら「あの特定財源的性格はイメージメニューでないけれどそれは展開し易い」ということは誤りだ
事実11: 仮になにかは甘ったるいということはないとするとそれは枯れ木だ
事実12: 仮にこの油性は展開し易いとしたら「あの特定財源的性格は眩しいが好ましくない」ということは誤っている
事実13: もし仮に「あの特定財源的性格は眩しくなくてそれに好ましくない」ということは成り立たないとしたらこの資本形成は太い
事実14: 「「あの特定財源的性格は眩しくないけどそれは好ましい」ということは成り立たない」ということは確かである
事実15: 「この資本形成は好ましくないけど太い」ということは成り立たない
事実16: もしもなんらかのものが拝礼するとするとストライプ状である
事実17: もしもこの油性が太いしそれに恐怖するとするとこの資本形成は太くない
事実18: 仮に「この油性は展開し易い」ということは事実であるなら「「あの特定財源的性格は眩しくないが好ましい」ということは成り立たない」ということは事実だ

仮説: この資本形成は太い
1. 事実7と事実1から、推論1: "「あの特定財源的性格は眩しいということはなくて好ましくない」ということは誤っている"が導かれる
2. 推論1と事実13から、仮説が導かれる

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