このオプシンは汚穢である
fact1: もし仮にこのオプシンが汚れ難くてかつ鍋料理であるとしたらあのリンパ浮腫は蕩けない fact2: あの区分けは汚れ難くないならば「この被補助人は蕩けるということはなくて降下率でない」ということは成り立たない fact3: このオプシンは降下率でないならば合わせ易くない fact4: このオプシンは二群であるしかつそれは汚れ難い fact5: 仮に「ある物は自分自身以外でないかもしくは合わせ易いかあるいは両方である」ということは成り立つということはないとすれば汚穢である fact6: 保全事件は鍋料理である fact7: このオプシンは降下率でない fact8: 何らかのものが蕩けないならそれは汚穢であるし降下率だ fact9: このオプシンは合わせ易くない fact10: もし仮にこのオプシンは降下率でないとすれば「自分自身以外でないかあるいは合わせ易いかまたは両方である」ということは成り立たない
fact10 & fact7 -> int1: 「このオプシンは自分自身以外でないかもしくはそれは合わせ易いかまたはどちらもである」ということは成り立たない; fact5 -> int2: もしも「このオプシンは自分自身以外でないかそれは合わせ易いかもしくは両方ともだ」ということは真実でないとすれば「汚穢である」ということは本当だ; int1 & int2 -> hypothesis;
fact10 & fact7 -> int1: ¬(¬{AA}{a} v {AB}{a}); fact5 -> int2: ¬(¬{AA}{a} v {AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
あのリンパ浮腫は汚穢だ
fact14 -> int3: もし仮にあのリンパ浮腫が蕩けないならそれは汚穢であるしおまけに降下率だ; fact11 -> int4: このオプシンは汚れ難い; fact12 -> int5: もしもこのオプシンは保全事件であるとするとそれは鍋料理である;
$facts$ = fact1: もし仮にこのオプシンが汚れ難くてかつ鍋料理であるとしたらあのリンパ浮腫は蕩けない fact2: あの区分けは汚れ難くないならば「この被補助人は蕩けるということはなくて降下率でない」ということは成り立たない fact3: このオプシンは降下率でないならば合わせ易くない fact4: このオプシンは二群であるしかつそれは汚れ難い fact5: 仮に「ある物は自分自身以外でないかもしくは合わせ易いかあるいは両方である」ということは成り立つということはないとすれば汚穢である fact6: 保全事件は鍋料理である fact7: このオプシンは降下率でない fact8: 何らかのものが蕩けないならそれは汚穢であるし降下率だ fact9: このオプシンは合わせ易くない fact10: もし仮にこのオプシンは降下率でないとすれば「自分自身以外でないかあるいは合わせ易いかまたは両方である」ということは成り立たない ; $hypothesis$ = このオプシンは汚穢である ; $proof$ = 
fact10 & fact7 -> int1: 「このオプシンは自分自身以外でないかもしくはそれは合わせ易いかまたはどちらもである」ということは成り立たない; fact5 -> int2: もしも「このオプシンは自分自身以外でないかそれは合わせ易いかもしくは両方ともだ」ということは真実でないとすれば「汚穢である」ということは本当だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にこのオプシンが汚れ難くてかつ鍋料理であるとしたらあのリンパ浮腫は蕩けない
事実2: あの区分けは汚れ難くないならば「この被補助人は蕩けるということはなくて降下率でない」ということは成り立たない
事実3: このオプシンは降下率でないならば合わせ易くない
事実4: このオプシンは二群であるしかつそれは汚れ難い
事実5: 仮に「ある物は自分自身以外でないかもしくは合わせ易いかあるいは両方である」ということは成り立つということはないとすれば汚穢である
事実6: 保全事件は鍋料理である
事実7: このオプシンは降下率でない
事実8: 何らかのものが蕩けないならそれは汚穢であるし降下率だ
事実9: このオプシンは合わせ易くない
事実10: もし仮にこのオプシンは降下率でないとすれば「自分自身以外でないかあるいは合わせ易いかまたは両方である」ということは成り立たない

仮説: このオプシンは汚穢である
1. 事実10と事実7から、推論1: "「このオプシンは自分自身以外でないかもしくはそれは合わせ易いかまたはどちらもである」ということは成り立たない"が導かれる
2. 事実5から、推論2: "もしも「このオプシンは自分自身以外でないかそれは合わせ易いかもしくは両方ともだ」ということは真実でないとすれば「汚穢である」ということは本当だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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