「あの制定者がねちっこいならこの食事時間は潜舵だ」ということは誤りだ
fact1: あの制定者は脂っぽくて更にそれは近習達だ fact2: 近習達で脂っぽい物はある fact3: あの制定者は潜舵である fact4: もしも脂っぽいものがねちっこいとしたらこの食事時間は潜舵である fact5: この食事時間は育ち難いし更にそれはねちっこい fact6: とある物はねちっこい fact7: あの制定者は近習達であるしおまけにそれは潜舵だ fact8: もしもあの制定者が潜舵ならばあの食事時間はねちっこい fact9: あの制定者は近習達である fact10: 「あの十七年度改正は脂っぽい」ということは確かだ fact11: なにがしかの物は近習達であるしおまけにねちっこい fact12: 「脂っぽい」物はある fact13: あの制定者は飛び掛かる fact14: この食事時間は易しい fact15: この食事時間は故無いしねちっこい fact16: 仮に「脂っぽくて近習達な」ものがあるとするとあの制定者はねちっこい fact17: もし仮にあの制定者が潜舵だとするとこの食事時間は近習達である fact18: その記章は脂っぽい fact19: なにがしかのものはねちっこいしその上近習達である fact20: あの許諾は潜舵である
fact1 -> int1: 「あの制定者は脂っぽい」ということは事実である; void -> assump1: 以下のように仮定する。あの制定者はねちっこい; int1 & assump1 -> int2: あの制定者は脂っぽいしねちっこい; int2 -> int3: 何かは脂っぽいしねちっこい; int3 & fact4 -> int4: この食事時間は潜舵である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あの制定者は脂っぽくて更にそれは近習達だ fact2: 近習達で脂っぽい物はある fact3: あの制定者は潜舵である fact4: もしも脂っぽいものがねちっこいとしたらこの食事時間は潜舵である fact5: この食事時間は育ち難いし更にそれはねちっこい fact6: とある物はねちっこい fact7: あの制定者は近習達であるしおまけにそれは潜舵だ fact8: もしもあの制定者が潜舵ならばあの食事時間はねちっこい fact9: あの制定者は近習達である fact10: 「あの十七年度改正は脂っぽい」ということは確かだ fact11: なにがしかの物は近習達であるしおまけにねちっこい fact12: 「脂っぽい」物はある fact13: あの制定者は飛び掛かる fact14: この食事時間は易しい fact15: この食事時間は故無いしねちっこい fact16: 仮に「脂っぽくて近習達な」ものがあるとするとあの制定者はねちっこい fact17: もし仮にあの制定者が潜舵だとするとこの食事時間は近習達である fact18: その記章は脂っぽい fact19: なにがしかのものはねちっこいしその上近習達である fact20: あの許諾は潜舵である ; $hypothesis$ = 「あの制定者がねちっこいならこの食事時間は潜舵だ」ということは誤りだ ; $proof$ = 
fact1 -> int1: 「あの制定者は脂っぽい」ということは事実である; void -> assump1: 以下のように仮定する。あの制定者はねちっこい; int1 & assump1 -> int2: あの制定者は脂っぽいしねちっこい; int2 -> int3: 何かは脂っぽいしねちっこい; int3 & fact4 -> int4: この食事時間は潜舵である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの制定者は脂っぽくて更にそれは近習達だ
事実2: 近習達で脂っぽい物はある
事実3: あの制定者は潜舵である
事実4: もしも脂っぽいものがねちっこいとしたらこの食事時間は潜舵である
事実5: この食事時間は育ち難いし更にそれはねちっこい
事実6: とある物はねちっこい
事実7: あの制定者は近習達であるしおまけにそれは潜舵だ
事実8: もしもあの制定者が潜舵ならばあの食事時間はねちっこい
事実9: あの制定者は近習達である
事実10: 「あの十七年度改正は脂っぽい」ということは確かだ
事実11: なにがしかの物は近習達であるしおまけにねちっこい
事実12: 「脂っぽい」物はある
事実13: あの制定者は飛び掛かる
事実14: この食事時間は易しい
事実15: この食事時間は故無いしねちっこい
事実16: 仮に「脂っぽくて近習達な」ものがあるとするとあの制定者はねちっこい
事実17: もし仮にあの制定者が潜舵だとするとこの食事時間は近習達である
事実18: その記章は脂っぽい
事実19: なにがしかのものはねちっこいしその上近習達である
事実20: あの許諾は潜舵である

仮説: 「あの制定者がねちっこいならこの食事時間は潜舵だ」ということは誤りだ
1. 事実1から、推論1: "「あの制定者は脂っぽい」ということは事実である"が導かれる
2. 仮定1: 以下のように仮定する。あの制定者はねちっこい
3. 推論1と仮定1から、推論2: "あの制定者は脂っぽいしねちっこい"が導かれる
4. 推論2から、推論3: "何かは脂っぽいしねちっこい"が導かれる
5. 推論3と事実4から、推論4: "この食事時間は潜舵である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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