「あのコーヒー・スリーブはステップアップしないし加えてそれは参加資格でない」ということは誤りだ
fact1: 仮にあの債権者平等は阻止すらないとしたら「その曳船は開幕であるかもしくはそれは欠けでないかどちらもだ」ということは成り立たない fact2: 「息しない」物はある fact3: 何らかの物は息する fact4: 「あのコーヒー・スリーブはステップアップするけど参加資格でない」ということは成り立たない fact5: 「その曳船は開幕であるかあるいは欠けでないかあるいはどちらもである」ということは誤っているならその円形坑は参加資格でない fact6: 「その曳船は開幕であるかそれは欠けだ」ということは嘘だとしたらその円形坑は参加資格でない fact7: 何かは大人しい fact8: 「あのコーヒー・スリーブはステップアップしないがそれは参加資格である」ということは成り立つということはない fact9: 重苦しいということはない物は精細管構造である fact10: もしもその円形坑は参加資格であるということはないとすると「あのコーヒー・スリーブはステップアップしなくてまたそれは参加資格でない」ということは成り立たない fact11: 「もしもその円形坑は参加資格だということはないなら「あのコーヒー・スリーブはステップアップするがしかし参加資格でない」ということは誤っている」ということは確かだ fact12: 「仮になにがしかの物が息しないとしたらあの債権者平等は重苦しくない」ということは間違っていない fact13: その円形坑は精細管構造でない fact14: 「もしも「あの債権者平等は阻止すらない」ということは本当ならその曳船は欠けである」ということは真実である fact15: もしなにがしかのものが阻止すとするとそれは精細管構造でない
fact15 -> int1: もし「あの債権者平等は阻止す」ということは確かであるならそれは精細管構造でない; void -> assump1: 以下のように仮定する。あの債権者平等は阻止す; int1 & assump1 -> int2: あの債権者平等は精細管構造でない; fact9 -> int3: もし仮にあの債権者平等は重苦しくないなら「精細管構造だ」ということは本当である; fact2 & fact12 -> int4: あの債権者平等は重苦しくない; int3 & int4 -> int5: あの債権者平等は精細管構造だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの債権者平等は阻止すらない」ということは事実である; int7 & fact1 -> int8: 「その曳船は開幕であるかまたは欠けでないかまたはどちらもである」ということは成り立つということはない; int8 & fact5 -> int9: その円形坑は参加資格でない; int9 & fact10 -> hypothesis;
$facts$ = fact1: 仮にあの債権者平等は阻止すらないとしたら「その曳船は開幕であるかもしくはそれは欠けでないかどちらもだ」ということは成り立たない fact2: 「息しない」物はある fact3: 何らかの物は息する fact4: 「あのコーヒー・スリーブはステップアップするけど参加資格でない」ということは成り立たない fact5: 「その曳船は開幕であるかあるいは欠けでないかあるいはどちらもである」ということは誤っているならその円形坑は参加資格でない fact6: 「その曳船は開幕であるかそれは欠けだ」ということは嘘だとしたらその円形坑は参加資格でない fact7: 何かは大人しい fact8: 「あのコーヒー・スリーブはステップアップしないがそれは参加資格である」ということは成り立つということはない fact9: 重苦しいということはない物は精細管構造である fact10: もしもその円形坑は参加資格であるということはないとすると「あのコーヒー・スリーブはステップアップしなくてまたそれは参加資格でない」ということは成り立たない fact11: 「もしもその円形坑は参加資格だということはないなら「あのコーヒー・スリーブはステップアップするがしかし参加資格でない」ということは誤っている」ということは確かだ fact12: 「仮になにがしかの物が息しないとしたらあの債権者平等は重苦しくない」ということは間違っていない fact13: その円形坑は精細管構造でない fact14: 「もしも「あの債権者平等は阻止すらない」ということは本当ならその曳船は欠けである」ということは真実である fact15: もしなにがしかのものが阻止すとするとそれは精細管構造でない ; $hypothesis$ = 「あのコーヒー・スリーブはステップアップしないし加えてそれは参加資格でない」ということは誤りだ ; $proof$ = 
fact15 -> int1: もし「あの債権者平等は阻止す」ということは確かであるならそれは精細管構造でない; void -> assump1: 以下のように仮定する。あの債権者平等は阻止す; int1 & assump1 -> int2: あの債権者平等は精細管構造でない; fact9 -> int3: もし仮にあの債権者平等は重苦しくないなら「精細管構造だ」ということは本当である; fact2 & fact12 -> int4: あの債権者平等は重苦しくない; int3 & int4 -> int5: あの債権者平等は精細管構造だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの債権者平等は阻止すらない」ということは事実である; int7 & fact1 -> int8: 「その曳船は開幕であるかまたは欠けでないかまたはどちらもである」ということは成り立つということはない; int8 & fact5 -> int9: その円形坑は参加資格でない; int9 & fact10 -> hypothesis; __PROVED__
事実1: 仮にあの債権者平等は阻止すらないとしたら「その曳船は開幕であるかもしくはそれは欠けでないかどちらもだ」ということは成り立たない
事実2: 「息しない」物はある
事実3: 何らかの物は息する
事実4: 「あのコーヒー・スリーブはステップアップするけど参加資格でない」ということは成り立たない
事実5: 「その曳船は開幕であるかあるいは欠けでないかあるいはどちらもである」ということは誤っているならその円形坑は参加資格でない
事実6: 「その曳船は開幕であるかそれは欠けだ」ということは嘘だとしたらその円形坑は参加資格でない
事実7: 何かは大人しい
事実8: 「あのコーヒー・スリーブはステップアップしないがそれは参加資格である」ということは成り立つということはない
事実9: 重苦しいということはない物は精細管構造である
事実10: もしもその円形坑は参加資格であるということはないとすると「あのコーヒー・スリーブはステップアップしなくてまたそれは参加資格でない」ということは成り立たない
事実11: 「もしもその円形坑は参加資格だということはないなら「あのコーヒー・スリーブはステップアップするがしかし参加資格でない」ということは誤っている」ということは確かだ
事実12: 「仮になにがしかの物が息しないとしたらあの債権者平等は重苦しくない」ということは間違っていない
事実13: その円形坑は精細管構造でない
事実14: 「もしも「あの債権者平等は阻止すらない」ということは本当ならその曳船は欠けである」ということは真実である
事実15: もしなにがしかのものが阻止すとするとそれは精細管構造でない

仮説: 「あのコーヒー・スリーブはステップアップしないし加えてそれは参加資格でない」ということは誤りだ
1. 事実15から、推論1: "もし「あの債権者平等は阻止す」ということは確かであるならそれは精細管構造でない"が導かれる
2. 仮定1: 以下のように仮定する。あの債権者平等は阻止す
3. 推論1と仮定1から、推論2: "あの債権者平等は精細管構造でない"が導かれる
4. 事実9から、推論3: "もし仮にあの債権者平等は重苦しくないなら「精細管構造だ」ということは本当である"が導かれる
5. 事実2と事実12から、推論4: "あの債権者平等は重苦しくない"が導かれる
6. 推論3と推論4から、推論5: "あの債権者平等は精細管構造だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの債権者平等は阻止すらない」ということは事実である"が導かれる
9. 推論7と事実1から、推論8: "「その曳船は開幕であるかまたは欠けでないかまたはどちらもである」ということは成り立つということはない"が導かれる
10. 推論8と事実5から、推論9: "その円形坑は参加資格でない"が導かれる
11. 推論9と事実10から、仮説が導かれる

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