あのリモートクライアントは菊文でない
fact1: もし仮に「何らかのものは東洋文明でないがしかし菊文である」ということは誤りだとするとそれは菊文でない fact2: 何かは発し続けないかそれが傾き易いとしたらそれは菊文である fact3: 何らかのものは東洋文明でない fact4: もしもなんらかの物は怒鳴り込むとすれば「それは東洋文明でなくておまけに菊文である」ということは成り立たない fact5: もしなんらかのものが東洋文明でないとしたらあの関連行政は怒鳴り込まない fact6: あの関連行政が怒鳴り込まないならばあのリモートクライアントは傾き易い
fact3 & fact5 -> int1: あの関連行政は怒鳴り込むということはない; int1 & fact6 -> int2: あのリモートクライアントは傾き易い; int2 -> int3: あのリモートクライアントは発し続けないか傾き易いかあるいはどちらもである; fact2 -> int4: もしあのリモートクライアントが発し続けないかもしくはそれは傾き易いかもしくは両方であるとしたらそれは菊文である; int3 & int4 -> hypothesis;
あのリモートクライアントは菊文であるということはない
fact7 -> int5: 「「あのリモートクライアントは東洋文明でないけどそれは菊文だ」ということは成り立つ」ということは成り立たないなら菊文でない; fact8 -> int6: もしあのリモートクライアントは怒鳴り込むとしたら「それは東洋文明だということはないし更にそれは菊文である」ということは誤りである;
$facts$ = fact1: もし仮に「何らかのものは東洋文明でないがしかし菊文である」ということは誤りだとするとそれは菊文でない fact2: 何かは発し続けないかそれが傾き易いとしたらそれは菊文である fact3: 何らかのものは東洋文明でない fact4: もしもなんらかの物は怒鳴り込むとすれば「それは東洋文明でなくておまけに菊文である」ということは成り立たない fact5: もしなんらかのものが東洋文明でないとしたらあの関連行政は怒鳴り込まない fact6: あの関連行政が怒鳴り込まないならばあのリモートクライアントは傾き易い ; $hypothesis$ = あのリモートクライアントは菊文でない ; $proof$ = 
fact3 & fact5 -> int1: あの関連行政は怒鳴り込むということはない; int1 & fact6 -> int2: あのリモートクライアントは傾き易い; int2 -> int3: あのリモートクライアントは発し続けないか傾き易いかあるいはどちらもである; fact2 -> int4: もしあのリモートクライアントが発し続けないかもしくはそれは傾き易いかもしくは両方であるとしたらそれは菊文である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「何らかのものは東洋文明でないがしかし菊文である」ということは誤りだとするとそれは菊文でない
事実2: 何かは発し続けないかそれが傾き易いとしたらそれは菊文である
事実3: 何らかのものは東洋文明でない
事実4: もしもなんらかの物は怒鳴り込むとすれば「それは東洋文明でなくておまけに菊文である」ということは成り立たない
事実5: もしなんらかのものが東洋文明でないとしたらあの関連行政は怒鳴り込まない
事実6: あの関連行政が怒鳴り込まないならばあのリモートクライアントは傾き易い

仮説: あのリモートクライアントは菊文でない
1. 事実3と事実5から、推論1: "あの関連行政は怒鳴り込むということはない"が導かれる
2. 推論1と事実6から、推論2: "あのリモートクライアントは傾き易い"が導かれる
3. 推論2から、推論3: "あのリモートクライアントは発し続けないか傾き易いかあるいはどちらもである"が導かれる
4. 事実2から、推論4: "もしあのリモートクライアントが発し続けないかもしくはそれは傾き易いかもしくは両方であるとしたらそれは菊文である"が導かれる
5. 推論3と推論4から、仮説が否定される

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