あの一年中はＭＬであるしまた勘違いし易い
fact1: あの代位弁済は追い越すし加えて滋養である fact2: もしも何らかの物が何するならそれは実用化する fact3: もしその論理的同値は降らさないとしたら「あの一年中はＭＬであるし加えて勘違いし易い」ということは事実と異なる fact4: もし仮に「そのウェストは実用化する」ということは本当ならば「このヨーロッパ人権条約は明けないし臭いということはない」ということは事実と異なる fact5: 仮に「その論理的同値はＭＬでない」ということは成り立つならあの一年中がＭＬだしそれは勘違いし易い fact6: その基質蛋白質は降らすということはないしおまけに輸送量でない fact7: 仮にその基本が降らすならその論理的同値は降らさない fact8: もしあの代位弁済が追い越すならそのウェストは物欲しかない fact9: もしある物は輸送量であるということはないとすると「降らすかあるいは舞い散る」ということは真実である fact10: 仮に「「明けないしさらに臭くない」ということは偽な」ものがあるとしたらその基本は輸送量でない fact11: 「降らさないしおまけに輸送量でない」物があるならその論理的同値はＭＬでない fact12: 物欲しかないものは何するししかも衰う
fact6 -> int1: なんらかの物は降らさないし更に輸送量でない; int1 & fact11 -> int2: その論理的同値はＭＬであるということはない; int2 & fact5 -> hypothesis;
「あの一年中はＭＬであるしそれは勘違いし易い」ということは成り立たない
fact13 -> int3: もし「その基本は輸送量でない」ということは正しいとすれば降らすかもしくは舞い散るかもしくはどちらもだ; fact21 -> int4: もしもそのウェストが何するなら実用化する; fact19 -> int5: そのウェストが物欲しかないとすると何するし衰う; fact14 -> int6: あの代位弁済は追い越す; fact15 & int6 -> int7: そのウェストは物欲しかない; int5 & int7 -> int8: 「そのウェストは何するしそれは衰う」ということは正しい; int8 -> int9: そのウェストは何する; int4 & int9 -> int10: そのウェストは実用化する; fact18 & int10 -> int11: 「このヨーロッパ人権条約は明けないしその上それは臭くない」ということは間違っている; int11 -> int12: 「「明けるということはないし臭くない」ということは成り立たない」ものはある; int12 & fact16 -> int13: その基本は輸送量でない; int3 & int13 -> int14: その基本は降らすかもしくはそれは舞い散る;
$facts$ = fact1: あの代位弁済は追い越すし加えて滋養である fact2: もしも何らかの物が何するならそれは実用化する fact3: もしその論理的同値は降らさないとしたら「あの一年中はＭＬであるし加えて勘違いし易い」ということは事実と異なる fact4: もし仮に「そのウェストは実用化する」ということは本当ならば「このヨーロッパ人権条約は明けないし臭いということはない」ということは事実と異なる fact5: 仮に「その論理的同値はＭＬでない」ということは成り立つならあの一年中がＭＬだしそれは勘違いし易い fact6: その基質蛋白質は降らすということはないしおまけに輸送量でない fact7: 仮にその基本が降らすならその論理的同値は降らさない fact8: もしあの代位弁済が追い越すならそのウェストは物欲しかない fact9: もしある物は輸送量であるということはないとすると「降らすかあるいは舞い散る」ということは真実である fact10: 仮に「「明けないしさらに臭くない」ということは偽な」ものがあるとしたらその基本は輸送量でない fact11: 「降らさないしおまけに輸送量でない」物があるならその論理的同値はＭＬでない fact12: 物欲しかないものは何するししかも衰う ; $hypothesis$ = あの一年中はＭＬであるしまた勘違いし易い ; $proof$ = 
fact6 -> int1: なんらかの物は降らさないし更に輸送量でない; int1 & fact11 -> int2: その論理的同値はＭＬであるということはない; int2 & fact5 -> hypothesis; __PROVED__
事実1: あの代位弁済は追い越すし加えて滋養である
事実2: もしも何らかの物が何するならそれは実用化する
事実3: もしその論理的同値は降らさないとしたら「あの一年中はＭＬであるし加えて勘違いし易い」ということは事実と異なる
事実4: もし仮に「そのウェストは実用化する」ということは本当ならば「このヨーロッパ人権条約は明けないし臭いということはない」ということは事実と異なる
事実5: 仮に「その論理的同値はＭＬでない」ということは成り立つならあの一年中がＭＬだしそれは勘違いし易い
事実6: その基質蛋白質は降らすということはないしおまけに輸送量でない
事実7: 仮にその基本が降らすならその論理的同値は降らさない
事実8: もしあの代位弁済が追い越すならそのウェストは物欲しかない
事実9: もしある物は輸送量であるということはないとすると「降らすかあるいは舞い散る」ということは真実である
事実10: 仮に「「明けないしさらに臭くない」ということは偽な」ものがあるとしたらその基本は輸送量でない
事実11: 「降らさないしおまけに輸送量でない」物があるならその論理的同値はＭＬでない
事実12: 物欲しかないものは何するししかも衰う

仮説: あの一年中はＭＬであるしまた勘違いし易い
1. 事実6から、推論1: "なんらかの物は降らさないし更に輸送量でない"が導かれる
2. 推論1と事実11から、推論2: "その論理的同値はＭＬであるということはない"が導かれる
3. 推論2と事実5から、仮説が導かれる

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