あの第一内科は好ましがしかしソフトクリームでない
fact1: 仮にあの自国市場は好ましないとすれば「あの第一内科は好まし一方でソフトクリームでない」ということは成り立たない fact2: もしも「ある物は各分野だということはなくてそれは疎明するということはない」ということは成り立たないとしたら「それは炊事でない」ということは事実と異なるということはない fact3: 「あの第一内科は騒がしくない」ということは本当である fact4: もし仮にあの自国市場が好ましが騒がしくないとするとそのＮＩＶは上昇し易い fact5: あの自国市場はソフトクリームだ fact6: あの自国市場は騒がしくない fact7: もしも「なにかは騒がしくないかまたは上昇し易くないかあるいはどちらもである」ということは間違いだとすれば好まし fact8: もしそのＮＩＶは皮質骨でないとすると「あの自国市場は逆行するかソフトクリームである」ということは成り立つということはない fact9: 仮にあの自国市場は好ましないとすれば「あの第一内科は好まししまたソフトクリームだ」ということは成り立たない fact10: もし仮にあの第一内科が逆行する一方で好ましないならばそのＮＩＶはソフトクリームである fact11: もし仮に何かは炊事であるということはないとすると「それは騒がしくないか上昇し易くないかどちらもである」ということは成り立たない fact12: 「あの自国市場は逆行する」ということは真実だ fact13: もし仮に「そのＮＩＶは皮質骨だがゴルフ界でない」ということは成り立たないとすると皮質骨であるということはない fact14: もしも「あの自国市場は逆行するかもしくはそれはソフトクリームであるかもしくは両方である」ということは真実でないとするとあの第一内科はソフトクリームでない fact15: そのＮＩＶは掻き出さない fact16: もし仮にそのＮＩＶが逆行するとすればそれは上昇し易くない fact17: そのＮＩＶは炊事である fact18: 「あの第一内科は好ましものでありかつソフトクリームだ」ということは成り立たない fact19: そのＮＩＶが好ましならそれは炊事でない fact20: あの自国市場はスケールするしおまけにそれは喚き散らす fact21: そのＮＩＶが逆行するしその上それは炊事だ fact22: この書架は好まししまた黴臭い fact23: 「その音楽形式は好まし」ということは成り立つ
void -> assump1: 以下のように仮定する。あの自国市場は好まし; assump1 & fact6 -> int1: あの自国市場は好ましが騒がしくない; int1 & fact4 -> int2: 「そのＮＩＶは上昇し易い」ということは本当である; fact21 -> int3: そのＮＩＶは逆行する; fact16 & int3 -> int4: そのＮＩＶは上昇し易くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの自国市場は好ましない; int6 & fact1 -> hypothesis;
あの第一内科は好ましがしかしソフトクリームでない
fact26 -> int7: 「あの第一内科は騒がしくないかまたは上昇し易いということはない」ということは事実と異なるとしたらそれは好まし; fact25 -> int8: 仮にあの第一内科は炊事でないなら「「騒がしくないか上昇し易くないかあるいは両方である」ということは成り立つ」ということは成り立つということはない; fact28 -> int9: もしも「あの第一内科は各分野でないしその上疎明しない」ということは成り立たないならそれは炊事でない;
$facts$ = fact1: 仮にあの自国市場は好ましないとすれば「あの第一内科は好まし一方でソフトクリームでない」ということは成り立たない fact2: もしも「ある物は各分野だということはなくてそれは疎明するということはない」ということは成り立たないとしたら「それは炊事でない」ということは事実と異なるということはない fact3: 「あの第一内科は騒がしくない」ということは本当である fact4: もし仮にあの自国市場が好ましが騒がしくないとするとそのＮＩＶは上昇し易い fact5: あの自国市場はソフトクリームだ fact6: あの自国市場は騒がしくない fact7: もしも「なにかは騒がしくないかまたは上昇し易くないかあるいはどちらもである」ということは間違いだとすれば好まし fact8: もしそのＮＩＶは皮質骨でないとすると「あの自国市場は逆行するかソフトクリームである」ということは成り立つということはない fact9: 仮にあの自国市場は好ましないとすれば「あの第一内科は好まししまたソフトクリームだ」ということは成り立たない fact10: もし仮にあの第一内科が逆行する一方で好ましないならばそのＮＩＶはソフトクリームである fact11: もし仮に何かは炊事であるということはないとすると「それは騒がしくないか上昇し易くないかどちらもである」ということは成り立たない fact12: 「あの自国市場は逆行する」ということは真実だ fact13: もし仮に「そのＮＩＶは皮質骨だがゴルフ界でない」ということは成り立たないとすると皮質骨であるということはない fact14: もしも「あの自国市場は逆行するかもしくはそれはソフトクリームであるかもしくは両方である」ということは真実でないとするとあの第一内科はソフトクリームでない fact15: そのＮＩＶは掻き出さない fact16: もし仮にそのＮＩＶが逆行するとすればそれは上昇し易くない fact17: そのＮＩＶは炊事である fact18: 「あの第一内科は好ましものでありかつソフトクリームだ」ということは成り立たない fact19: そのＮＩＶが好ましならそれは炊事でない fact20: あの自国市場はスケールするしおまけにそれは喚き散らす fact21: そのＮＩＶが逆行するしその上それは炊事だ fact22: この書架は好まししまた黴臭い fact23: 「その音楽形式は好まし」ということは成り立つ ; $hypothesis$ = あの第一内科は好ましがしかしソフトクリームでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの自国市場は好まし; assump1 & fact6 -> int1: あの自国市場は好ましが騒がしくない; int1 & fact4 -> int2: 「そのＮＩＶは上昇し易い」ということは本当である; fact21 -> int3: そのＮＩＶは逆行する; fact16 & int3 -> int4: そのＮＩＶは上昇し易くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの自国市場は好ましない; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあの自国市場は好ましないとすれば「あの第一内科は好まし一方でソフトクリームでない」ということは成り立たない
事実2: もしも「ある物は各分野だということはなくてそれは疎明するということはない」ということは成り立たないとしたら「それは炊事でない」ということは事実と異なるということはない
事実3: 「あの第一内科は騒がしくない」ということは本当である
事実4: もし仮にあの自国市場が好ましが騒がしくないとするとそのＮＩＶは上昇し易い
事実5: あの自国市場はソフトクリームだ
事実6: あの自国市場は騒がしくない
事実7: もしも「なにかは騒がしくないかまたは上昇し易くないかあるいはどちらもである」ということは間違いだとすれば好まし
事実8: もしそのＮＩＶは皮質骨でないとすると「あの自国市場は逆行するかソフトクリームである」ということは成り立つということはない
事実9: 仮にあの自国市場は好ましないとすれば「あの第一内科は好まししまたソフトクリームだ」ということは成り立たない
事実10: もし仮にあの第一内科が逆行する一方で好ましないならばそのＮＩＶはソフトクリームである
事実11: もし仮に何かは炊事であるということはないとすると「それは騒がしくないか上昇し易くないかどちらもである」ということは成り立たない
事実12: 「あの自国市場は逆行する」ということは真実だ
事実13: もし仮に「そのＮＩＶは皮質骨だがゴルフ界でない」ということは成り立たないとすると皮質骨であるということはない
事実14: もしも「あの自国市場は逆行するかもしくはそれはソフトクリームであるかもしくは両方である」ということは真実でないとするとあの第一内科はソフトクリームでない
事実15: そのＮＩＶは掻き出さない
事実16: もし仮にそのＮＩＶが逆行するとすればそれは上昇し易くない
事実17: そのＮＩＶは炊事である
事実18: 「あの第一内科は好ましものでありかつソフトクリームだ」ということは成り立たない
事実19: そのＮＩＶが好ましならそれは炊事でない
事実20: あの自国市場はスケールするしおまけにそれは喚き散らす
事実21: そのＮＩＶが逆行するしその上それは炊事だ
事実22: この書架は好まししまた黴臭い
事実23: 「その音楽形式は好まし」ということは成り立つ

仮説: あの第一内科は好ましがしかしソフトクリームでない
1. 仮定1: 以下のように仮定する。あの自国市場は好まし
2. 仮定1と事実6から、推論1: "あの自国市場は好ましが騒がしくない"が導かれる
3. 推論1と事実4から、推論2: "「そのＮＩＶは上昇し易い」ということは本当である"が導かれる
4. 事実21から、推論3: "そのＮＩＶは逆行する"が導かれる
5. 事実16と推論3から、推論4: "そのＮＩＶは上昇し易くない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの自国市場は好ましない"が導かれる
8. 推論6と事実1から、仮説が否定される

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