その謙遜は若過ぎない
fact1: その四半刻は四等分する fact2: 「「束であるしその上繊細過ぎる」ということは本当な」物はある fact3: もし仮に「「その四半刻は四等分しないか引き難くないかあるいは両方である」ということは成り立つ」ということは誤っているとするとあのＷＡＣＣは引き難い fact4: もし仮に「「その四半刻は四等分するかあるいは引き難くないかあるいは両方である」ということは成り立たない」ということは本当であるならあのＷＡＣＣは引き難い fact5: ある物は若過ぎるが四等分しない fact6: 仮に「麗しくない」物があるとしたらその家計は四等分しないかそれは織り成しないかもしくは両方だ fact7: もし「この勧業御用掛かりは麗しいしさらに金融論である」ということは誤りであるとするとそれは麗しくない fact8: もし仮にその家計がぶん殴ればそのハット湾が束だけどそれは繊細過ぎない fact9: 何らかの物は繊細過ぎない fact10: もし仮にあのＷＡＣＣが若過ぎるとするとその謙遜は若過ぎる fact11: もしも「あるものはぶん殴らないけど縦貫する」ということは成り立たないならそれはぶん殴る fact12: 「この勧業御用掛かりは麗しいし加えて金融論である」ということは確かでない fact13: もしそのハット湾が束だがしかし繊細過ぎないならその四半刻は束でない fact14: 「束だし加えて繊細過ぎない」物はある fact15: もしとあるものが四等分しないかまたは織り成しないかまたは両方ともだとしたら引き難い fact16: あのＷＡＣＣは合併し易い fact17: もしあのＷＡＣＣがぶん殴るしさらに引き難いならばその謙遜は若過ぎない fact18: 仮に「その四半刻は若過ぎないか引き難くないかあるいは両方ともだ」ということは間違っているとしたらその謙遜は引き難い fact19: 束が繊細過ぎないとするとあのＷＡＣＣはぶん殴る fact20: 「その四半刻は四等分しないか引き難くないかどちらもである」ということは間違いだ
fact14 & fact19 -> int1: あのＷＡＣＣはぶん殴る; fact3 & fact20 -> int2: 「あのＷＡＣＣは引き難い」ということは事実である; int1 & int2 -> int3: あのＷＡＣＣはぶん殴るしそれは引き難い; int3 & fact17 -> hypothesis;
その謙遜は若過ぎる
fact27 -> int4: 仮に「その家計はぶん殴らないが縦貫する」ということは事実と異なるとしたらそれはぶん殴る; fact21 -> int5: もしその家計が四等分しないかあるいはそれは織り成しないか両方ともなら引き難い; fact28 & fact23 -> int6: この勧業御用掛かりは麗しくない; int6 -> int7: 「「麗しいということはない」ということは本当である」物はある; int7 & fact25 -> int8: 「その家計は四等分しないかあるいはそれは織り成さない」ということは間違っていない; int5 & int8 -> int9: その家計は引き難い;
$facts$ = fact1: その四半刻は四等分する fact2: 「「束であるしその上繊細過ぎる」ということは本当な」物はある fact3: もし仮に「「その四半刻は四等分しないか引き難くないかあるいは両方である」ということは成り立つ」ということは誤っているとするとあのＷＡＣＣは引き難い fact4: もし仮に「「その四半刻は四等分するかあるいは引き難くないかあるいは両方である」ということは成り立たない」ということは本当であるならあのＷＡＣＣは引き難い fact5: ある物は若過ぎるが四等分しない fact6: 仮に「麗しくない」物があるとしたらその家計は四等分しないかそれは織り成しないかもしくは両方だ fact7: もし「この勧業御用掛かりは麗しいしさらに金融論である」ということは誤りであるとするとそれは麗しくない fact8: もし仮にその家計がぶん殴ればそのハット湾が束だけどそれは繊細過ぎない fact9: 何らかの物は繊細過ぎない fact10: もし仮にあのＷＡＣＣが若過ぎるとするとその謙遜は若過ぎる fact11: もしも「あるものはぶん殴らないけど縦貫する」ということは成り立たないならそれはぶん殴る fact12: 「この勧業御用掛かりは麗しいし加えて金融論である」ということは確かでない fact13: もしそのハット湾が束だがしかし繊細過ぎないならその四半刻は束でない fact14: 「束だし加えて繊細過ぎない」物はある fact15: もしとあるものが四等分しないかまたは織り成しないかまたは両方ともだとしたら引き難い fact16: あのＷＡＣＣは合併し易い fact17: もしあのＷＡＣＣがぶん殴るしさらに引き難いならばその謙遜は若過ぎない fact18: 仮に「その四半刻は若過ぎないか引き難くないかあるいは両方ともだ」ということは間違っているとしたらその謙遜は引き難い fact19: 束が繊細過ぎないとするとあのＷＡＣＣはぶん殴る fact20: 「その四半刻は四等分しないか引き難くないかどちらもである」ということは間違いだ ; $hypothesis$ = その謙遜は若過ぎない ; $proof$ = 
fact14 & fact19 -> int1: あのＷＡＣＣはぶん殴る; fact3 & fact20 -> int2: 「あのＷＡＣＣは引き難い」ということは事実である; int1 & int2 -> int3: あのＷＡＣＣはぶん殴るしそれは引き難い; int3 & fact17 -> hypothesis; __PROVED__
事実1: その四半刻は四等分する
事実2: 「「束であるしその上繊細過ぎる」ということは本当な」物はある
事実3: もし仮に「「その四半刻は四等分しないか引き難くないかあるいは両方である」ということは成り立つ」ということは誤っているとするとあのＷＡＣＣは引き難い
事実4: もし仮に「「その四半刻は四等分するかあるいは引き難くないかあるいは両方である」ということは成り立たない」ということは本当であるならあのＷＡＣＣは引き難い
事実5: ある物は若過ぎるが四等分しない
事実6: 仮に「麗しくない」物があるとしたらその家計は四等分しないかそれは織り成しないかもしくは両方だ
事実7: もし「この勧業御用掛かりは麗しいしさらに金融論である」ということは誤りであるとするとそれは麗しくない
事実8: もし仮にその家計がぶん殴ればそのハット湾が束だけどそれは繊細過ぎない
事実9: 何らかの物は繊細過ぎない
事実10: もし仮にあのＷＡＣＣが若過ぎるとするとその謙遜は若過ぎる
事実11: もしも「あるものはぶん殴らないけど縦貫する」ということは成り立たないならそれはぶん殴る
事実12: 「この勧業御用掛かりは麗しいし加えて金融論である」ということは確かでない
事実13: もしそのハット湾が束だがしかし繊細過ぎないならその四半刻は束でない
事実14: 「束だし加えて繊細過ぎない」物はある
事実15: もしとあるものが四等分しないかまたは織り成しないかまたは両方ともだとしたら引き難い
事実16: あのＷＡＣＣは合併し易い
事実17: もしあのＷＡＣＣがぶん殴るしさらに引き難いならばその謙遜は若過ぎない
事実18: 仮に「その四半刻は若過ぎないか引き難くないかあるいは両方ともだ」ということは間違っているとしたらその謙遜は引き難い
事実19: 束が繊細過ぎないとするとあのＷＡＣＣはぶん殴る
事実20: 「その四半刻は四等分しないか引き難くないかどちらもである」ということは間違いだ

仮説: その謙遜は若過ぎない
1. 事実14と事実19から、推論1: "あのＷＡＣＣはぶん殴る"が導かれる
2. 事実3と事実20から、推論2: "「あのＷＡＣＣは引き難い」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "あのＷＡＣＣはぶん殴るしそれは引き難い"が導かれる
4. 推論3と事実17から、仮説が導かれる

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