その対中援助は話し辛くない
fact1: もし仮にある物が抜き書きでないとするとそれは話し辛くておまけにそれは判別し易い fact2: 「「その三級は使用し易いがしかしそれは医療資源でない」ということは偽である」ということは成り立つ fact3: もし「その三級は使用し易くない物でおまけに医療資源でない」ということは事実と異なるならこのマイルストーンは抜き書きである fact4: もしこのマイルストーンが抜き書きだとすればそれは葛城系皇統でない fact5: 仮にこのマイルストーンは判別し易くないが葛城系皇統であるなら「その対中援助は話し辛い」ということは確かである fact6: もしもこのマイルストーンが葛城系皇統であるということはないしそれが使用し易くないならばその対中援助は話し辛い fact7: このマイルストーンは抜き書きであるならば判別し易くないし更に葛城系皇統でない fact8: このマイルストーンは葛城系皇統でない fact9: もしもこのマイルストーンが判別し易くないしその上それが葛城系皇統でないとすればその対中援助は話し辛い fact10: 「その三級は使用し易くないしその上医療資源であるということはない」ということは誤っている
fact3 & fact10 -> int1: このマイルストーンは抜き書きだ; int1 & fact7 -> int2: このマイルストーンは判別し易くないしそれは葛城系皇統でない; int2 & fact9 -> hypothesis;
fact3 & fact10 -> int1: {B}{b}; int1 & fact7 -> int2: (¬{A}{b} & ¬{C}{b}); int2 & fact9 -> hypothesis;
あの研究開発インセンティブは話し辛い
fact11 -> int3: もしもあの研究開発インセンティブは抜き書きでないとすると話し辛いし判別し易い;
$facts$ = fact1: もし仮にある物が抜き書きでないとするとそれは話し辛くておまけにそれは判別し易い fact2: 「「その三級は使用し易いがしかしそれは医療資源でない」ということは偽である」ということは成り立つ fact3: もし「その三級は使用し易くない物でおまけに医療資源でない」ということは事実と異なるならこのマイルストーンは抜き書きである fact4: もしこのマイルストーンが抜き書きだとすればそれは葛城系皇統でない fact5: 仮にこのマイルストーンは判別し易くないが葛城系皇統であるなら「その対中援助は話し辛い」ということは確かである fact6: もしもこのマイルストーンが葛城系皇統であるということはないしそれが使用し易くないならばその対中援助は話し辛い fact7: このマイルストーンは抜き書きであるならば判別し易くないし更に葛城系皇統でない fact8: このマイルストーンは葛城系皇統でない fact9: もしもこのマイルストーンが判別し易くないしその上それが葛城系皇統でないとすればその対中援助は話し辛い fact10: 「その三級は使用し易くないしその上医療資源であるということはない」ということは誤っている ; $hypothesis$ = その対中援助は話し辛くない ; $proof$ = 
fact3 & fact10 -> int1: このマイルストーンは抜き書きだ; int1 & fact7 -> int2: このマイルストーンは判別し易くないしそれは葛城系皇統でない; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮にある物が抜き書きでないとするとそれは話し辛くておまけにそれは判別し易い
事実2: 「「その三級は使用し易いがしかしそれは医療資源でない」ということは偽である」ということは成り立つ
事実3: もし「その三級は使用し易くない物でおまけに医療資源でない」ということは事実と異なるならこのマイルストーンは抜き書きである
事実4: もしこのマイルストーンが抜き書きだとすればそれは葛城系皇統でない
事実5: 仮にこのマイルストーンは判別し易くないが葛城系皇統であるなら「その対中援助は話し辛い」ということは確かである
事実6: もしもこのマイルストーンが葛城系皇統であるということはないしそれが使用し易くないならばその対中援助は話し辛い
事実7: このマイルストーンは抜き書きであるならば判別し易くないし更に葛城系皇統でない
事実8: このマイルストーンは葛城系皇統でない
事実9: もしもこのマイルストーンが判別し易くないしその上それが葛城系皇統でないとすればその対中援助は話し辛い
事実10: 「その三級は使用し易くないしその上医療資源であるということはない」ということは誤っている

仮説: その対中援助は話し辛くない
1. 事実3と事実10から、推論1: "このマイルストーンは抜き書きだ"が導かれる
2. 推論1と事実7から、推論2: "このマイルストーンは判別し易くないしそれは葛城系皇統でない"が導かれる
3. 推論2と事実9から、仮説が否定される

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