「あの世界ランクは前陣・中陣・後陣でない」ということは事実と異なる
fact1: もしあの経営体質が見返らないとするとそれは軍人であるかまたはそれはやくざっぽいかもしくは両方ともだ fact2: もし仮になにがしかの物がやくざっぽくないとすれば軍人だしおまけに緩い fact3: 仮にこの大蔵卿が風致であるならあの世界ランクは風致であるかもしくは湿気易いということはない fact4: あの世界ランクは風致であるかそれは湿気易い fact5: 仮に「あの三．五角はウェブサイトでない」ということは成り立つとしたら「見返るしまた里帰りする」ということは誤っている fact6: 仮に「なにがしかのものは軍人でないしおまけに湿気易いということはない」ということは誤りならそれは湿気易い fact7: この大蔵卿が風致ならあの世界ランクは風致であるかあるいは湿気易い fact8: この大蔵卿が湿気易いとするとあの世界ランクは風致でないがしかしそれは哀れっぽい fact9: もしなにがしかの物が緩いとするとそれは湿気易い fact10: もしも何かは哀れっぽいが風致でないならば前陣・中陣・後陣でない fact11: もしもあの世界ランクが湿気易くないとするとそれは前陣・中陣・後陣だ fact12: あの三．五角はウェブサイトでない fact13: この大蔵卿は哀れっぽい fact14: 仮にとあるものが湿気易くないなら前陣・中陣・後陣だ fact15: もしも何らかのものが風致であるということはないがしかしそれが哀れっぽいならそれは前陣・中陣・後陣でない fact16: もしも「あの世界ランクは湿気易い」ということは確かであるとするとこの大蔵卿は湿気易いかもしくはそれは風致であるかもしくはどちらもである fact17: この大蔵卿は哀れっぽいししかも風致だ fact18: 「「「見返るし加えて里帰りする」ということは事実だ」ということは成り立たない」ものがあるならばあの経営体質はやくざっぽくない fact19: 仮にある物が風致であるかあるいは湿気易くないかまたは両方だとしたらそれは前陣・中陣・後陣である
fact17 -> int1: この大蔵卿は風致である; int1 & fact3 -> int2: あの世界ランクは風致であるかもしくは湿気易くない; fact19 -> int3: もしあの世界ランクは風致であるかあるいは湿気易くないならそれは前陣・中陣・後陣だ; int2 & int3 -> hypothesis;
あの世界ランクは前陣・中陣・後陣でない
fact20 -> int4: 仮にあの世界ランクは哀れっぽいがしかし風致でないとしたらそれは前陣・中陣・後陣でない; fact22 -> int5: もしこの大蔵卿が緩いとすると湿気易い;
$facts$ = fact1: もしあの経営体質が見返らないとするとそれは軍人であるかまたはそれはやくざっぽいかもしくは両方ともだ fact2: もし仮になにがしかの物がやくざっぽくないとすれば軍人だしおまけに緩い fact3: 仮にこの大蔵卿が風致であるならあの世界ランクは風致であるかもしくは湿気易いということはない fact4: あの世界ランクは風致であるかそれは湿気易い fact5: 仮に「あの三．五角はウェブサイトでない」ということは成り立つとしたら「見返るしまた里帰りする」ということは誤っている fact6: 仮に「なにがしかのものは軍人でないしおまけに湿気易いということはない」ということは誤りならそれは湿気易い fact7: この大蔵卿が風致ならあの世界ランクは風致であるかあるいは湿気易い fact8: この大蔵卿が湿気易いとするとあの世界ランクは風致でないがしかしそれは哀れっぽい fact9: もしなにがしかの物が緩いとするとそれは湿気易い fact10: もしも何かは哀れっぽいが風致でないならば前陣・中陣・後陣でない fact11: もしもあの世界ランクが湿気易くないとするとそれは前陣・中陣・後陣だ fact12: あの三．五角はウェブサイトでない fact13: この大蔵卿は哀れっぽい fact14: 仮にとあるものが湿気易くないなら前陣・中陣・後陣だ fact15: もしも何らかのものが風致であるということはないがしかしそれが哀れっぽいならそれは前陣・中陣・後陣でない fact16: もしも「あの世界ランクは湿気易い」ということは確かであるとするとこの大蔵卿は湿気易いかもしくはそれは風致であるかもしくはどちらもである fact17: この大蔵卿は哀れっぽいししかも風致だ fact18: 「「「見返るし加えて里帰りする」ということは事実だ」ということは成り立たない」ものがあるならばあの経営体質はやくざっぽくない fact19: 仮にある物が風致であるかあるいは湿気易くないかまたは両方だとしたらそれは前陣・中陣・後陣である ; $hypothesis$ = 「あの世界ランクは前陣・中陣・後陣でない」ということは事実と異なる ; $proof$ = 
fact17 -> int1: この大蔵卿は風致である; int1 & fact3 -> int2: あの世界ランクは風致であるかもしくは湿気易くない; fact19 -> int3: もしあの世界ランクは風致であるかあるいは湿気易くないならそれは前陣・中陣・後陣だ; int2 & int3 -> hypothesis; __PROVED__
事実1: もしあの経営体質が見返らないとするとそれは軍人であるかまたはそれはやくざっぽいかもしくは両方ともだ
事実2: もし仮になにがしかの物がやくざっぽくないとすれば軍人だしおまけに緩い
事実3: 仮にこの大蔵卿が風致であるならあの世界ランクは風致であるかもしくは湿気易いということはない
事実4: あの世界ランクは風致であるかそれは湿気易い
事実5: 仮に「あの三．五角はウェブサイトでない」ということは成り立つとしたら「見返るしまた里帰りする」ということは誤っている
事実6: 仮に「なにがしかのものは軍人でないしおまけに湿気易いということはない」ということは誤りならそれは湿気易い
事実7: この大蔵卿が風致ならあの世界ランクは風致であるかあるいは湿気易い
事実8: この大蔵卿が湿気易いとするとあの世界ランクは風致でないがしかしそれは哀れっぽい
事実9: もしなにがしかの物が緩いとするとそれは湿気易い
事実10: もしも何かは哀れっぽいが風致でないならば前陣・中陣・後陣でない
事実11: もしもあの世界ランクが湿気易くないとするとそれは前陣・中陣・後陣だ
事実12: あの三．五角はウェブサイトでない
事実13: この大蔵卿は哀れっぽい
事実14: 仮にとあるものが湿気易くないなら前陣・中陣・後陣だ
事実15: もしも何らかのものが風致であるということはないがしかしそれが哀れっぽいならそれは前陣・中陣・後陣でない
事実16: もしも「あの世界ランクは湿気易い」ということは確かであるとするとこの大蔵卿は湿気易いかもしくはそれは風致であるかもしくはどちらもである
事実17: この大蔵卿は哀れっぽいししかも風致だ
事実18: 「「「見返るし加えて里帰りする」ということは事実だ」ということは成り立たない」ものがあるならばあの経営体質はやくざっぽくない
事実19: 仮にある物が風致であるかあるいは湿気易くないかまたは両方だとしたらそれは前陣・中陣・後陣である

仮説: 「あの世界ランクは前陣・中陣・後陣でない」ということは事実と異なる
1. 事実17から、推論1: "この大蔵卿は風致である"が導かれる
2. 推論1と事実3から、推論2: "あの世界ランクは風致であるかもしくは湿気易くない"が導かれる
3. 事実19から、推論3: "もしあの世界ランクは風致であるかあるいは湿気易くないならそれは前陣・中陣・後陣だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。