あのＥｍａｃｓは公教育でない
fact1: 仮になにがしかの物は公教育であるならばそれは止む無し fact2: この傍聴人席は公教育である fact3: もしも何かは一箇月間ならば止む無し fact4: あのＥｍａｃｓは緩み掛ける fact5: 仮にあのＥｍａｃｓが止む無しならそれは公教育だ fact6: もしもあのＥｍａｃｓは名誉会員であるならばそれは公教育だ fact7: 「あのＥｍａｃｓは止む無し」ということは嘘でない
fact5 & fact7 -> hypothesis;
fact5 & fact7 -> hypothesis;
あの田数表示は止む無し
fact8 -> int1: 仮にあの田数表示が公教育だとしたら止む無し;
$facts$ = fact1: 仮になにがしかの物は公教育であるならばそれは止む無し fact2: この傍聴人席は公教育である fact3: もしも何かは一箇月間ならば止む無し fact4: あのＥｍａｃｓは緩み掛ける fact5: 仮にあのＥｍａｃｓが止む無しならそれは公教育だ fact6: もしもあのＥｍａｃｓは名誉会員であるならばそれは公教育だ fact7: 「あのＥｍａｃｓは止む無し」ということは嘘でない ; $hypothesis$ = あのＥｍａｃｓは公教育でない ; $proof$ = 
fact5 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物は公教育であるならばそれは止む無し
事実2: この傍聴人席は公教育である
事実3: もしも何かは一箇月間ならば止む無し
事実4: あのＥｍａｃｓは緩み掛ける
事実5: 仮にあのＥｍａｃｓが止む無しならそれは公教育だ
事実6: もしもあのＥｍａｃｓは名誉会員であるならばそれは公教育だ
事実7: 「あのＥｍａｃｓは止む無し」ということは嘘でない

仮説: あのＥｍａｃｓは公教育でない
1. 事実5と事実7から、仮説が否定される

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