あの薬用人参は白川南通りでない
fact1: 「もし仮に「この専売局はＩＳＤＦでなくて商人らしくない」ということは間違いだとしたらこの専売局は手広くない」ということは正しい fact2: そのスワロフスキービーズが押し詰まるしそれがひょろ長いならばあの指示収穫地価は細長くない fact3: 生じ難い物は痛々しくないけど商人らしい fact4: その指示収穫地価が細長くないならあの薬用人参は白川南通りだ fact5: とある物は手広くないとしたら「それは生じ難くないし加えて痛々しい」ということは嘘である fact6: もしもこの専検指定がナチュラルチーズだとするとその指示収穫地価はひょろ長い fact7: 「あの薬用人参は生じ難いということはないしかつ白川南通りでない」ということは事実と異なる fact8: もし仮にこの専売局が生じ難いならひょろ長いということはない fact9: もし仮に何かはＩＳＤＦであるということはないなら「それはマラスキーノ・チェリーでないしそれにそれは手広い」ということは嘘である fact10: そのスワロフスキービーズは立て直せない fact11: もしもこの専売局がＩＳＤＦだとしたらあの薬用人参は白川南通りでない fact12: そのスワロフスキービーズが立て直せないならひょろ長いしナチュラルチーズだ fact13: もしもこの専検指定は細長いとすれば「その指示収穫地価はひょろ長い」ということは成り立つ fact14: この専売局は商人らしい fact15: 「この専検指定は立て直せない」ということは事実だ fact16: 仮に「この専売局は生じ難くないがしかし痛々しい」ということは間違いならそのスワロフスキービーズは押し詰まる fact17: ある物が押し詰まるならそれは生じ難い fact18: なにがしかのものは立て直せないとすると「それはナチュラルチーズであるかあるいは細長い」ということは事実だ fact19: もし仮にその指示収穫地価が押し詰まるということはない一方で生じ難いとするとそのスワロフスキービーズは痛々しい
void -> assump1: 以下のように仮定する。この専売局はＩＳＤＦでなくて商人らしくない; assump1 -> int1: この専売局は商人らしくない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この専売局はＩＳＤＦでないしそれは商人らしいということはない」ということは誤りである; int3 & fact1 -> int4: この専売局は手広いということはない; fact5 -> int5: もし仮にこの専売局は手広くないとすると「それは生じ難くないしそれにそれは痛々しい」ということは嘘である; int4 & int5 -> int6: 「この専売局は生じ難くないがしかし痛々しい」ということは誤っている; int6 & fact16 -> int7: 「そのスワロフスキービーズは押し詰まる」ということは確かだ; fact12 & fact10 -> int8: そのスワロフスキービーズはひょろ長いしおまけにナチュラルチーズだ; int8 -> int9: そのスワロフスキービーズはひょろ長い; int7 & int9 -> int10: そのスワロフスキービーズは押し詰まるしそれはひょろ長い; int10 & fact2 -> int11: その指示収穫地価は細長くない; int11 & fact4 -> hypothesis;
あの薬用人参は白川南通りでない
fact24 -> int12: この専検指定が立て直せないとすればナチュラルチーズであるかまたは細長いかあるいはどちらもである; int12 & fact20 -> int13: この専検指定はナチュラルチーズであるかまたは細長いかもしくは両方である; int13 & fact25 & fact22 -> int14: その指示収穫地価はひょろ長い;
$facts$ = fact1: 「もし仮に「この専売局はＩＳＤＦでなくて商人らしくない」ということは間違いだとしたらこの専売局は手広くない」ということは正しい fact2: そのスワロフスキービーズが押し詰まるしそれがひょろ長いならばあの指示収穫地価は細長くない fact3: 生じ難い物は痛々しくないけど商人らしい fact4: その指示収穫地価が細長くないならあの薬用人参は白川南通りだ fact5: とある物は手広くないとしたら「それは生じ難くないし加えて痛々しい」ということは嘘である fact6: もしもこの専検指定がナチュラルチーズだとするとその指示収穫地価はひょろ長い fact7: 「あの薬用人参は生じ難いということはないしかつ白川南通りでない」ということは事実と異なる fact8: もし仮にこの専売局が生じ難いならひょろ長いということはない fact9: もし仮に何かはＩＳＤＦであるということはないなら「それはマラスキーノ・チェリーでないしそれにそれは手広い」ということは嘘である fact10: そのスワロフスキービーズは立て直せない fact11: もしもこの専売局がＩＳＤＦだとしたらあの薬用人参は白川南通りでない fact12: そのスワロフスキービーズが立て直せないならひょろ長いしナチュラルチーズだ fact13: もしもこの専検指定は細長いとすれば「その指示収穫地価はひょろ長い」ということは成り立つ fact14: この専売局は商人らしい fact15: 「この専検指定は立て直せない」ということは事実だ fact16: 仮に「この専売局は生じ難くないがしかし痛々しい」ということは間違いならそのスワロフスキービーズは押し詰まる fact17: ある物が押し詰まるならそれは生じ難い fact18: なにがしかのものは立て直せないとすると「それはナチュラルチーズであるかあるいは細長い」ということは事実だ fact19: もし仮にその指示収穫地価が押し詰まるということはない一方で生じ難いとするとそのスワロフスキービーズは痛々しい ; $hypothesis$ = あの薬用人参は白川南通りでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この専売局はＩＳＤＦでなくて商人らしくない; assump1 -> int1: この専売局は商人らしくない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この専売局はＩＳＤＦでないしそれは商人らしいということはない」ということは誤りである; int3 & fact1 -> int4: この専売局は手広いということはない; fact5 -> int5: もし仮にこの専売局は手広くないとすると「それは生じ難くないしそれにそれは痛々しい」ということは嘘である; int4 & int5 -> int6: 「この専売局は生じ難くないがしかし痛々しい」ということは誤っている; int6 & fact16 -> int7: 「そのスワロフスキービーズは押し詰まる」ということは確かだ; fact12 & fact10 -> int8: そのスワロフスキービーズはひょろ長いしおまけにナチュラルチーズだ; int8 -> int9: そのスワロフスキービーズはひょろ長い; int7 & int9 -> int10: そのスワロフスキービーズは押し詰まるしそれはひょろ長い; int10 & fact2 -> int11: その指示収穫地価は細長くない; int11 & fact4 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「この専売局はＩＳＤＦでなくて商人らしくない」ということは間違いだとしたらこの専売局は手広くない」ということは正しい
事実2: そのスワロフスキービーズが押し詰まるしそれがひょろ長いならばあの指示収穫地価は細長くない
事実3: 生じ難い物は痛々しくないけど商人らしい
事実4: その指示収穫地価が細長くないならあの薬用人参は白川南通りだ
事実5: とある物は手広くないとしたら「それは生じ難くないし加えて痛々しい」ということは嘘である
事実6: もしもこの専検指定がナチュラルチーズだとするとその指示収穫地価はひょろ長い
事実7: 「あの薬用人参は生じ難いということはないしかつ白川南通りでない」ということは事実と異なる
事実8: もし仮にこの専売局が生じ難いならひょろ長いということはない
事実9: もし仮に何かはＩＳＤＦであるということはないなら「それはマラスキーノ・チェリーでないしそれにそれは手広い」ということは嘘である
事実10: そのスワロフスキービーズは立て直せない
事実11: もしもこの専売局がＩＳＤＦだとしたらあの薬用人参は白川南通りでない
事実12: そのスワロフスキービーズが立て直せないならひょろ長いしナチュラルチーズだ
事実13: もしもこの専検指定は細長いとすれば「その指示収穫地価はひょろ長い」ということは成り立つ
事実14: この専売局は商人らしい
事実15: 「この専検指定は立て直せない」ということは事実だ
事実16: 仮に「この専売局は生じ難くないがしかし痛々しい」ということは間違いならそのスワロフスキービーズは押し詰まる
事実17: ある物が押し詰まるならそれは生じ難い
事実18: なにがしかのものは立て直せないとすると「それはナチュラルチーズであるかあるいは細長い」ということは事実だ
事実19: もし仮にその指示収穫地価が押し詰まるということはない一方で生じ難いとするとそのスワロフスキービーズは痛々しい

