あの全体は其れっぽくなくてかつそれは冗談っぽくない
fact1: もし仮に「なにかは初当選する」ということは本当であるならおもろくないし物憂い fact2: すべては英国ソーシャルワーカー協会であるかあるいはそれは穏健である fact3: この地先は其れっぽいということはない fact4: もしこの地先が冗談っぽくないとすればあの全体は其れっぽくないしまた冗談っぽいということはない fact5: もし仮に「初当選するかあるいは冗談っぽいかまたは両方ともである」ものはあるなら「あの主神は物憂くない」ということは正しい fact6: もし仮に「何らかの物は出資財産でないが太い」ということは正しいということはないとしたら初当選する fact7: 仮におもろいものが物憂いならそれは冗談っぽくない fact8: 仮になにかはおもろいということはないとすると「それは其れっぽくないしおまけにそれは冗談っぽくない」ということは嘘である fact9: この地先は物憂い fact10: この地先はおもろい fact11: もしあの全体が英国ソーシャルワーカー協会だとするとそれは生え始める fact12: もしも何かは生え始めるとすると「それは出資財産であるということはなくてそれは太い」ということは成り立たない
fact10 & fact9 -> int1: この地先はおもろいし更に物憂い; fact7 -> int2: もし仮にこの地先はおもろくて加えて物憂いなら冗談っぽくない; int1 & int2 -> int3: この地先は冗談っぽくない; int3 & fact4 -> hypothesis;
fact10 & fact9 -> int1: ({A}{a} & {B}{a}); fact7 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact4 -> hypothesis;
あの主神は競争性でなくてまたおもろいということはない
$facts$ = fact1: もし仮に「なにかは初当選する」ということは本当であるならおもろくないし物憂い fact2: すべては英国ソーシャルワーカー協会であるかあるいはそれは穏健である fact3: この地先は其れっぽいということはない fact4: もしこの地先が冗談っぽくないとすればあの全体は其れっぽくないしまた冗談っぽいということはない fact5: もし仮に「初当選するかあるいは冗談っぽいかまたは両方ともである」ものはあるなら「あの主神は物憂くない」ということは正しい fact6: もし仮に「何らかの物は出資財産でないが太い」ということは正しいということはないとしたら初当選する fact7: 仮におもろいものが物憂いならそれは冗談っぽくない fact8: 仮になにかはおもろいということはないとすると「それは其れっぽくないしおまけにそれは冗談っぽくない」ということは嘘である fact9: この地先は物憂い fact10: この地先はおもろい fact11: もしあの全体が英国ソーシャルワーカー協会だとするとそれは生え始める fact12: もしも何かは生え始めるとすると「それは出資財産であるということはなくてそれは太い」ということは成り立たない ; $hypothesis$ = あの全体は其れっぽくなくてかつそれは冗談っぽくない ; $proof$ = 
fact10 & fact9 -> int1: この地先はおもろいし更に物憂い; fact7 -> int2: もし仮にこの地先はおもろくて加えて物憂いなら冗談っぽくない; int1 & int2 -> int3: この地先は冗談っぽくない; int3 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に「なにかは初当選する」ということは本当であるならおもろくないし物憂い
事実2: すべては英国ソーシャルワーカー協会であるかあるいはそれは穏健である
事実3: この地先は其れっぽいということはない
事実4: もしこの地先が冗談っぽくないとすればあの全体は其れっぽくないしまた冗談っぽいということはない
事実5: もし仮に「初当選するかあるいは冗談っぽいかまたは両方ともである」ものはあるなら「あの主神は物憂くない」ということは正しい
事実6: もし仮に「何らかの物は出資財産でないが太い」ということは正しいということはないとしたら初当選する
事実7: 仮におもろいものが物憂いならそれは冗談っぽくない
事実8: 仮になにかはおもろいということはないとすると「それは其れっぽくないしおまけにそれは冗談っぽくない」ということは嘘である
事実9: この地先は物憂い
事実10: この地先はおもろい
事実11: もしあの全体が英国ソーシャルワーカー協会だとするとそれは生え始める
事実12: もしも何かは生え始めるとすると「それは出資財産であるということはなくてそれは太い」ということは成り立たない

仮説: あの全体は其れっぽくなくてかつそれは冗談っぽくない
1. 事実10と事実9から、推論1: "この地先はおもろいし更に物憂い"が導かれる
2. 事実7から、推論2: "もし仮にこの地先はおもろくて加えて物憂いなら冗談っぽくない"が導かれる
3. 推論1と推論2から、推論3: "この地先は冗談っぽくない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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