「もしもすげないとすれば「仄白くないがでかい」ということは成り立たない」ものはある
fact1: もしもあの吉徳資料室蔵がすげないとすればそれは仄白くないがでかい fact2: もしなんらかの物は逆風切りであるなら「紳士らしいということはないしそれは税込みだ」ということは間違いだ fact3: 「もし仮にすげないなら「仄白くてかつでかい」ということは成り立たない」物はある fact4: もしあの吉徳資料室蔵はすげないとしたら「仄白いしかつでかい」ということは成り立たない fact5: 仮にある物はすげないとすると「仄白くない一方ででかい」ということは偽である fact6: すげないものは仄白くないがしかしでかい
fact5 -> int1: 「仮に「あの吉徳資料室蔵はすげない」ということは正しいなら「あの吉徳資料室蔵は仄白くないけれどそれはでかい」ということは嘘である」ということは成り立つ; int1 -> hypothesis;
「もしも逆風切りならば「紳士らしくないしかつ税込みだ」ということは成り立つということはない」物はある
fact7 -> int2: その有給教育訓練休暇は逆風切りなら「紳士らしくないしおまけに税込みだ」ということは間違いである; int2 -> hypothesis;
$facts$ = fact1: もしもあの吉徳資料室蔵がすげないとすればそれは仄白くないがでかい fact2: もしなんらかの物は逆風切りであるなら「紳士らしいということはないしそれは税込みだ」ということは間違いだ fact3: 「もし仮にすげないなら「仄白くてかつでかい」ということは成り立たない」物はある fact4: もしあの吉徳資料室蔵はすげないとしたら「仄白いしかつでかい」ということは成り立たない fact5: 仮にある物はすげないとすると「仄白くない一方ででかい」ということは偽である fact6: すげないものは仄白くないがしかしでかい ; $hypothesis$ = 「もしもすげないとすれば「仄白くないがでかい」ということは成り立たない」ものはある ; $proof$ = 
fact5 -> int1: 「仮に「あの吉徳資料室蔵はすげない」ということは正しいなら「あの吉徳資料室蔵は仄白くないけれどそれはでかい」ということは嘘である」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: もしもあの吉徳資料室蔵がすげないとすればそれは仄白くないがでかい
事実2: もしなんらかの物は逆風切りであるなら「紳士らしいということはないしそれは税込みだ」ということは間違いだ
事実3: 「もし仮にすげないなら「仄白くてかつでかい」ということは成り立たない」物はある
事実4: もしあの吉徳資料室蔵はすげないとしたら「仄白いしかつでかい」ということは成り立たない
事実5: 仮にある物はすげないとすると「仄白くない一方ででかい」ということは偽である
事実6: すげないものは仄白くないがしかしでかい

仮説: 「もしもすげないとすれば「仄白くないがでかい」ということは成り立たない」ものはある
1. 事実5から、推論1: "「仮に「あの吉徳資料室蔵はすげない」ということは正しいなら「あの吉徳資料室蔵は仄白くないけれどそれはでかい」ということは嘘である」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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