この禁煙支援は負んぶしない
fact1: この禁煙支援は強制する fact2: その庇は負んぶする fact3: もしもなにかは咳払いしないとすると「それは射通すということはない」ということは真実である fact4: 「この禁煙支援はＥＦだということはないけど進学出来る」ということは誤りであるとすれば「そのリース物件は進学出来ない」ということは成り立つ fact5: この禁煙支援は与し易い fact6: この禁煙支援は女っぽい fact7: もしその鍋物がＴＤＡリサーチだということはないがしかし強制するならばあの禁煙支援はＴＤＡリサーチでない fact8: もしこの禁煙支援が抱き竦めるとすればそれは負んぶする fact9: もし「この禁煙支援は与し易い」ということは事実だとすれば年功序列制だ fact10: なにかは強制すれば「それはＥＦでないけれど進学出来る」ということは事実と異なる fact11: あるものが進学出来ないとすればそれは咳払いしないしＴＤＡリサーチだ fact12: もし仮になにがしかの物が射通さないなら与し易くて負んぶする fact13: この禁煙支援が与し易いなら負んぶする fact14: もし仮にとあるものがＴＤＡリサーチだということはないとするとそれは射通すし更にそれは咳払いする
fact13 & fact5 -> hypothesis;
この禁煙支援は負んぶしない
fact15 -> int1: この禁煙支援はＴＤＡリサーチだということはないならば「射通すしかつ咳払いする」ということは本当である;
$facts$ = fact1: この禁煙支援は強制する fact2: その庇は負んぶする fact3: もしもなにかは咳払いしないとすると「それは射通すということはない」ということは真実である fact4: 「この禁煙支援はＥＦだということはないけど進学出来る」ということは誤りであるとすれば「そのリース物件は進学出来ない」ということは成り立つ fact5: この禁煙支援は与し易い fact6: この禁煙支援は女っぽい fact7: もしその鍋物がＴＤＡリサーチだということはないがしかし強制するならばあの禁煙支援はＴＤＡリサーチでない fact8: もしこの禁煙支援が抱き竦めるとすればそれは負んぶする fact9: もし「この禁煙支援は与し易い」ということは事実だとすれば年功序列制だ fact10: なにかは強制すれば「それはＥＦでないけれど進学出来る」ということは事実と異なる fact11: あるものが進学出来ないとすればそれは咳払いしないしＴＤＡリサーチだ fact12: もし仮になにがしかの物が射通さないなら与し易くて負んぶする fact13: この禁煙支援が与し易いなら負んぶする fact14: もし仮にとあるものがＴＤＡリサーチだということはないとするとそれは射通すし更にそれは咳払いする ; $hypothesis$ = この禁煙支援は負んぶしない ; $proof$ = 
fact13 & fact5 -> hypothesis; __DISPROVED__
事実1: この禁煙支援は強制する
事実2: その庇は負んぶする
事実3: もしもなにかは咳払いしないとすると「それは射通すということはない」ということは真実である
事実4: 「この禁煙支援はＥＦだということはないけど進学出来る」ということは誤りであるとすれば「そのリース物件は進学出来ない」ということは成り立つ
事実5: この禁煙支援は与し易い
事実6: この禁煙支援は女っぽい
事実7: もしその鍋物がＴＤＡリサーチだということはないがしかし強制するならばあの禁煙支援はＴＤＡリサーチでない
事実8: もしこの禁煙支援が抱き竦めるとすればそれは負んぶする
事実9: もし「この禁煙支援は与し易い」ということは事実だとすれば年功序列制だ
事実10: なにかは強制すれば「それはＥＦでないけれど進学出来る」ということは事実と異なる
事実11: あるものが進学出来ないとすればそれは咳払いしないしＴＤＡリサーチだ
事実12: もし仮になにがしかの物が射通さないなら与し易くて負んぶする
事実13: この禁煙支援が与し易いなら負んぶする
事実14: もし仮にとあるものがＴＤＡリサーチだということはないとするとそれは射通すし更にそれは咳払いする

仮説: この禁煙支援は負んぶしない
1. 事実13と事実5から、仮説が否定される

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