その三十六見附は寒し
fact1: もし仮にこの弁当は法師であるけれど聞き忘れないならばそれは先頭でない fact2: そのＥＫＤはきらめく fact3: その三年内事業年度はきらめく fact4: そのＥＫＤが法師でないならこの弁当は法師であるが聞き忘れない fact5: その三十六見附は法師である fact6: この弁当は先頭だ fact7: もしもそのＥＫＤが安堵し難いし更にきらめけば法師でない fact8: もし仮にその三十六見附が寒しとするとそのＥＫＤは安堵し難い fact9: その三十六見附は聞き忘れる
void -> assump1: 以下のように仮定する。その三十六見附は寒し; fact8 & assump1 -> int1: そのＥＫＤは安堵し難い; int1 & fact2 -> int2: そのＥＫＤは安堵し難いしまたきらめく; int2 & fact7 -> int3: そのＥＫＤは法師でない; int3 & fact4 -> int4: この弁当は法師だけど聞き忘れない; int4 & fact1 -> int5: この弁当は先頭でない; int5 & fact6 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もし仮にこの弁当は法師であるけれど聞き忘れないならばそれは先頭でない fact2: そのＥＫＤはきらめく fact3: その三年内事業年度はきらめく fact4: そのＥＫＤが法師でないならこの弁当は法師であるが聞き忘れない fact5: その三十六見附は法師である fact6: この弁当は先頭だ fact7: もしもそのＥＫＤが安堵し難いし更にきらめけば法師でない fact8: もし仮にその三十六見附が寒しとするとそのＥＫＤは安堵し難い fact9: その三十六見附は聞き忘れる ; $hypothesis$ = その三十六見附は寒し ; $proof$ = 
void -> assump1: 以下のように仮定する。その三十六見附は寒し; fact8 & assump1 -> int1: そのＥＫＤは安堵し難い; int1 & fact2 -> int2: そのＥＫＤは安堵し難いしまたきらめく; int2 & fact7 -> int3: そのＥＫＤは法師でない; int3 & fact4 -> int4: この弁当は法師だけど聞き忘れない; int4 & fact1 -> int5: この弁当は先頭でない; int5 & fact6 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にこの弁当は法師であるけれど聞き忘れないならばそれは先頭でない
事実2: そのＥＫＤはきらめく
事実3: その三年内事業年度はきらめく
事実4: そのＥＫＤが法師でないならこの弁当は法師であるが聞き忘れない
事実5: その三十六見附は法師である
事実6: この弁当は先頭だ
事実7: もしもそのＥＫＤが安堵し難いし更にきらめけば法師でない
事実8: もし仮にその三十六見附が寒しとするとそのＥＫＤは安堵し難い
事実9: その三十六見附は聞き忘れる

仮説: その三十六見附は寒し
1. 仮定1: 以下のように仮定する。その三十六見附は寒し
2. 事実8と仮定1から、推論1: "そのＥＫＤは安堵し難い"が導かれる
3. 推論1と事実2から、推論2: "そのＥＫＤは安堵し難いしまたきらめく"が導かれる
4. 推論2と事実7から、推論3: "そのＥＫＤは法師でない"が導かれる
5. 推論3と事実4から、推論4: "この弁当は法師だけど聞き忘れない"が導かれる
6. 推論4と事実1から、推論5: "この弁当は先頭でない"が導かれる
7. 推論5と事実6から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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