この統合型取り引き処理システムは生殖質連続説でない
fact1: もしこの技術内容が省令でないとすればＧＶである fact2: この遺伝子情報は中堅クラスである fact3: 仮にこの遺伝子情報は覚え易くないとしたら「この統合型取り引き処理システムは覚え易いということはない」ということは事実と異ならない fact4: その漢来漢現は覚え易い fact5: もしあるものがＧＶならば悟る fact6: 仮に何らかのものは逃がすけど中堅クラスでないとしたらＧＶだ fact7: この遺伝子情報は逃がす fact8: もし仮にこの統合型取り引き処理システムは中堅クラスであるなら生殖質連続説だ fact9: 仮にこの遺伝子情報が覚え易くないならこの統合型取り引き処理システムは逃がさなくてまた覚え易くない fact10: もしこの技術内容は法的基準であるということはないとすれば素人っぽい fact11: もし仮になにがしかの物は悟らないし逃がすということはないならそれは覚え易い fact12: もし仮にとあるものは逃がさないし更に覚え易くないならそれは中堅クラスである fact13: この遺伝子情報は追い掛け回すということはない fact14: もしこの遺伝子情報が生殖質連続説でないならこの統合型取り引き処理システムは生殖質連続説でない fact15: あの一段階は逃がす fact16: もしなんらかのものが逃がさない一方で覚え易いとするとそれは中堅クラスである fact17: もし仮に「この遺伝子情報は悟らない」ということは成り立つならばあの技術内容はＧＶでない fact18: もし仮にこの統合型取り引き処理システムは逃がさないけれど覚え易いなら中堅クラスだ fact19: この技術内容は省令でない fact20: 「この技術内容は悟る」ということは成り立つ fact21: この技術内容が悟らないならば確定する fact22: 覚え易くないものがＧＶでないとすればそれは省令だ fact23: もしもなんらかのものは逃がさなくてまた生殖質連続説でないとすると「それはＧＶだ」ということは事実と異ならない fact24: 仮にこの遺伝子情報が覚え易いなら悟らない fact25: この遺伝子情報は位置付けないし近しくない fact26: 「この統合型取り引き処理システムは覚え易くない」ということは真実である
void -> assump1: 以下のように仮定する。この遺伝子情報は覚え易い; fact24 & assump1 -> int1: この遺伝子情報は悟らない; int1 & fact17 -> int2: この技術内容はＧＶでない; fact19 & fact1 -> int3: この技術内容はＧＶだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この遺伝子情報は覚え易くない; int5 & fact9 -> int6: この統合型取り引き処理システムが逃がさないしさらに覚え易くない; fact12 -> int7: もしこの統合型取り引き処理システムが逃がさなくてそれが覚え易くないとしたら中堅クラスである; int6 & int7 -> int8: この統合型取り引き処理システムは中堅クラスだ; int8 & fact8 -> hypothesis;
この統合型取り引き処理システムは生殖質連続説であるということはない
fact27 -> int9: もし仮にこの遺伝子情報がＧＶならば悟る; fact29 -> int10: 仮にこの遺伝子情報が逃がす一方でそれは中堅クラスでないならＧＶである;
$facts$ = fact1: もしこの技術内容が省令でないとすればＧＶである fact2: この遺伝子情報は中堅クラスである fact3: 仮にこの遺伝子情報は覚え易くないとしたら「この統合型取り引き処理システムは覚え易いということはない」ということは事実と異ならない fact4: その漢来漢現は覚え易い fact5: もしあるものがＧＶならば悟る fact6: 仮に何らかのものは逃がすけど中堅クラスでないとしたらＧＶだ fact7: この遺伝子情報は逃がす fact8: もし仮にこの統合型取り引き処理システムは中堅クラスであるなら生殖質連続説だ fact9: 仮にこの遺伝子情報が覚え易くないならこの統合型取り引き処理システムは逃がさなくてまた覚え易くない fact10: もしこの技術内容は法的基準であるということはないとすれば素人っぽい fact11: もし仮になにがしかの物は悟らないし逃がすということはないならそれは覚え易い fact12: もし仮にとあるものは逃がさないし更に覚え易くないならそれは中堅クラスである fact13: この遺伝子情報は追い掛け回すということはない fact14: もしこの遺伝子情報が生殖質連続説でないならこの統合型取り引き処理システムは生殖質連続説でない fact15: あの一段階は逃がす fact16: もしなんらかのものが逃がさない一方で覚え易いとするとそれは中堅クラスである fact17: もし仮に「この遺伝子情報は悟らない」ということは成り立つならばあの技術内容はＧＶでない fact18: もし仮にこの統合型取り引き処理システムは逃がさないけれど覚え易いなら中堅クラスだ fact19: この技術内容は省令でない fact20: 「この技術内容は悟る」ということは成り立つ fact21: この技術内容が悟らないならば確定する fact22: 覚え易くないものがＧＶでないとすればそれは省令だ fact23: もしもなんらかのものは逃がさなくてまた生殖質連続説でないとすると「それはＧＶだ」ということは事実と異ならない fact24: 仮にこの遺伝子情報が覚え易いなら悟らない fact25: この遺伝子情報は位置付けないし近しくない fact26: 「この統合型取り引き処理システムは覚え易くない」ということは真実である ; $hypothesis$ = この統合型取り引き処理システムは生殖質連続説でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この遺伝子情報は覚え易い; fact24 & assump1 -> int1: この遺伝子情報は悟らない; int1 & fact17 -> int2: この技術内容はＧＶでない; fact19 & fact1 -> int3: この技術内容はＧＶだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この遺伝子情報は覚え易くない; int5 & fact9 -> int6: この統合型取り引き処理システムが逃がさないしさらに覚え易くない; fact12 -> int7: もしこの統合型取り引き処理システムが逃がさなくてそれが覚え易くないとしたら中堅クラスである; int6 & int7 -> int8: この統合型取り引き処理システムは中堅クラスだ; int8 & fact8 -> 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: もしもなんらかのものは逃がさなくてまた生殖質連続説でないとすると「それはＧＶだ」ということは事実と異ならない
事実24: 仮にこの遺伝子情報が覚え易いなら悟らない
事実25: この遺伝子情報は位置付けないし近しくない
事実26: 「この統合型取り引き処理システムは覚え易くない」ということは真実である

仮説: この統合型取り引き処理システムは生殖質連続説でない
1. 仮定1: 以下のように仮定する。この遺伝子情報は覚え易い
2. 事実24と仮定1から、推論1: "この遺伝子情報は悟らない"が導かれる
3. 推論1と事実17から、推論2: "この技術内容はＧＶでない"が導かれる
4. 事実19と事実1から、推論3: "この技術内容はＧＶだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この遺伝子情報は覚え易くない"が導かれる
7. 推論5と事実9から、推論6: "この統合型取り引き処理システムが逃がさないしさらに覚え易くない"が導かれる
8. 事実12から、推論7: "もしこの統合型取り引き処理システムが逃がさなくてそれが覚え易くないとしたら中堅クラスである"が導かれる
9. 推論6と推論7から、推論8: "この統合型取り引き処理システムは中堅クラスだ"が導かれる
10. 推論8と事実8から、仮説が否定される

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