あの検事正は繁盛するし地球規模である
fact1: 木らしいということはない物は担当書記官であるし出没する fact2: もしも「「睦まじい一方で憂くない」ということは事実と異なる」ものがあればこの凝固過程は繁盛しない fact3: もし仮にこの凝固過程が繁盛しないとするとあの検事正は繁盛するしまた地球規模だ fact4: 睦まじくて憂くない物はある fact5: あの検事正は地球規模だ fact6: この凝固過程は小紋だがそれはえげつなくない fact7: 「「「地球規模であるし憂くない」ということは正しい」ということは確かでない」ものはある fact8: もしあるものは伝わり難いということはないなら「それは繁盛するし地球規模だ」ということは誤りである fact9: この書はすごーいということはない fact10: 果てし無くないものは御宜しいがしかし木らしくない fact11: もしもこの書がすごーくないならばこの凝固過程はすごーくない fact12: もし仮にこの凝固過程は小紋である一方でえげつないということはないならばそれは果てし無くない fact13: 「その保安官は睦まじいが憂くない」ということは誤りだ
fact13 -> int1: 「「睦まじいし憂くない」ということは偽である」物はある; int1 & fact2 -> int2: この凝固過程は繁盛するということはない; int2 & fact3 -> hypothesis;
fact13 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact2 -> int2: ¬{A}{a}; int2 & fact3 -> hypothesis;
「「あの検事正は繁盛するしかつ地球規模である」ということは真実だ」ということは成り立たない
fact19 -> int3: 仮にあの検事正は伝わり難いということはないとすれば「それは繁盛するし地球規模だ」ということは誤りだ; fact20 -> int4: この凝固過程が木らしくないとすれば担当書記官であるしそれに出没する; fact14 -> int5: この凝固過程が果てし無くないとすればそれは御宜しいがしかし木らしくない; fact18 & fact17 -> int6: この凝固過程は果てし無くない; int5 & int6 -> int7: この凝固過程は御宜しいけれど木らしくない; int7 -> int8: この凝固過程は木らしいということはない; int4 & int8 -> int9: この凝固過程は担当書記官でそれに出没する; int9 -> int10: この凝固過程は担当書記官だ; fact15 & fact16 -> int11: この凝固過程はすごーくない; int10 & int11 -> int12: この凝固過程は担当書記官であるがしかしそれはすごーくない; int12 -> int13: なんらかの物は担当書記官だがしかしそれはすごーくない;
$facts$ = fact1: 木らしいということはない物は担当書記官であるし出没する fact2: もしも「「睦まじい一方で憂くない」ということは事実と異なる」ものがあればこの凝固過程は繁盛しない fact3: もし仮にこの凝固過程が繁盛しないとするとあの検事正は繁盛するしまた地球規模だ fact4: 睦まじくて憂くない物はある fact5: あの検事正は地球規模だ fact6: この凝固過程は小紋だがそれはえげつなくない fact7: 「「「地球規模であるし憂くない」ということは正しい」ということは確かでない」ものはある fact8: もしあるものは伝わり難いということはないなら「それは繁盛するし地球規模だ」ということは誤りである fact9: この書はすごーいということはない fact10: 果てし無くないものは御宜しいがしかし木らしくない fact11: もしもこの書がすごーくないならばこの凝固過程はすごーくない fact12: もし仮にこの凝固過程は小紋である一方でえげつないということはないならばそれは果てし無くない fact13: 「その保安官は睦まじいが憂くない」ということは誤りだ ; $hypothesis$ = あの検事正は繁盛するし地球規模である ; $proof$ = 
fact13 -> int1: 「「睦まじいし憂くない」ということは偽である」物はある; int1 & fact2 -> int2: この凝固過程は繁盛するということはない; int2 & fact3 -> hypothesis; __PROVED__
事実1: 木らしいということはない物は担当書記官であるし出没する
事実2: もしも「「睦まじい一方で憂くない」ということは事実と異なる」ものがあればこの凝固過程は繁盛しない
事実3: もし仮にこの凝固過程が繁盛しないとするとあの検事正は繁盛するしまた地球規模だ
事実4: 睦まじくて憂くない物はある
事実5: あの検事正は地球規模だ
事実6: この凝固過程は小紋だがそれはえげつなくない
事実7: 「「「地球規模であるし憂くない」ということは正しい」ということは確かでない」ものはある
事実8: もしあるものは伝わり難いということはないなら「それは繁盛するし地球規模だ」ということは誤りである
事実9: この書はすごーいということはない
事実10: 果てし無くないものは御宜しいがしかし木らしくない
事実11: もしもこの書がすごーくないならばこの凝固過程はすごーくない
事実12: もし仮にこの凝固過程は小紋である一方でえげつないということはないならばそれは果てし無くない
事実13: 「その保安官は睦まじいが憂くない」ということは誤りだ

仮説: あの検事正は繁盛するし地球規模である
1. 事実13から、推論1: "「「睦まじいし憂くない」ということは偽である」物はある"が導かれる
2. 推論1と事実2から、推論2: "この凝固過程は繁盛するということはない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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