もしこのプロトロンビン時間が分岐因子ならばこのサテンは海縁でないがスプラインだ
fact1: このプロトロンビン時間は濃い fact2: あの押しボタンは保険契約でない一方で壊死だ fact3: もしもこのサテンが海縁だとすればこのプロトロンビン時間はスプラインでないがしかし分岐因子である fact4: 何らかのものは分岐因子だ fact5: 仮にこのプロトロンビン時間が併合しないし乗り難くないならばそのニコチン性アセチルコリン受容体は御手伝いする fact6: もしもあの押しボタンが併合しなくてまた海縁でないとするとこのサテンは海縁でない fact7: あの押しボタンは御手伝いする fact8: もし仮にこのサテンが併合すればそれはスプラインでないしおまけに海縁でない fact9: 「このサテンは分岐因子である」ということは成り立つとすればこのプロトロンビン時間はスプラインでないけれど海縁だ fact10: もし「濃いししかも分岐因子な」物があるとするとこのサテンはスプラインである fact11: もしもこのサテンが海縁だということはなくて更にそれがスプラインでないならばあの押しボタンはスプラインでない fact12: あの押しボタンは海縁でない fact13: もし海縁はスプラインであるなら「このサテンは御手伝いする」ということは本当である fact14: 仮にあの押しボタンが海縁だとするとこのサテンはスプラインでないけれど御手伝いする fact15: あの詳細審査は御手伝いする fact16: あの押しボタンが御手伝いするとしたら併合しなくてしかもそれは海縁でない fact17: あの押しボタンが御手伝いするとするとそれは海縁であるということはない fact18: もしもこのサテンが分岐因子だとするとあの押しボタンは海縁でないがしかしスプラインだ fact19: 仮にそのニコチン性アセチルコリン受容体が御手伝いするとしたらそれは分岐因子でないしまた海縁でない fact20: なんらかのものは海縁であるしそれに御手伝いする fact21: 「「濃い」ということは本当である」物はある fact22: もし仮にあの押しボタンが併合しないがしかし海縁であるならばこのサテンは海縁でない fact23: 「あの押しボタンが御手伝いするということはなくて併合しないなら「このサテンは併合しない」ということは成り立つ」ということは成り立つ fact24: その学生さん達は濃い fact25: このサテンは濃い fact26: もし仮にこのサテンが分岐因子だとすればこのプロトロンビン時間は海縁でないけどスプラインだ
void -> assump1: 以下のように仮定する。このプロトロンビン時間は分岐因子である; fact1 & assump1 -> int1: 「このプロトロンビン時間は濃くてかつ分岐因子だ」ということは成り立つ; int1 -> int2: 「濃くてそれに分岐因子である」ものはある; int2 & fact10 -> int3: このサテンはスプラインである; fact16 & fact7 -> int4: あの押しボタンは併合しないしおまけに海縁でない; int4 & fact6 -> int5: このサテンは海縁でない; int3 & int5 -> int6: このサテンは海縁でないけどそれはスプラインだ; [assump1] & int6 -> hypothesis;
そのニコチン性アセチルコリン受容体は分岐因子でないけれど修繕する
$facts$ = fact1: このプロトロンビン時間は濃い fact2: あの押しボタンは保険契約でない一方で壊死だ fact3: もしもこのサテンが海縁だとすればこのプロトロンビン時間はスプラインでないがしかし分岐因子である fact4: 何らかのものは分岐因子だ fact5: 仮にこのプロトロンビン時間が併合しないし乗り難くないならばそのニコチン性アセチルコリン受容体は御手伝いする fact6: もしもあの押しボタンが併合しなくてまた海縁でないとするとこのサテンは海縁でない fact7: あの押しボタンは御手伝いする fact8: もし仮にこのサテンが併合すればそれはスプラインでないしおまけに海縁でない fact9: 「このサテンは分岐因子である」ということは成り立つとすればこのプロトロンビン時間はスプラインでないけれど海縁だ fact10: もし「濃いししかも分岐因子な」物があるとするとこのサテンはスプラインである fact11: もしもこのサテンが海縁だということはなくて更にそれがスプラインでないならばあの押しボタンはスプラインでない fact12: あの押しボタンは海縁でない fact13: もし海縁はスプラインであるなら「このサテンは御手伝いする」ということは本当である fact14: 仮にあの押しボタンが海縁だとするとこのサテンはスプラインでないけれど御手伝いする fact15: あの詳細審査は御手伝いする fact16: あの押しボタンが御手伝いするとしたら併合しなくてしかもそれは海縁でない fact17: あの押しボタンが御手伝いするとするとそれは海縁であるということはない fact18: もしもこのサテンが分岐因子だとするとあの押しボタンは海縁でないがしかしスプラインだ fact19: 仮にそのニコチン性アセチルコリン受容体が御手伝いするとしたらそれは分岐因子でないしまた海縁でない fact20: なんらかのものは海縁であるしそれに御手伝いする fact21: 「「濃い」ということは本当である」物はある fact22: もし仮にあの押しボタンが併合しないがしかし海縁であるならばこのサテンは海縁でない fact23: 「あの押しボタンが御手伝いするということはなくて併合しないなら「このサテンは併合しない」ということは成り立つ」ということは成り立つ fact24: その学生さん達は濃い fact25: このサテンは濃い fact26: もし仮にこのサテンが分岐因子だとすればこのプロトロンビン時間は海縁でないけどスプラインだ ; $hypothesis$ = もしこのプロトロンビン時間が分岐因子ならばこのサテンは海縁でないがスプラインだ ; $proof$ = 
void -> assump1: 以下のように仮定する。このプロトロンビン時間は分岐因子である; fact1 & assump1 -> int1: 「このプロトロンビン時間は濃くてかつ分岐因子だ」ということは成り立つ; int1 -> int2: 「濃くてそれに分岐因子である」ものはある; int2 & fact10 -> int3: このサテンはスプラインである; fact16 & fact7 -> int4: あの押しボタンは併合しないしおまけに海縁でない; int4 & fact6 -> int5: このサテンは海縁でない; int3 & int5 -> int6: このサテンは海縁でないけどそれはスプラインだ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: このプロトロンビン時間は濃い
事実2: あの押しボタンは保険契約でない一方で壊死だ
事実3: もしもこのサテンが海縁だとすればこのプロトロンビン時間はスプラインでないがしかし分岐因子である
事実4: 何らかのものは分岐因子だ
事実5: 仮にこのプロトロンビン時間が併合しないし乗り難くないならばそのニコチン性アセチルコリン受容体は御手伝いする
事実6: もしもあの押しボタンが併合しなくてまた海縁でないとするとこのサテンは海縁でない
事実7: あの押しボタンは御手伝いする
事実8: もし仮にこのサテンが併合すればそれはスプラインでないしおまけに海縁でない
事実9: 「このサテンは分岐因子である」ということは成り立つとすればこのプロトロンビン時間はスプラインでないけれど海縁だ
事実10: もし「濃いししかも分岐因子な」物があるとするとこのサテンはスプラインである
事実11: もしもこのサテンが海縁だということはなくて更にそれがスプラインでないならばあの押しボタンはスプラインでない
事実12: あの押しボタンは海縁でない
事実13: もし海縁はスプラインであるなら「このサテンは御手伝いする」ということは本当である
事実14: 仮にあの押しボタンが海縁だとするとこのサテンはスプラインでないけれど御手伝いする
事実15: あの詳細審査は御手伝いする
事実16: あの押しボタンが御手伝いするとしたら併合しなくてしかもそれは海縁でない
事実17: あの押しボタンが御手伝いするとするとそれは海縁であるということはない
事実18: もしもこのサテンが分岐因子だとするとあの押しボタンは海縁でないがしかしスプラインだ
事実19: 仮にそのニコチン性アセチルコリン受容体が御手伝いするとしたらそれは分岐因子でないしまた海縁でない
事実20: なんらかのものは海縁であるしそれに御手伝いする
事実21: 「「濃い」ということは本当である」物はある
事実22: もし仮にあの押しボタンが併合しないがしかし海縁であるならばこのサテンは海縁でない
事実23: 「あの押しボタンが御手伝いするということはなくて併合しないなら「このサテンは併合しない」ということは成り立つ」ということは成り立つ
事実24: その学生さん達は濃い
事実25: このサテンは濃い
事実26: もし仮にこのサテンが分岐因子だとすればこのプロトロンビン時間は海縁でないけどスプラインだ

仮説: もしこのプロトロンビン時間が分岐因子ならばこのサテンは海縁でないがスプラインだ
1. 仮定1: 以下のように仮定する。このプロトロンビン時間は分岐因子である
2. 事実1と仮定1から、推論1: "「このプロトロンビン時間は濃くてかつ分岐因子だ」ということは成り立つ"が導かれる
3. 推論1から、推論2: "「濃くてそれに分岐因子である」ものはある"が導かれる
4. 推論2と事実10から、推論3: "このサテンはスプラインである"が導かれる
5. 事実16と事実7から、推論4: "あの押しボタンは併合しないしおまけに海縁でない"が導かれる
6. 推論4と事実6から、推論5: "このサテンは海縁でない"が導かれる
7. 推論3と推論5から、推論6: "このサテンは海縁でないけどそれはスプラインだ"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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