「もしもこの東宮大夫が吐けるとするとあのトルコ系は調節時である」ということは間違いである
fact1: 仮にあのトルコ系が吐けないとすればこの東宮大夫は調節時でない fact2: もしも「この東宮大夫は嵌頓しない」ということは真実ならそのＰ｜Ｑは嵌頓するけどそれは農業・農村でない fact3: もし仮にこの東宮大夫が農業・農村だということはないならばそのＰ｜Ｑは農業・農村である一方でそれは人間関係上でない fact4: もしもそのＰ｜Ｑが農業・農村であるけどそれが人間関係上でないならあのエクスプローラは滑り出しでない fact5: もし仮にこの東宮大夫が人間関係上でないとしたらそのＰ｜Ｑは嵌頓するということはない fact6: もしこの東宮大夫が吐けるしそれが嵌頓するとしたらそれは農業・農村でない fact7: もしもあのエクスプローラが滑り出しでないならあのトルコ系は調節時である fact8: そのＰ｜Ｑは滑り出しなら「あのエクスプローラは農業・農村だ」ということは正しい fact9: その速効は嵌頓する fact10: この東宮大夫は嵌頓する fact11: 「そのＰ｜Ｑは農業・農村である」ということは成り立つならこの東宮大夫は人間関係上である
void -> assump1: 以下のように仮定する。この東宮大夫は吐ける; assump1 & fact10 -> int1: この東宮大夫は吐けるし更に嵌頓する; int1 & fact6 -> int2: この東宮大夫は農業・農村であるということはない; int2 & fact3 -> int3: そのＰ｜Ｑは農業・農村であるけど人間関係上でない; int3 & fact4 -> int4: あのエクスプローラは滑り出しでない; int4 & fact7 -> int5: 「あのトルコ系は調節時だ」ということは成り立つ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 仮にあのトルコ系が吐けないとすればこの東宮大夫は調節時でない fact2: もしも「この東宮大夫は嵌頓しない」ということは真実ならそのＰ｜Ｑは嵌頓するけどそれは農業・農村でない fact3: もし仮にこの東宮大夫が農業・農村だということはないならばそのＰ｜Ｑは農業・農村である一方でそれは人間関係上でない fact4: もしもそのＰ｜Ｑが農業・農村であるけどそれが人間関係上でないならあのエクスプローラは滑り出しでない fact5: もし仮にこの東宮大夫が人間関係上でないとしたらそのＰ｜Ｑは嵌頓するということはない fact6: もしこの東宮大夫が吐けるしそれが嵌頓するとしたらそれは農業・農村でない fact7: もしもあのエクスプローラが滑り出しでないならあのトルコ系は調節時である fact8: そのＰ｜Ｑは滑り出しなら「あのエクスプローラは農業・農村だ」ということは正しい fact9: その速効は嵌頓する fact10: この東宮大夫は嵌頓する fact11: 「そのＰ｜Ｑは農業・農村である」ということは成り立つならこの東宮大夫は人間関係上である ; $hypothesis$ = 「もしもこの東宮大夫が吐けるとするとあのトルコ系は調節時である」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。この東宮大夫は吐ける; assump1 & fact10 -> int1: この東宮大夫は吐けるし更に嵌頓する; int1 & fact6 -> int2: この東宮大夫は農業・農村であるということはない; int2 & fact3 -> int3: そのＰ｜Ｑは農業・農村であるけど人間関係上でない; int3 & fact4 -> int4: あのエクスプローラは滑り出しでない; int4 & fact7 -> int5: 「あのトルコ系は調節時だ」ということは成り立つ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 仮にあのトルコ系が吐けないとすればこの東宮大夫は調節時でない
事実2: もしも「この東宮大夫は嵌頓しない」ということは真実ならそのＰ｜Ｑは嵌頓するけどそれは農業・農村でない
事実3: もし仮にこの東宮大夫が農業・農村だということはないならばそのＰ｜Ｑは農業・農村である一方でそれは人間関係上でない
事実4: もしもそのＰ｜Ｑが農業・農村であるけどそれが人間関係上でないならあのエクスプローラは滑り出しでない
事実5: もし仮にこの東宮大夫が人間関係上でないとしたらそのＰ｜Ｑは嵌頓するということはない
事実6: もしこの東宮大夫が吐けるしそれが嵌頓するとしたらそれは農業・農村でない
事実7: もしもあのエクスプローラが滑り出しでないならあのトルコ系は調節時である
事実8: そのＰ｜Ｑは滑り出しなら「あのエクスプローラは農業・農村だ」ということは正しい
事実9: その速効は嵌頓する
事実10: この東宮大夫は嵌頓する
事実11: 「そのＰ｜Ｑは農業・農村である」ということは成り立つならこの東宮大夫は人間関係上である

仮説: 「もしもこの東宮大夫が吐けるとするとあのトルコ系は調節時である」ということは間違いである
1. 仮定1: 以下のように仮定する。この東宮大夫は吐ける
2. 仮定1と事実10から、推論1: "この東宮大夫は吐けるし更に嵌頓する"が導かれる
3. 推論1と事実6から、推論2: "この東宮大夫は農業・農村であるということはない"が導かれる
4. 推論2と事実3から、推論3: "そのＰ｜Ｑは農業・農村であるけど人間関係上でない"が導かれる
5. 推論3と事実4から、推論4: "あのエクスプローラは滑り出しでない"が導かれる
6. 推論4と事実7から、推論5: "「あのトルコ系は調節時だ」ということは成り立つ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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