その浪士組は遮断する
fact1: 「あの考察対象は知悉する」ということは事実である fact2: 「その浪士組は御披露目であるかもしくはそれは手広いかまたは両方だ」ということは誤っている fact3: その浪士組は御披露目でない fact4: もし混入し易くないものはミュージアムショップでないならば調べない fact5: なんらかのものが仰らないとすると遮断する fact6: もしもこのローマ軍が仰ればその浪士組は仰る fact7: もしも「あの考察対象は知悉する」ということは確かであるならば醜い fact8: 仮にこのローマ軍が如才無いとすればその浪士組は仰る fact9: なんらかのものが調べないならそれは如才無いかまたは仰るか両方である fact10: もし仮にその浪士組が仰るしまたそれが遮断するならばあの対応策は御披露目であるということはない fact11: 仮に醜いものがあるとすればあのローマ軍は混入し易くないしさらにミュージアムショップでない fact12: 「「その浪士組は御披露目であるか手広い」ということは真実である」ということは間違っているとすれば「それは遮断しない」ということは事実だ
fact12 & fact2 -> hypothesis;
fact12 & fact2 -> hypothesis;
あの対応策は御披露目だということはない
fact15 -> int1: もし「このローマ軍は調べない」ということは成り立てば如才無いかまたは仰るかまたは両方ともである; fact16 -> int2: 仮にこのローマ軍は混入し易いということはなくてまたミュージアムショップでないとすれば調べない; fact20 & fact17 -> int3: あの考察対象は醜い; int3 -> int4: 「醜い」ものはある; int4 & fact19 -> int5: このローマ軍は混入し易くないしそれにミュージアムショップでない; int2 & int5 -> int6: このローマ軍は調べない; int1 & int6 -> int7: このローマ軍は如才無いか仰る; int7 & fact18 & fact14 -> int8: その浪士組は仰る;
$facts$ = fact1: 「あの考察対象は知悉する」ということは事実である fact2: 「その浪士組は御披露目であるかもしくはそれは手広いかまたは両方だ」ということは誤っている fact3: その浪士組は御披露目でない fact4: もし混入し易くないものはミュージアムショップでないならば調べない fact5: なんらかのものが仰らないとすると遮断する fact6: もしもこのローマ軍が仰ればその浪士組は仰る fact7: もしも「あの考察対象は知悉する」ということは確かであるならば醜い fact8: 仮にこのローマ軍が如才無いとすればその浪士組は仰る fact9: なんらかのものが調べないならそれは如才無いかまたは仰るか両方である fact10: もし仮にその浪士組が仰るしまたそれが遮断するならばあの対応策は御披露目であるということはない fact11: 仮に醜いものがあるとすればあのローマ軍は混入し易くないしさらにミュージアムショップでない fact12: 「「その浪士組は御披露目であるか手広い」ということは真実である」ということは間違っているとすれば「それは遮断しない」ということは事実だ ; $hypothesis$ = その浪士組は遮断する ; $proof$ = 
fact12 & fact2 -> hypothesis; __DISPROVED__
事実1: 「あの考察対象は知悉する」ということは事実である
事実2: 「その浪士組は御披露目であるかもしくはそれは手広いかまたは両方だ」ということは誤っている
事実3: その浪士組は御披露目でない
事実4: もし混入し易くないものはミュージアムショップでないならば調べない
事実5: なんらかのものが仰らないとすると遮断する
事実6: もしもこのローマ軍が仰ればその浪士組は仰る
事実7: もしも「あの考察対象は知悉する」ということは確かであるならば醜い
事実8: 仮にこのローマ軍が如才無いとすればその浪士組は仰る
事実9: なんらかのものが調べないならそれは如才無いかまたは仰るか両方である
事実10: もし仮にその浪士組が仰るしまたそれが遮断するならばあの対応策は御披露目であるということはない
事実11: 仮に醜いものがあるとすればあのローマ軍は混入し易くないしさらにミュージアムショップでない
事実12: 「「その浪士組は御披露目であるか手広い」ということは真実である」ということは間違っているとすれば「それは遮断しない」ということは事実だ

仮説: その浪士組は遮断する
1. 事実12と事実2から、仮説が否定される

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