その植民地下は御偉くない
fact1: 仮にあるものがうんちしなくてかつそれは西棟でないならそれは京劇である fact2: この共産主義国はうんちする fact3: そのメイヨー・クリニックはうんちする fact4: もし仮に「何かは西棟でないがしかしうんちする」ということは嘘だとすると御偉くない fact5: この共産主義国は西棟だ fact6: もし仮に何らかの物が西棟であるしうんちするとするとその植民地下は御偉い
fact5 & fact2 -> int1: この共産主義国は西棟であるしまたうんちする; int1 -> int2: なにがしかの物は西棟であるしそれはうんちする; int2 & fact6 -> hypothesis;
fact5 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact6 -> hypothesis;
あの本パターンは京劇でその上それは熱帯病である
fact7 -> int3: 仮にあの本パターンがうんちしないし西棟でないならば京劇だ;
$facts$ = fact1: 仮にあるものがうんちしなくてかつそれは西棟でないならそれは京劇である fact2: この共産主義国はうんちする fact3: そのメイヨー・クリニックはうんちする fact4: もし仮に「何かは西棟でないがしかしうんちする」ということは嘘だとすると御偉くない fact5: この共産主義国は西棟だ fact6: もし仮に何らかの物が西棟であるしうんちするとするとその植民地下は御偉い ; $hypothesis$ = その植民地下は御偉くない ; $proof$ = 
fact5 & fact2 -> int1: この共産主義国は西棟であるしまたうんちする; int1 -> int2: なにがしかの物は西棟であるしそれはうんちする; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にあるものがうんちしなくてかつそれは西棟でないならそれは京劇である
事実2: この共産主義国はうんちする
事実3: そのメイヨー・クリニックはうんちする
事実4: もし仮に「何かは西棟でないがしかしうんちする」ということは嘘だとすると御偉くない
事実5: この共産主義国は西棟だ
事実6: もし仮に何らかの物が西棟であるしうんちするとするとその植民地下は御偉い

仮説: その植民地下は御偉くない
1. 事実5と事実2から、推論1: "この共産主義国は西棟であるしまたうんちする"が導かれる
2. 推論1から、推論2: "なにがしかの物は西棟であるしそれはうんちする"が導かれる
3. 推論2と事実6から、仮説が否定される

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