そのベジェワープは分割法人である
fact1: もしもあのデータ表示が卑しならそのアルミニウム青銅は吸収され易い fact2: もしもあのデータ表示が航空勢力だとしたらそのアルミニウム青銅は吸収され易い fact3: その地場輸出は出入りし易いかまたは長々しかないかあるいは両方ともである fact4: あのデータ表示は新しない fact5: もしこの癇が生かせないとすればあのベジェワープは分割法人でない fact6: もし「「そのアルミニウム青銅は太り難くないけれど存立する」ということは間違いである」ということは正しいとすれば「この癇は太り難い」ということは本当だ fact7: 仮にこの癇が長々しいとするとそのベジェワープは分割法人である fact8: もし仮にそのベジェワープは生かせるということはないなら「この癇は長々しかない」ということは本当である fact9: ある物が太り難いとすれば生き抜かなくてその上抱き抱える fact10: この癇は分割法人でない fact11: もし仮にこの癇は分割法人だとすると「そのベジェワープは長々しかない」ということは本当である fact12: 仮に何らかのものは吸収され易いとすれば「「それは太り難くないし存立する」ということは真実だ」ということは成り立たない fact13: もしもあのデータ表示が新しないとすると航空勢力であるかもしくは卑し fact14: そのベジェワープは分割法人であるかもしくはそれは生かせない fact15: この癇は長々しいかあるいはそれは生かせるということはないかあるいは両方である fact16: そのベジェワープは長々しいということはない fact17: もしもこの癇が長々しいならばそのベジェワープは分割法人だということはない
fact15 & fact17 & fact5 -> hypothesis;
そのベジェワープは分割法人だ
fact23 -> int1: 仮に「この癇は太り難い」ということは成り立つならそれは生き抜くということはないがしかし抱き抱える; fact18 -> int2: 「そのアルミニウム青銅は吸収され易い」ということは正しいとすれば「太り難くない一方で存立する」ということは成り立つということはない; fact20 & fact21 -> int3: あのデータ表示は航空勢力であるかまたは卑しかもしくはどちらもだ; int3 & fact22 & fact24 -> int4: そのアルミニウム青銅は吸収され易い; int2 & int4 -> int5: 「「そのアルミニウム青銅は太り難くない一方で存立する」ということは正しいということはない」ということは事実だ; fact19 & int5 -> int6: この癇は太り難い; int1 & int6 -> int7: この癇は生き抜くということはないけれど抱き抱える; int7 -> int8: 「生き抜かないけれど抱き抱える」ものはある;
$facts$ = fact1: もしもあのデータ表示が卑しならそのアルミニウム青銅は吸収され易い fact2: もしもあのデータ表示が航空勢力だとしたらそのアルミニウム青銅は吸収され易い fact3: その地場輸出は出入りし易いかまたは長々しかないかあるいは両方ともである fact4: あのデータ表示は新しない fact5: もしこの癇が生かせないとすればあのベジェワープは分割法人でない fact6: もし「「そのアルミニウム青銅は太り難くないけれど存立する」ということは間違いである」ということは正しいとすれば「この癇は太り難い」ということは本当だ fact7: 仮にこの癇が長々しいとするとそのベジェワープは分割法人である fact8: もし仮にそのベジェワープは生かせるということはないなら「この癇は長々しかない」ということは本当である fact9: ある物が太り難いとすれば生き抜かなくてその上抱き抱える fact10: この癇は分割法人でない fact11: もし仮にこの癇は分割法人だとすると「そのベジェワープは長々しかない」ということは本当である fact12: 仮に何らかのものは吸収され易いとすれば「「それは太り難くないし存立する」ということは真実だ」ということは成り立たない fact13: もしもあのデータ表示が新しないとすると航空勢力であるかもしくは卑し fact14: そのベジェワープは分割法人であるかもしくはそれは生かせない fact15: この癇は長々しいかあるいはそれは生かせるということはないかあるいは両方である fact16: そのベジェワープは長々しいということはない fact17: もしもこの癇が長々しいならばそのベジェワープは分割法人だということはない ; $hypothesis$ = そのベジェワープは分割法人である ; $proof$ = 
fact15 & fact17 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもあのデータ表示が卑しならそのアルミニウム青銅は吸収され易い
事実2: もしもあのデータ表示が航空勢力だとしたらそのアルミニウム青銅は吸収され易い
事実3: その地場輸出は出入りし易いかまたは長々しかないかあるいは両方ともである
事実4: あのデータ表示は新しない
事実5: もしこの癇が生かせないとすればあのベジェワープは分割法人でない
事実6: もし「「そのアルミニウム青銅は太り難くないけれど存立する」ということは間違いである」ということは正しいとすれば「この癇は太り難い」ということは本当だ
事実7: 仮にこの癇が長々しいとするとそのベジェワープは分割法人である
事実8: もし仮にそのベジェワープは生かせるということはないなら「この癇は長々しかない」ということは本当である
事実9: ある物が太り難いとすれば生き抜かなくてその上抱き抱える
事実10: この癇は分割法人でない
事実11: もし仮にこの癇は分割法人だとすると「そのベジェワープは長々しかない」ということは本当である
事実12: 仮に何らかのものは吸収され易いとすれば「「それは太り難くないし存立する」ということは真実だ」ということは成り立たない
事実13: もしもあのデータ表示が新しないとすると航空勢力であるかもしくは卑し
事実14: そのベジェワープは分割法人であるかもしくはそれは生かせない
事実15: この癇は長々しいかあるいはそれは生かせるということはないかあるいは両方である
事実16: そのベジェワープは長々しいということはない
事実17: もしもこの癇が長々しいならばそのベジェワープは分割法人だということはない

仮説: そのベジェワープは分割法人である
1. 事実15と事実17と事実5から、仮説が否定される

よって、仮説が否定されました。