このＩＤカードは二千年調査でなくてその上培養検査でない
fact1: 仮にこのエンブリオは御忙しくないとすると「その切望は牛飼いであるがしかしそれは中間マージンでない」ということは成り立たない fact2: 仮にその切望が中間マージンでないし加えてそれが御忙しいということはないとしたらこのエンブリオは牛飼いであるということはない fact3: この支那留学生は中間マージンであるならばそれは牛飼いである fact4: もしその切望が懸想しないなら付載しないしパネル上でない fact5: 仮に「その易断は御忙しくないがしかしパネル上である」ということは成り立つならその切望は懸想しない fact6: あるものが懸想するとすればそれは二千年調査でないしそれにそれは培養検査だということはない fact7: 「このＩＤカードは二千年調査だけど培養検査でない」ということは偽である fact8: 仮にその切望が懸想するならその易断は御忙しくないし懸想しない fact9: あの小銭入れは中間マージンだ fact10: もし仮にその切望は付載しないけれどパネル上であるとしたらそれは牛飼いだ fact11: 「その易断は牛飼いであるということはなくて加えて御忙しくない」ということは間違いだ fact12: もし仮にこのエンブリオは中間マージンでないならば「このＩＤカードは二千年調査でなくて培養検査でない」ということは成り立たない fact13: なにかは懸想すればそれはイゴール達でないしおまけに御忙しくない fact14: もしその切望が懸想するとすればあの易断は懸想しない fact15: その切望は付載しないしパネル上でないとすればそれは牛飼いである fact16: 仮にその易断が御忙しくないし更にそれは懸想しないとしたら「このエンブリオは中間マージンでない」ということは間違っていない fact17: その挫傷は牛飼いだ fact18: 「その切望は中間マージンである」ということは成り立つ fact19: その切望は牛飼いであるということはない fact20: 仮にその易断が懸想しないしそれが御忙しくないならば中間マージンである fact21: その切望はパネル上だということはない fact22: 仮にその切望が懸想しないとすればそれはパネル上でない
void -> assump1: 以下のように仮定する。その切望は懸想しない; fact4 & assump1 -> int1: その切望は付載しなくてかつパネル上でない; int1 & fact15 -> int2: その切望は牛飼いだ; int2 & fact19 -> int3: これは矛盾である; [assump1] & int3 -> int4: その切望は懸想する; int4 & fact8 -> int5: その易断は御忙しいということはなくて懸想しない; int5 & fact16 -> int6: 「このエンブリオは中間マージンでない」ということは正しい; int6 & fact12 -> hypothesis;
この支那留学生はイゴール達でないし更に御忙しくない
fact23 -> int7: 「もし仮にこの支那留学生が懸想するとするとこの支那留学生はイゴール達だということはなくてそれに御忙しくない」ということは真実である;
$facts$ = fact1: 仮にこのエンブリオは御忙しくないとすると「その切望は牛飼いであるがしかしそれは中間マージンでない」ということは成り立たない fact2: 仮にその切望が中間マージンでないし加えてそれが御忙しいということはないとしたらこのエンブリオは牛飼いであるということはない fact3: この支那留学生は中間マージンであるならばそれは牛飼いである fact4: もしその切望が懸想しないなら付載しないしパネル上でない fact5: 仮に「その易断は御忙しくないがしかしパネル上である」ということは成り立つならその切望は懸想しない fact6: あるものが懸想するとすればそれは二千年調査でないしそれにそれは培養検査だということはない fact7: 「このＩＤカードは二千年調査だけど培養検査でない」ということは偽である fact8: 仮にその切望が懸想するならその易断は御忙しくないし懸想しない fact9: あの小銭入れは中間マージンだ fact10: もし仮にその切望は付載しないけれどパネル上であるとしたらそれは牛飼いだ fact11: 「その易断は牛飼いであるということはなくて加えて御忙しくない」ということは間違いだ fact12: もし仮にこのエンブリオは中間マージンでないならば「このＩＤカードは二千年調査でなくて培養検査でない」ということは成り立たない fact13: なにかは懸想すればそれはイゴール達でないしおまけに御忙しくない fact14: もしその切望が懸想するとすればあの易断は懸想しない fact15: その切望は付載しないしパネル上でないとすればそれは牛飼いである fact16: 仮にその易断が御忙しくないし更にそれは懸想しないとしたら「このエンブリオは中間マージンでない」ということは間違っていない fact17: その挫傷は牛飼いだ fact18: 「その切望は中間マージンである」ということは成り立つ fact19: その切望は牛飼いであるということはない fact20: 仮にその易断が懸想しないしそれが御忙しくないならば中間マージンである fact21: その切望はパネル上だということはない fact22: 仮にその切望が懸想しないとすればそれはパネル上でない ; $hypothesis$ = このＩＤカードは二千年調査でなくてその上培養検査でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その切望は懸想しない; fact4 & assump1 -> int1: その切望は付載しなくてかつパネル上でない; int1 & fact15 -> int2: その切望は牛飼いだ; int2 & fact19 -> int3: これは矛盾である; [assump1] & int3 -> int4: その切望は懸想する; int4 & fact8 -> int5: その易断は御忙しいということはなくて懸想しない; int5 & fact16 -> int6: 「このエンブリオは中間マージンでない」ということは正しい; int6 & fact12 -> hypothesis; __DISPROVED__
事実1: 仮にこのエンブリオは御忙しくないとすると「その切望は牛飼いであるがしかしそれは中間マージンでない」ということは成り立たない
事実2: 仮にその切望が中間マージンでないし加えてそれが御忙しいということはないとしたらこのエンブリオは牛飼いであるということはない
事実3: この支那留学生は中間マージンであるならばそれは牛飼いである
事実4: もしその切望が懸想しないなら付載しないしパネル上でない
事実5: 仮に「その易断は御忙しくないがしかしパネル上である」ということは成り立つならその切望は懸想しない
事実6: あるものが懸想するとすればそれは二千年調査でないしそれにそれは培養検査だということはない
事実7: 「このＩＤカードは二千年調査だけど培養検査でない」ということは偽である
事実8: 仮にその切望が懸想するならその易断は御忙しくないし懸想しない
事実9: あの小銭入れは中間マージンだ
事実10: もし仮にその切望は付載しないけれどパネル上であるとしたらそれは牛飼いだ
事実11: 「その易断は牛飼いであるということはなくて加えて御忙しくない」ということは間違いだ
事実12: もし仮にこのエンブリオは中間マージンでないならば「このＩＤカードは二千年調査でなくて培養検査でない」ということは成り立たない
事実13: なにかは懸想すればそれはイゴール達でないしおまけに御忙しくない
事実14: もしその切望が懸想するとすればあの易断は懸想しない
事実15: その切望は付載しないしパネル上でないとすればそれは牛飼いである
事実16: 仮にその易断が御忙しくないし更にそれは懸想しないとしたら「このエンブリオは中間マージンでない」ということは間違っていない
事実17: その挫傷は牛飼いだ
事実18: 「その切望は中間マージンである」ということは成り立つ
事実19: その切望は牛飼いであるということはない
事実20: 仮にその易断が懸想しないしそれが御忙しくないならば中間マージンである
事実21: その切望はパネル上だということはない
事実22: 仮にその切望が懸想しないとすればそれはパネル上でない

仮説: このＩＤカードは二千年調査でなくてその上培養検査でない
1. 仮定1: 以下のように仮定する。その切望は懸想しない
2. 事実4と仮定1から、推論1: "その切望は付載しなくてかつパネル上でない"が導かれる
3. 推論1と事実15から、推論2: "その切望は牛飼いだ"が導かれる
4. 推論2と事実19から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その切望は懸想する"が導かれる
6. 推論4と事実8から、推論5: "その易断は御忙しいということはなくて懸想しない"が導かれる
7. 推論5と事実16から、推論6: "「このエンブリオは中間マージンでない」ということは正しい"が導かれる
8. 推論6と事実12から、仮説が否定される

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