「「出穂期で更に想起する」物はある」ということは偽である
fact1: あの奴隷道徳は大人し fact2: 仮にこの腹癒せはリパン族であるならば出穂期である fact3: この掘削は文芸雑誌であるということはない fact4: もしも「この掘削は展開し易い」ということは真実だとすると削除出来る fact5: この掘削が文芸雑誌でないとするとこの腹癒せはださいし加えてそれは大人し fact6: この腹癒せは惨めったらしくてかつ想起する fact7: 「「想起する」ということは確かな」ものはある fact8: 仮にこの腹癒せがださいならばリパン族である fact9: もしもこの掘削が文芸雑誌だということはないならこの腹癒せは大人し
fact5 & fact3 -> int1: この腹癒せはださいしかつ大人し; int1 -> int2: この腹癒せはださい; int2 & fact8 -> int3: 「この腹癒せはリパン族である」ということは成り立つ; int3 & fact2 -> int4: この腹癒せは出穂期である; fact6 -> int5: この腹癒せは想起する; int4 & int5 -> int6: この腹癒せは出穂期であるし想起する; int6 -> hypothesis;
$facts$ = fact1: あの奴隷道徳は大人し fact2: 仮にこの腹癒せはリパン族であるならば出穂期である fact3: この掘削は文芸雑誌であるということはない fact4: もしも「この掘削は展開し易い」ということは真実だとすると削除出来る fact5: この掘削が文芸雑誌でないとするとこの腹癒せはださいし加えてそれは大人し fact6: この腹癒せは惨めったらしくてかつ想起する fact7: 「「想起する」ということは確かな」ものはある fact8: 仮にこの腹癒せがださいならばリパン族である fact9: もしもこの掘削が文芸雑誌だということはないならこの腹癒せは大人し ; $hypothesis$ = 「「出穂期で更に想起する」物はある」ということは偽である ; $proof$ = 
fact5 & fact3 -> int1: この腹癒せはださいしかつ大人し; int1 -> int2: この腹癒せはださい; int2 & fact8 -> int3: 「この腹癒せはリパン族である」ということは成り立つ; int3 & fact2 -> int4: この腹癒せは出穂期である; fact6 -> int5: この腹癒せは想起する; int4 & int5 -> int6: この腹癒せは出穂期であるし想起する; int6 -> hypothesis; __DISPROVED__
事実1: あの奴隷道徳は大人し
事実2: 仮にこの腹癒せはリパン族であるならば出穂期である
事実3: この掘削は文芸雑誌であるということはない
事実4: もしも「この掘削は展開し易い」ということは真実だとすると削除出来る
事実5: この掘削が文芸雑誌でないとするとこの腹癒せはださいし加えてそれは大人し
事実6: この腹癒せは惨めったらしくてかつ想起する
事実7: 「「想起する」ということは確かな」ものはある
事実8: 仮にこの腹癒せがださいならばリパン族である
事実9: もしもこの掘削が文芸雑誌だということはないならこの腹癒せは大人し

仮説: 「「出穂期で更に想起する」物はある」ということは偽である
1. 事実5と事実3から、推論1: "この腹癒せはださいしかつ大人し"が導かれる
2. 推論1から、推論2: "この腹癒せはださい"が導かれる
3. 推論2と事実8から、推論3: "「この腹癒せはリパン族である」ということは成り立つ"が導かれる
4. 推論3と事実2から、推論4: "この腹癒せは出穂期である"が導かれる
5. 事実6から、推論5: "この腹癒せは想起する"が導かれる
6. 推論4と推論5から、推論6: "この腹癒せは出穂期であるし想起する"が導かれる
7. 推論6から、仮説が否定される

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