仮説: あの薬用人参は白川南通りでない
1. 仮定1: 以下のように仮定する。この専売局はＩＳＤＦでなくて商人らしくない
2. 仮定1から、推論1: "この専売局は商人らしくない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この専売局はＩＳＤＦでないしそれは商人らしいということはない」ということは誤りである"が導かれる
5. 推論3と事実1から、推論4: "この専売局は手広いということはない"が導かれる
6. 事実5から、推論5: "もし仮にこの専売局は手広くないとすると「それは生じ難くないしそれにそれは痛々しい」ということは嘘である"が導かれる
7. 推論4と推論5から、推論6: "「この専売局は生じ難くないがしかし痛々しい」ということは誤っている"が導かれる
8. 推論6と事実16から、推論7: "「そのスワロフスキービーズは押し詰まる」ということは確かだ"が導かれる
9. 事実12と事実10から、推論8: "そのスワロフスキービーズはひょろ長いしおまけにナチュラルチーズだ"が導かれる
10. 推論8から、推論9: "そのスワロフスキービーズはひょろ長い"が導かれる
11. 推論7と推論9から、推論10: "そのスワロフスキービーズは押し詰まるしそれはひょろ長い"が導かれる
12. 推論10と事実2から、推論11: "その指示収穫地価は細長くない"が導かれる
13. 推論11と事実4から、仮説が否定される

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