「この作業終了時は生じ兼ねる」ということは間違っていない
fact1: 「この作業終了時は住宅団地でないしテーブル席でない」ということは偽であるならばそれは生じ兼ねらない fact2: 仮に「なにがしかのものは観光客らしくないものでそれに住宅団地でない」ということは偽だとすると真っ白くない fact3: 真っ白くないものは生じ兼ねるしそれにいかれる fact4: もし仮にこの作業終了時が烏天狗だとしたら真っ白くない fact5: 「この作業終了時は住宅団地でないしまたそれはテーブル席でない」ということは誤っている fact6: この作業終了時はオーバーズボンであるかまたは運営改善だ fact7: もしこの作業終了時が汚れ易いならいじましくないしそれに多数説でない fact8: この作業終了時がいじましくないならばそれは長細くないがしかし烏天狗だ
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
この作業終了時は生じ兼ねる
fact11 -> int1: この作業終了時が真っ白くないとすればそれは生じ兼ねるし更にそれはいかれる;
$facts$ = fact1: 「この作業終了時は住宅団地でないしテーブル席でない」ということは偽であるならばそれは生じ兼ねらない fact2: 仮に「なにがしかのものは観光客らしくないものでそれに住宅団地でない」ということは偽だとすると真っ白くない fact3: 真っ白くないものは生じ兼ねるしそれにいかれる fact4: もし仮にこの作業終了時が烏天狗だとしたら真っ白くない fact5: 「この作業終了時は住宅団地でないしまたそれはテーブル席でない」ということは誤っている fact6: この作業終了時はオーバーズボンであるかまたは運営改善だ fact7: もしこの作業終了時が汚れ易いならいじましくないしそれに多数説でない fact8: この作業終了時がいじましくないならばそれは長細くないがしかし烏天狗だ ; $hypothesis$ = 「この作業終了時は生じ兼ねる」ということは間違っていない ; $proof$ = 
fact1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「この作業終了時は住宅団地でないしテーブル席でない」ということは偽であるならばそれは生じ兼ねらない
事実2: 仮に「なにがしかのものは観光客らしくないものでそれに住宅団地でない」ということは偽だとすると真っ白くない
事実3: 真っ白くないものは生じ兼ねるしそれにいかれる
事実4: もし仮にこの作業終了時が烏天狗だとしたら真っ白くない
事実5: 「この作業終了時は住宅団地でないしまたそれはテーブル席でない」ということは誤っている
事実6: この作業終了時はオーバーズボンであるかまたは運営改善だ
事実7: もしこの作業終了時が汚れ易いならいじましくないしそれに多数説でない
事実8: この作業終了時がいじましくないならばそれは長細くないがしかし烏天狗だ

仮説: 「この作業終了時は生じ兼ねる」ということは間違っていない
1. 事実1と事実5から、仮説が否定される

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