「その犯行が二年用でないならばあの承が行政院研究発展考核委員会だけどそれは国内生産者でない」ということは成り立たない
fact1: もし仮にその犯行が行政院研究発展考核委員会であるということはないとすればあの承は二年用である fact2: もしもある物が行政院研究発展考核委員会でないとすればそれは二年用であるけど国内生産者でない fact3: 上げ易くないものは二十四孝詩註であるが含水量でない fact4: もし仮にその犯行が二年用でないとすればあの承は行政院研究発展考核委員会でかつ国内生産者である fact5: もしその犯行が二年用だということはないならばそれは握り締めるし加えてそれは行政院研究発展考核委員会である fact6: もし仮にその犯行が二年用であるがしかし国内生産者でないならばあの擲弾筒は国内生産者でない fact7: その犯行が二年用でないならあの承は握り締める一方でそれは雑誌媒体でない fact8: あの鎧戸は呼び易いけど苦心惨憺しない fact9: 仮にその犯行が国内生産者でないならばあの承は二年用である fact10: その犯行は国内生産者だ fact11: もし仮に何かは雑誌媒体でないとするとそれは行政院研究発展考核委員会である一方で国内生産者でない
void -> assump1: 以下のように仮定する。その犯行は二年用でない; fact7 & assump1 -> int1: あの承は握り締めるがそれは雑誌媒体でない; int1 -> int2: あの承は雑誌媒体でない; fact11 -> int3: 仮にあの承は雑誌媒体でないとすればそれは行政院研究発展考核委員会であるがしかし国内生産者でない; int2 & int3 -> int4: あの承は行政院研究発展考核委員会だけど国内生産者でない; [assump1] & int4 -> hypothesis;
この擲弾筒は国内生産者でない
fact13 -> int5: もしその犯行が行政院研究発展考核委員会でないとしたら二年用だしおまけに国内生産者でない;
$facts$ = fact1: もし仮にその犯行が行政院研究発展考核委員会であるということはないとすればあの承は二年用である fact2: もしもある物が行政院研究発展考核委員会でないとすればそれは二年用であるけど国内生産者でない fact3: 上げ易くないものは二十四孝詩註であるが含水量でない fact4: もし仮にその犯行が二年用でないとすればあの承は行政院研究発展考核委員会でかつ国内生産者である fact5: もしその犯行が二年用だということはないならばそれは握り締めるし加えてそれは行政院研究発展考核委員会である fact6: もし仮にその犯行が二年用であるがしかし国内生産者でないならばあの擲弾筒は国内生産者でない fact7: その犯行が二年用でないならあの承は握り締める一方でそれは雑誌媒体でない fact8: あの鎧戸は呼び易いけど苦心惨憺しない fact9: 仮にその犯行が国内生産者でないならばあの承は二年用である fact10: その犯行は国内生産者だ fact11: もし仮に何かは雑誌媒体でないとするとそれは行政院研究発展考核委員会である一方で国内生産者でない ; $hypothesis$ = 「その犯行が二年用でないならばあの承が行政院研究発展考核委員会だけどそれは国内生産者でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その犯行は二年用でない; fact7 & assump1 -> int1: あの承は握り締めるがそれは雑誌媒体でない; int1 -> int2: あの承は雑誌媒体でない; fact11 -> int3: 仮にあの承は雑誌媒体でないとすればそれは行政院研究発展考核委員会であるがしかし国内生産者でない; int2 & int3 -> int4: あの承は行政院研究発展考核委員会だけど国内生産者でない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にその犯行が行政院研究発展考核委員会であるということはないとすればあの承は二年用である
事実2: もしもある物が行政院研究発展考核委員会でないとすればそれは二年用であるけど国内生産者でない
事実3: 上げ易くないものは二十四孝詩註であるが含水量でない
事実4: もし仮にその犯行が二年用でないとすればあの承は行政院研究発展考核委員会でかつ国内生産者である
事実5: もしその犯行が二年用だということはないならばそれは握り締めるし加えてそれは行政院研究発展考核委員会である
事実6: もし仮にその犯行が二年用であるがしかし国内生産者でないならばあの擲弾筒は国内生産者でない
事実7: その犯行が二年用でないならあの承は握り締める一方でそれは雑誌媒体でない
事実8: あの鎧戸は呼び易いけど苦心惨憺しない
事実9: 仮にその犯行が国内生産者でないならばあの承は二年用である
事実10: その犯行は国内生産者だ
事実11: もし仮に何かは雑誌媒体でないとするとそれは行政院研究発展考核委員会である一方で国内生産者でない

仮説: 「その犯行が二年用でないならばあの承が行政院研究発展考核委員会だけどそれは国内生産者でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その犯行は二年用でない
2. 事実7と仮定1から、推論1: "あの承は握り締めるがそれは雑誌媒体でない"が導かれる
3. 推論1から、推論2: "あの承は雑誌媒体でない"が導かれる
4. 事実11から、推論3: "仮にあの承は雑誌媒体でないとすればそれは行政院研究発展考核委員会であるがしかし国内生産者でない"が導かれる
5. 推論2と推論3から、推論4: "あの承は行政院研究発展考核委員会だけど国内生産者でない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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