あの遅発性ジスキネジアは描き易くないけどそれは真似出来る
fact1: 「なにかは居眠りしなくて御祝い申し上げない」ということは間違っているとすると「それは居眠りする」ということは誤りでない fact2: もし仮にあの薬物が参考するとしたらこの原稿用紙ウィザードは辛抱強くないし青果店でない fact3: 先進技術は描き易くないがしかし真似出来る fact4: あの薬物が青果店だけどそれは辛抱強くない fact5: 仮にある物が居眠りするならそれは参考する fact6: あの薬物は描き易くない fact7: あの薬物が青果店であるけれどそれが辛抱強くないならばあの原稿用紙ウィザードは辛抱強い fact8: この印刷原稿が第二課長だとすればその階層別研修は第二課長であるということはない fact9: もしあの遅発性ジスキネジアは先進技術であるならば「それは辛抱強くてさらに青果店でない」ということは成り立つ fact10: もし仮にとあるものが居眠りするとすれば参考しない一方で先進技術である fact11: この原稿用紙ウィザードが参考しない一方で先進技術であるならばあの遅発性ジスキネジアは先進技術である fact12: もしもあの遅発性ジスキネジアが辛抱強いが青果店でないとすればその農協運営は辛抱強いということはない fact13: もし仮にあの遅発性ジスキネジアが描き易いということはないけど真似出来るとすればこの原稿用紙ウィザードは辛抱強くない fact14: 何かは御祝い申し上げないししかも弱くないなら居眠りする fact15: 「この原稿用紙ウィザードは弱くない」ということは成り立つとしたら「それは居眠りしなくて御祝い申し上げない」ということは本当でない fact16: もし仮にその階層別研修が第二課長でないならあの薬物は御祝い申し上げないしおまけに弱くない fact17: この原稿用紙ウィザードは喧しくないとしたら「それは弱くて加えて第二課長だ」ということは成り立たない fact18: その平板培地は辛抱強い
void -> assump1: 以下のように仮定する。あの遅発性ジスキネジアは描き易くないがしかし真似出来る; fact13 & assump1 -> int1: この原稿用紙ウィザードは辛抱強くない; fact7 & fact4 -> int2: この原稿用紙ウィザードは辛抱強い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの遅発性ジスキネジアは描き易くないけれど真似出来る
fact19 -> int4: あの遅発性ジスキネジアは先進技術であるなら描き易くないけれど真似出来る; fact20 -> int5: 仮にあの薬物が居眠りするとしたら参考する; fact22 -> int6: もしあの薬物が御祝い申し上げるということはないしさらに弱くないならば居眠りする;
$facts$ = fact1: 「なにかは居眠りしなくて御祝い申し上げない」ということは間違っているとすると「それは居眠りする」ということは誤りでない fact2: もし仮にあの薬物が参考するとしたらこの原稿用紙ウィザードは辛抱強くないし青果店でない fact3: 先進技術は描き易くないがしかし真似出来る fact4: あの薬物が青果店だけどそれは辛抱強くない fact5: 仮にある物が居眠りするならそれは参考する fact6: あの薬物は描き易くない fact7: あの薬物が青果店であるけれどそれが辛抱強くないならばあの原稿用紙ウィザードは辛抱強い fact8: この印刷原稿が第二課長だとすればその階層別研修は第二課長であるということはない fact9: もしあの遅発性ジスキネジアは先進技術であるならば「それは辛抱強くてさらに青果店でない」ということは成り立つ fact10: もし仮にとあるものが居眠りするとすれば参考しない一方で先進技術である fact11: この原稿用紙ウィザードが参考しない一方で先進技術であるならばあの遅発性ジスキネジアは先進技術である fact12: もしもあの遅発性ジスキネジアが辛抱強いが青果店でないとすればその農協運営は辛抱強いということはない fact13: もし仮にあの遅発性ジスキネジアが描き易いということはないけど真似出来るとすればこの原稿用紙ウィザードは辛抱強くない fact14: 何かは御祝い申し上げないししかも弱くないなら居眠りする fact15: 「この原稿用紙ウィザードは弱くない」ということは成り立つとしたら「それは居眠りしなくて御祝い申し上げない」ということは本当でない fact16: もし仮にその階層別研修が第二課長でないならあの薬物は御祝い申し上げないしおまけに弱くない fact17: この原稿用紙ウィザードは喧しくないとしたら「それは弱くて加えて第二課長だ」ということは成り立たない fact18: その平板培地は辛抱強い ; $hypothesis$ = あの遅発性ジスキネジアは描き易くないけどそれは真似出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの遅発性ジスキネジアは描き易くないがしかし真似出来る; fact13 & assump1 -> int1: この原稿用紙ウィザードは辛抱強くない; fact7 & fact4 -> int2: この原稿用紙ウィザードは辛抱強い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「なにかは居眠りしなくて御祝い申し上げない」ということは間違っているとすると「それは居眠りする」ということは誤りでない
事実2: もし仮にあの薬物が参考するとしたらこの原稿用紙ウィザードは辛抱強くないし青果店でない
事実3: 先進技術は描き易くないがしかし真似出来る
事実4: あの薬物が青果店だけどそれは辛抱強くない
事実5: 仮にある物が居眠りするならそれは参考する
事実6: あの薬物は描き易くない
事実7: あの薬物が青果店であるけれどそれが辛抱強くないならばあの原稿用紙ウィザードは辛抱強い
事実8: この印刷原稿が第二課長だとすればその階層別研修は第二課長であるということはない
事実9: もしあの遅発性ジスキネジアは先進技術であるならば「それは辛抱強くてさらに青果店でない」ということは成り立つ
事実10: もし仮にとあるものが居眠りするとすれば参考しない一方で先進技術である
事実11: この原稿用紙ウィザードが参考しない一方で先進技術であるならばあの遅発性ジスキネジアは先進技術である
事実12: もしもあの遅発性ジスキネジアが辛抱強いが青果店でないとすればその農協運営は辛抱強いということはない
事実13: もし仮にあの遅発性ジスキネジアが描き易いということはないけど真似出来るとすればこの原稿用紙ウィザードは辛抱強くない
事実14: 何かは御祝い申し上げないししかも弱くないなら居眠りする
事実15: 「この原稿用紙ウィザードは弱くない」ということは成り立つとしたら「それは居眠りしなくて御祝い申し上げない」ということは本当でない
事実16: もし仮にその階層別研修が第二課長でないならあの薬物は御祝い申し上げないしおまけに弱くない
事実17: この原稿用紙ウィザードは喧しくないとしたら「それは弱くて加えて第二課長だ」ということは成り立たない
事実18: その平板培地は辛抱強い

仮説: あの遅発性ジスキネジアは描き易くないけどそれは真似出来る
1. 仮定1: 以下のように仮定する。あの遅発性ジスキネジアは描き易くないがしかし真似出来る
2. 事実13と仮定1から、推論1: "この原稿用紙ウィザードは辛抱強くない"が導かれる
3. 事実7と事実4から、推論2: "この原稿用紙ウィザードは辛抱強い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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