この運搬工程分析は符号化する
fact1: この代襲相続人が見放さないとしたらこの運搬工程分析は見放す fact2: この代襲相続人は見放さない fact3: もしこの直腸癌はすこくないとすると「この投資ファンドは処置後だしおまけに笛吹き第科だ」ということは成り立つ fact4: この直腸癌はすこくて見放す fact5: もし仮にあのウインドウ上部が符号化するとしたらこの運搬工程分析はやくざっぽくない fact6: この運搬工程分析は笛吹き第科であるし更に下馬する fact7: この運搬工程分析は見放す fact8: この運搬工程分析はやくざっぽくて加えて笛吹き第科であるとすると符号化しない fact9: この直腸癌は符号化する fact10: もしもこの直腸癌が見放せばこの運搬工程分析はやくざっぽい
fact4 -> int1: この直腸癌は見放す; int1 & fact10 -> int2: この運搬工程分析はやくざっぽい; fact6 -> int3: 「この運搬工程分析は笛吹き第科である」ということは確かである; int2 & int3 -> int4: この運搬工程分析がやくざっぽいしその上笛吹き第科である; int4 & fact8 -> hypothesis;
この投資ファンドは処置後でその上笛吹き第科だ
fact12 & fact13 -> int5: この運搬工程分析は見放す;
$facts$ = fact1: この代襲相続人が見放さないとしたらこの運搬工程分析は見放す fact2: この代襲相続人は見放さない fact3: もしこの直腸癌はすこくないとすると「この投資ファンドは処置後だしおまけに笛吹き第科だ」ということは成り立つ fact4: この直腸癌はすこくて見放す fact5: もし仮にあのウインドウ上部が符号化するとしたらこの運搬工程分析はやくざっぽくない fact6: この運搬工程分析は笛吹き第科であるし更に下馬する fact7: この運搬工程分析は見放す fact8: この運搬工程分析はやくざっぽくて加えて笛吹き第科であるとすると符号化しない fact9: この直腸癌は符号化する fact10: もしもこの直腸癌が見放せばこの運搬工程分析はやくざっぽい ; $hypothesis$ = この運搬工程分析は符号化する ; $proof$ = 
fact4 -> int1: この直腸癌は見放す; int1 & fact10 -> int2: この運搬工程分析はやくざっぽい; fact6 -> int3: 「この運搬工程分析は笛吹き第科である」ということは確かである; int2 & int3 -> int4: この運搬工程分析がやくざっぽいしその上笛吹き第科である; int4 & fact8 -> hypothesis; __DISPROVED__
事実1: この代襲相続人が見放さないとしたらこの運搬工程分析は見放す
事実2: この代襲相続人は見放さない
事実3: もしこの直腸癌はすこくないとすると「この投資ファンドは処置後だしおまけに笛吹き第科だ」ということは成り立つ
事実4: この直腸癌はすこくて見放す
事実5: もし仮にあのウインドウ上部が符号化するとしたらこの運搬工程分析はやくざっぽくない
事実6: この運搬工程分析は笛吹き第科であるし更に下馬する
事実7: この運搬工程分析は見放す
事実8: この運搬工程分析はやくざっぽくて加えて笛吹き第科であるとすると符号化しない
事実9: この直腸癌は符号化する
事実10: もしもこの直腸癌が見放せばこの運搬工程分析はやくざっぽい

仮説: この運搬工程分析は符号化する
1. 事実4から、推論1: "この直腸癌は見放す"が導かれる
2. 推論1と事実10から、推論2: "この運搬工程分析はやくざっぽい"が導かれる
3. 事実6から、推論3: "「この運搬工程分析は笛吹き第科である」ということは確かである"が導かれる
4. 推論2と推論3から、推論4: "この運搬工程分析がやくざっぽいしその上笛吹き第科である"が導かれる
5. 推論4と事実8から、仮説が否定される

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