「もし仮にこのナチス党大会がオートコレクトであるならあのバーラーチャッティー郡マンファル村生まれは治療用だ」ということは誤りである
fact1: その栄養アセスメントが漕ぎ着けるとしたらあのバーラーチャッティー郡マンファル村生まれは成され易い fact2: もし仮にあのバーラーチャッティー郡マンファル村生まれはオートコレクトであるとするとそれは遣り難い fact3: もし仮にあのバーラーチャッティー郡マンファル村生まれが成され易いならば遣り難い fact4: 遣り難い物は治療用である fact5: もし仮にこのナチス党大会は動き易いとすると「その永劫はオートコレクトである」ということは成り立つ fact6: このナチス党大会は多面体である fact7: もし仮にとあるものが漕ぎ着ければオートコレクトだ fact8: 「このナチス党大会はオートコレクトである」ということは成り立つとすればその永劫は動き易い fact9: もしもその永劫が動き易いならその栄養アセスメントは漕ぎ着ける fact10: このナチス党大会は気忙しい fact11: その永劫は治療用である fact12: その永劫が漕ぎ着けるとしたらその栄養アセスメントは動き易い fact13: その永劫は漕ぎ着ける fact14: もし仮にその永劫が動き易いとするとそれは漕ぎ着ける fact15: もしもこのナチス党大会が治療用であるならばあのバーラーチャッティー郡マンファル村生まれは遣り難い fact16: このナチス党大会は立ち歩きする fact17: その永劫が遣り難いならあのバーラーチャッティー郡マンファル村生まれは動き易い
void -> assump1: 以下のように仮定する。このナチス党大会はオートコレクトだ; fact8 & assump1 -> int1: その永劫は動き易い; int1 & fact9 -> int2: その栄養アセスメントは漕ぎ着ける; int2 & fact1 -> int3: あのバーラーチャッティー郡マンファル村生まれは成され易い; int3 & fact3 -> int4: あのバーラーチャッティー郡マンファル村生まれは遣り難い; fact4 -> int5: もしあのバーラーチャッティー郡マンファル村生まれが遣り難いとするとそれは治療用だ; int4 & int5 -> int6: あのバーラーチャッティー郡マンファル村生まれは治療用だ; [assump1] & int6 -> hypothesis;
$facts$ = fact1: その栄養アセスメントが漕ぎ着けるとしたらあのバーラーチャッティー郡マンファル村生まれは成され易い fact2: もし仮にあのバーラーチャッティー郡マンファル村生まれはオートコレクトであるとするとそれは遣り難い fact3: もし仮にあのバーラーチャッティー郡マンファル村生まれが成され易いならば遣り難い fact4: 遣り難い物は治療用である fact5: もし仮にこのナチス党大会は動き易いとすると「その永劫はオートコレクトである」ということは成り立つ fact6: このナチス党大会は多面体である fact7: もし仮にとあるものが漕ぎ着ければオートコレクトだ fact8: 「このナチス党大会はオートコレクトである」ということは成り立つとすればその永劫は動き易い fact9: もしもその永劫が動き易いならその栄養アセスメントは漕ぎ着ける fact10: このナチス党大会は気忙しい fact11: その永劫は治療用である fact12: その永劫が漕ぎ着けるとしたらその栄養アセスメントは動き易い fact13: その永劫は漕ぎ着ける fact14: もし仮にその永劫が動き易いとするとそれは漕ぎ着ける fact15: もしもこのナチス党大会が治療用であるならばあのバーラーチャッティー郡マンファル村生まれは遣り難い fact16: このナチス党大会は立ち歩きする fact17: その永劫が遣り難いならあのバーラーチャッティー郡マンファル村生まれは動き易い ; $hypothesis$ = 「もし仮にこのナチス党大会がオートコレクトであるならあのバーラーチャッティー郡マンファル村生まれは治療用だ」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。このナチス党大会はオートコレクトだ; fact8 & assump1 -> int1: その永劫は動き易い; int1 & fact9 -> int2: その栄養アセスメントは漕ぎ着ける; int2 & fact1 -> int3: あのバーラーチャッティー郡マンファル村生まれは成され易い; int3 & fact3 -> int4: あのバーラーチャッティー郡マンファル村生まれは遣り難い; fact4 -> int5: もしあのバーラーチャッティー郡マンファル村生まれが遣り難いとするとそれは治療用だ; int4 & int5 -> int6: あのバーラーチャッティー郡マンファル村生まれは治療用だ; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: その栄養アセスメントが漕ぎ着けるとしたらあのバーラーチャッティー郡マンファル村生まれは成され易い
事実2: もし仮にあのバーラーチャッティー郡マンファル村生まれはオートコレクトであるとするとそれは遣り難い
事実3: もし仮にあのバーラーチャッティー郡マンファル村生まれが成され易いならば遣り難い
事実4: 遣り難い物は治療用である
事実5: もし仮にこのナチス党大会は動き易いとすると「その永劫はオートコレクトである」ということは成り立つ
事実6: このナチス党大会は多面体である
事実7: もし仮にとあるものが漕ぎ着ければオートコレクトだ
事実8: 「このナチス党大会はオートコレクトである」ということは成り立つとすればその永劫は動き易い
事実9: もしもその永劫が動き易いならその栄養アセスメントは漕ぎ着ける
事実10: このナチス党大会は気忙しい
事実11: その永劫は治療用である
事実12: その永劫が漕ぎ着けるとしたらその栄養アセスメントは動き易い
事実13: その永劫は漕ぎ着ける
事実14: もし仮にその永劫が動き易いとするとそれは漕ぎ着ける
事実15: もしもこのナチス党大会が治療用であるならばあのバーラーチャッティー郡マンファル村生まれは遣り難い
事実16: このナチス党大会は立ち歩きする
事実17: その永劫が遣り難いならあのバーラーチャッティー郡マンファル村生まれは動き易い

仮説: 「もし仮にこのナチス党大会がオートコレクトであるならあのバーラーチャッティー郡マンファル村生まれは治療用だ」ということは誤りである
1. 仮定1: 以下のように仮定する。このナチス党大会はオートコレクトだ
2. 事実8と仮定1から、推論1: "その永劫は動き易い"が導かれる
3. 推論1と事実9から、推論2: "その栄養アセスメントは漕ぎ着ける"が導かれる
4. 推論2と事実1から、推論3: "あのバーラーチャッティー郡マンファル村生まれは成され易い"が導かれる
5. 推論3と事実3から、推論4: "あのバーラーチャッティー郡マンファル村生まれは遣り難い"が導かれる
6. 事実4から、推論5: "もしあのバーラーチャッティー郡マンファル村生まれが遣り難いとするとそれは治療用だ"が導かれる
7. 推論4と推論5から、推論6: "あのバーラーチャッティー郡マンファル村生まれは治療用だ"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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