あの歌人・俳人はふくらし粉だ
fact1: 仮にあの歌人・俳人が連続性であるがそれが換装しないとするとふくらし粉でない fact2: もしもその市政がチャージャーでないとすれば直り難くて予習だ fact3: もしもその文教委員長が換装するが連続性でないならばそれは作業し易くない fact4: もしもその文教委員長は換装しないしその上連続性でないとすればそれは作業し易くない fact5: もし仮にその文教委員長が作業し易くないかあるいは賢くないかどちらもであるならあの歌人・俳人はふくらし粉でない fact6: その文教委員長は換装しないしそれは連続性でない fact7: 直り難い物は判読しないしさらに掴み易くない fact8: もし仮に「その文教委員長はふくらし粉であるけど作業し易くない」ということは間違っていればあの歌人・俳人はふくらし粉だ fact9: その文教委員長は作業し易いとしたら「あの歌人・俳人がふくらし粉だけど賢くない」ということは成り立つ
fact4 & fact6 -> int1: その文教委員長は作業し易くない; int1 -> int2: その文教委員長は作業し易くないかまたはそれは賢くないかあるいは両方ともである; int2 & fact5 -> hypothesis;
あの歌人・俳人はふくらし粉だ
fact11 -> int3: もし「その市政は直り難い」ということは本当ならばそれは判読しなくてその上掴み易いない;
$facts$ = fact1: 仮にあの歌人・俳人が連続性であるがそれが換装しないとするとふくらし粉でない fact2: もしもその市政がチャージャーでないとすれば直り難くて予習だ fact3: もしもその文教委員長が換装するが連続性でないならばそれは作業し易くない fact4: もしもその文教委員長は換装しないしその上連続性でないとすればそれは作業し易くない fact5: もし仮にその文教委員長が作業し易くないかあるいは賢くないかどちらもであるならあの歌人・俳人はふくらし粉でない fact6: その文教委員長は換装しないしそれは連続性でない fact7: 直り難い物は判読しないしさらに掴み易くない fact8: もし仮に「その文教委員長はふくらし粉であるけど作業し易くない」ということは間違っていればあの歌人・俳人はふくらし粉だ fact9: その文教委員長は作業し易いとしたら「あの歌人・俳人がふくらし粉だけど賢くない」ということは成り立つ ; $hypothesis$ = あの歌人・俳人はふくらし粉だ ; $proof$ = 
fact4 & fact6 -> int1: その文教委員長は作業し易くない; int1 -> int2: その文教委員長は作業し易くないかまたはそれは賢くないかあるいは両方ともである; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にあの歌人・俳人が連続性であるがそれが換装しないとするとふくらし粉でない
事実2: もしもその市政がチャージャーでないとすれば直り難くて予習だ
事実3: もしもその文教委員長が換装するが連続性でないならばそれは作業し易くない
事実4: もしもその文教委員長は換装しないしその上連続性でないとすればそれは作業し易くない
事実5: もし仮にその文教委員長が作業し易くないかあるいは賢くないかどちらもであるならあの歌人・俳人はふくらし粉でない
事実6: その文教委員長は換装しないしそれは連続性でない
事実7: 直り難い物は判読しないしさらに掴み易くない
事実8: もし仮に「その文教委員長はふくらし粉であるけど作業し易くない」ということは間違っていればあの歌人・俳人はふくらし粉だ
事実9: その文教委員長は作業し易いとしたら「あの歌人・俳人がふくらし粉だけど賢くない」ということは成り立つ

仮説: あの歌人・俳人はふくらし粉だ
1. 事実4と事実6から、推論1: "その文教委員長は作業し易くない"が導かれる
2. 推論1から、推論2: "その文教委員長は作業し易くないかまたはそれは賢くないかあるいは両方ともである"が導かれる
3. 推論2と事実5から、仮説が否定される

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