「その二十歳前は腫れ上がらないがしかし結び付き難い」ということは成り立つということはない
fact1: 「その英会話学校は拡張性でないかあるいは工場立地でないかもしくは両方だ」ということは事実と異なる fact2: もしもあるものは打ち難いならば「腫れ上がらないが結び付き難い」ということは嘘である fact3: 仮にこの評伝は遊走するとしたら「それは連合艦隊司令部であるしかつＲＡＷ＿データフォルダだ」ということは成り立たない fact4: もしもその二十歳前が恐れ多いとすると連合艦隊司令部でないし通り難い fact5: 仮にその二十歳前は恐れ多いなら「それは怠業であるしかつ泣き濡れる」ということは誤りだ fact6: もしも「なにかは連合艦隊司令部でないが通り難い」ということは真実であるならばそれは打ち難い fact7: もし仮にとあるものは男っぽいということはないとすると「少なくなくてしかもそれは恐れ多いということはない」ということは間違いだ fact8: 「その二十歳前は恐れ多い」ということは真実である fact9: もし仮にこの自力聖道が増殖・分化ならそれは鹿報会でない fact10: もし仮に「「拡張性でないかまたは工場立地でない」ということは偽である」ものがあるとしたらあのブランデーは男っぽくない
fact6 -> int1: もしその二十歳前が連合艦隊司令部でないがしかし通り難いならそれは打ち難い; fact8 & fact4 -> int2: その二十歳前は連合艦隊司令部でないけど通り難い; int1 & int2 -> int3: 「その二十歳前は打ち難い」ということは成り立つ; fact2 -> int4: もし仮にその二十歳前は打ち難いとしたら「それは腫れ上がらなくておまけに結び付き難い」ということは偽である; int3 & int4 -> hypothesis;
fact6 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact8 & fact4 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact2 -> int4: {B}{aa} -> ¬(¬{A}{aa} & {C}{aa}); int3 & int4 -> hypothesis;
その二十歳前は腫れ上がるということはないがしかしそれは結び付き難い
fact13 -> int5: もしもあのブランデーは男っぽくないなら「それは少なくなくてその上恐れ多くない」ということは嘘だ; fact11 -> int6: 「「拡張性であるということはないかあるいは工場立地でないかまたはどちらもだ」ということは事実と異なる」ものはある; int6 & fact12 -> int7: あのブランデーは男っぽくない; int5 & int7 -> int8: 「あのブランデーは少なくなくて加えて恐れ多くない」ということは成り立たない;
$facts$ = fact1: 「その英会話学校は拡張性でないかあるいは工場立地でないかもしくは両方だ」ということは事実と異なる fact2: もしもあるものは打ち難いならば「腫れ上がらないが結び付き難い」ということは嘘である fact3: 仮にこの評伝は遊走するとしたら「それは連合艦隊司令部であるしかつＲＡＷ＿データフォルダだ」ということは成り立たない fact4: もしもその二十歳前が恐れ多いとすると連合艦隊司令部でないし通り難い fact5: 仮にその二十歳前は恐れ多いなら「それは怠業であるしかつ泣き濡れる」ということは誤りだ fact6: もしも「なにかは連合艦隊司令部でないが通り難い」ということは真実であるならばそれは打ち難い fact7: もし仮にとあるものは男っぽいということはないとすると「少なくなくてしかもそれは恐れ多いということはない」ということは間違いだ fact8: 「その二十歳前は恐れ多い」ということは真実である fact9: もし仮にこの自力聖道が増殖・分化ならそれは鹿報会でない fact10: もし仮に「「拡張性でないかまたは工場立地でない」ということは偽である」ものがあるとしたらあのブランデーは男っぽくない ; $hypothesis$ = 「その二十歳前は腫れ上がらないがしかし結び付き難い」ということは成り立つということはない ; $proof$ = 
fact6 -> int1: もしその二十歳前が連合艦隊司令部でないがしかし通り難いならそれは打ち難い; fact8 & fact4 -> int2: その二十歳前は連合艦隊司令部でないけど通り難い; int1 & int2 -> int3: 「その二十歳前は打ち難い」ということは成り立つ; fact2 -> int4: もし仮にその二十歳前は打ち難いとしたら「それは腫れ上がらなくておまけに結び付き難い」ということは偽である; int3 & int4 -> hypothesis; __PROVED__
事実1: 「その英会話学校は拡張性でないかあるいは工場立地でないかもしくは両方だ」ということは事実と異なる
事実2: もしもあるものは打ち難いならば「腫れ上がらないが結び付き難い」ということは嘘である
事実3: 仮にこの評伝は遊走するとしたら「それは連合艦隊司令部であるしかつＲＡＷ＿データフォルダだ」ということは成り立たない
事実4: もしもその二十歳前が恐れ多いとすると連合艦隊司令部でないし通り難い
事実5: 仮にその二十歳前は恐れ多いなら「それは怠業であるしかつ泣き濡れる」ということは誤りだ
事実6: もしも「なにかは連合艦隊司令部でないが通り難い」ということは真実であるならばそれは打ち難い
事実7: もし仮にとあるものは男っぽいということはないとすると「少なくなくてしかもそれは恐れ多いということはない」ということは間違いだ
事実8: 「その二十歳前は恐れ多い」ということは真実である
事実9: もし仮にこの自力聖道が増殖・分化ならそれは鹿報会でない
事実10: もし仮に「「拡張性でないかまたは工場立地でない」ということは偽である」ものがあるとしたらあのブランデーは男っぽくない

仮説: 「その二十歳前は腫れ上がらないがしかし結び付き難い」ということは成り立つということはない
1. 事実6から、推論1: "もしその二十歳前が連合艦隊司令部でないがしかし通り難いならそれは打ち難い"が導かれる
2. 事実8と事実4から、推論2: "その二十歳前は連合艦隊司令部でないけど通り難い"が導かれる
3. 推論1と推論2から、推論3: "「その二十歳前は打ち難い」ということは成り立つ"が導かれる
4. 事実2から、推論4: "もし仮にその二十歳前は打ち難いとしたら「それは腫れ上がらなくておまけに結び付き難い」ということは偽である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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