あの無声音は生成し易くない
fact1: その国際放送は賛成しない fact2: もし「あのインテーク面接は喜べるけれどそれは久しということはない」ということは成り立たないとすればそれは教派でない fact3: その国際放送は言い淀まない fact4: 「あのインテーク面接は喜べるしおまけにそれは久し」ということは成り立たない fact5: 「あのインテーク面接は喜べるがしかし久しということはない」ということは確かでない fact6: もしも何かは内風呂男でないとすれば「生成し易くてかつ教派である」ということは成り立つということはない fact7: もし仮にあのインテーク面接は教派でないとしたら「あの無声音は生成し易い」ということは事実である fact8: 仮になにがしかのものが言い淀むということはなくて更にそれが賛成するということはないとしたらそれは事務機だということはない fact9: あの無声音は久し
fact2 & fact5 -> int1: 「あのインテーク面接は教派である」ということは成り立たない; int1 & fact7 -> hypothesis;
fact2 & fact5 -> int1: ¬{B}{a}; int1 & fact7 -> hypothesis;
あの無声音は生成し易いということはない
fact10 -> int2: もしもあのインテーク面接は内風呂男でないとすると「それは生成し易いし加えてそれは教派だ」ということは成り立つということはない; fact12 -> int3: もしもその国際放送が言い淀まないし賛成しないならそれは事務機でない; fact13 & fact11 -> int4: 「その国際放送は言い淀まないしそれは賛成しない」ということは真実だ; int3 & int4 -> int5: その国際放送は事務機であるということはない; int5 -> int6: なにがしかのものは事務機でない;
$facts$ = fact1: その国際放送は賛成しない fact2: もし「あのインテーク面接は喜べるけれどそれは久しということはない」ということは成り立たないとすればそれは教派でない fact3: その国際放送は言い淀まない fact4: 「あのインテーク面接は喜べるしおまけにそれは久し」ということは成り立たない fact5: 「あのインテーク面接は喜べるがしかし久しということはない」ということは確かでない fact6: もしも何かは内風呂男でないとすれば「生成し易くてかつ教派である」ということは成り立つということはない fact7: もし仮にあのインテーク面接は教派でないとしたら「あの無声音は生成し易い」ということは事実である fact8: 仮になにがしかのものが言い淀むということはなくて更にそれが賛成するということはないとしたらそれは事務機だということはない fact9: あの無声音は久し ; $hypothesis$ = あの無声音は生成し易くない ; $proof$ = 
fact2 & fact5 -> int1: 「あのインテーク面接は教派である」ということは成り立たない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: その国際放送は賛成しない
事実2: もし「あのインテーク面接は喜べるけれどそれは久しということはない」ということは成り立たないとすればそれは教派でない
事実3: その国際放送は言い淀まない
事実4: 「あのインテーク面接は喜べるしおまけにそれは久し」ということは成り立たない
事実5: 「あのインテーク面接は喜べるがしかし久しということはない」ということは確かでない
事実6: もしも何かは内風呂男でないとすれば「生成し易くてかつ教派である」ということは成り立つということはない
事実7: もし仮にあのインテーク面接は教派でないとしたら「あの無声音は生成し易い」ということは事実である
事実8: 仮になにがしかのものが言い淀むということはなくて更にそれが賛成するということはないとしたらそれは事務機だということはない
事実9: あの無声音は久し

仮説: あの無声音は生成し易くない
1. 事実2と事実5から、推論1: "「あのインテーク面接は教派である」ということは成り立たない"が導かれる
2. 推論1と事実7から、仮説が否定される

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