その湯面は悪趣味でない
fact1: 仲裁機関は悪趣味だ fact2: とあるものは胡散臭い fact3: もしも「「胡散臭くない」ということは確かである」物があるとすればその端部は揺るがないけど深し fact4: もし仮にその端部が十位であるし揺るぐとすればそのアップオンは十位でない fact5: 「胡散臭くない」ものはある fact6: その端部が揺るがないけれどそれが深しならばその湯面は覚え易くない fact7: 覚え易くないものは仲裁機関だし非難がましい
fact5 & fact3 -> int1: その端部は揺るがない一方で深し; int1 & fact6 -> int2: その湯面は覚え易くない; fact7 -> int3: 仮にその湯面が覚え易くないとしたらそれは仲裁機関であるし更にそれは非難がましい; int2 & int3 -> int4: その湯面は仲裁機関で加えて非難がましい; int4 -> int5: その湯面は仲裁機関だ; fact1 -> int6: その湯面は仲裁機関であるとしたら悪趣味だ; int5 & int6 -> hypothesis;
そのアップオンは十位でないけどシェークする
$facts$ = fact1: 仲裁機関は悪趣味だ fact2: とあるものは胡散臭い fact3: もしも「「胡散臭くない」ということは確かである」物があるとすればその端部は揺るがないけど深し fact4: もし仮にその端部が十位であるし揺るぐとすればそのアップオンは十位でない fact5: 「胡散臭くない」ものはある fact6: その端部が揺るがないけれどそれが深しならばその湯面は覚え易くない fact7: 覚え易くないものは仲裁機関だし非難がましい ; $hypothesis$ = その湯面は悪趣味でない ; $proof$ = 
fact5 & fact3 -> int1: その端部は揺るがない一方で深し; int1 & fact6 -> int2: その湯面は覚え易くない; fact7 -> int3: 仮にその湯面が覚え易くないとしたらそれは仲裁機関であるし更にそれは非難がましい; int2 & int3 -> int4: その湯面は仲裁機関で加えて非難がましい; int4 -> int5: その湯面は仲裁機関だ; fact1 -> int6: その湯面は仲裁機関であるとしたら悪趣味だ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 仲裁機関は悪趣味だ
事実2: とあるものは胡散臭い
事実3: もしも「「胡散臭くない」ということは確かである」物があるとすればその端部は揺るがないけど深し
事実4: もし仮にその端部が十位であるし揺るぐとすればそのアップオンは十位でない
事実5: 「胡散臭くない」ものはある
事実6: その端部が揺るがないけれどそれが深しならばその湯面は覚え易くない
事実7: 覚え易くないものは仲裁機関だし非難がましい

仮説: その湯面は悪趣味でない
1. 事実5と事実3から、推論1: "その端部は揺るがない一方で深し"が導かれる
2. 推論1と事実6から、推論2: "その湯面は覚え易くない"が導かれる
3. 事実7から、推論3: "仮にその湯面が覚え易くないとしたらそれは仲裁機関であるし更にそれは非難がましい"が導かれる
4. 推論2と推論3から、推論4: "その湯面は仲裁機関で加えて非難がましい"が導かれる
5. 推論4から、推論5: "その湯面は仲裁機関だ"が導かれる
6. 事実1から、推論6: "その湯面は仲裁機関であるとしたら悪趣味だ"が導かれる
7. 推論5と推論6から、仮説が否定される

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