この本治法は予防するししかも忌み嫌う
fact1: 「もし仮になにがしかのものは突き付けないなら「「予防するしそれに忌み嫌う」ということは真実である」ということは間違いだ」ということは成り立つ fact2: もしも「この本治法は略さない」ということは偽でないとすればそのベール林園は予防するし略す fact3: もし仮に「何かは過不足無いかあるいは略しないかまたは両方である」ということは成り立たないならばそれは忌み嫌わない fact4: この本治法は心優しくて渋い fact5: 仮にこの本治法が忌み嫌わないとしたら突き付ける fact6: もしもそのベール林園が心優しくないとしたらこの本治法は後記でないけれど陰気臭い fact7: 「そのベール林園は突き付けるということはない」ということは成り立つ fact8: 何らかのものが後記だということはないとすれば突き付けない fact9: もしそのベール林園は突き付けるということはないとすれば「それは過不足無いかもしくは略しないかまたは両方ともである」ということは正しくない fact10: もし仮に「なにかは後記でない」ということは成り立つなら「忌み嫌うかもしくは突き付けるかまたは両方ともである」ということは嘘だ fact11: もしもとあるものが心優しいとしたら陰気臭い fact12: 仮にそのベール林園が忌み嫌わないならばこの本治法は予防するしまた忌み嫌う fact13: もし「「忌み嫌うかあるいは突き付けるかもしくは両方ともである」ということは誤りである」物があるとしたらあの作成済みは予防するということはない
fact9 & fact7 -> int1: 「そのベール林園は過不足無いかまたは略しないかまたはどちらもである」ということは事実と異なる; fact3 -> int2: もしも「そのベール林園は過不足無いかそれは略さない」ということは間違っているならそれは忌み嫌わない; int1 & int2 -> int3: 「そのベール林園は忌み嫌わない」ということは成り立つ; int3 & fact12 -> hypothesis;
fact9 & fact7 -> int1: ¬({AA}{a} v ¬{AB}{a}); fact3 -> int2: ¬({AA}{a} v ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact12 -> hypothesis;
あの作成済みは予防するということはない
fact15 -> int4: 仮にそのベール林園は後記でないとしたら「忌み嫌うか突き付けるか両方ともだ」ということは成り立たない; fact14 -> int5: もしこの本治法が心優しいとしたら陰気臭い; fact16 -> int6: この本治法は心優しい; int5 & int6 -> int7: この本治法は陰気臭い; int7 -> int8: 「陰気臭い」ものはある;
$facts$ = fact1: 「もし仮になにがしかのものは突き付けないなら「「予防するしそれに忌み嫌う」ということは真実である」ということは間違いだ」ということは成り立つ fact2: もしも「この本治法は略さない」ということは偽でないとすればそのベール林園は予防するし略す fact3: もし仮に「何かは過不足無いかあるいは略しないかまたは両方である」ということは成り立たないならばそれは忌み嫌わない fact4: この本治法は心優しくて渋い fact5: 仮にこの本治法が忌み嫌わないとしたら突き付ける fact6: もしもそのベール林園が心優しくないとしたらこの本治法は後記でないけれど陰気臭い fact7: 「そのベール林園は突き付けるということはない」ということは成り立つ fact8: 何らかのものが後記だということはないとすれば突き付けない fact9: もしそのベール林園は突き付けるということはないとすれば「それは過不足無いかもしくは略しないかまたは両方ともである」ということは正しくない fact10: もし仮に「なにかは後記でない」ということは成り立つなら「忌み嫌うかもしくは突き付けるかまたは両方ともである」ということは嘘だ fact11: もしもとあるものが心優しいとしたら陰気臭い fact12: 仮にそのベール林園が忌み嫌わないならばこの本治法は予防するしまた忌み嫌う fact13: もし「「忌み嫌うかあるいは突き付けるかもしくは両方ともである」ということは誤りである」物があるとしたらあの作成済みは予防するということはない ; $hypothesis$ = この本治法は予防するししかも忌み嫌う ; $proof$ = 
fact9 & fact7 -> int1: 「そのベール林園は過不足無いかまたは略しないかまたはどちらもである」ということは事実と異なる; fact3 -> int2: もしも「そのベール林園は過不足無いかそれは略さない」ということは間違っているならそれは忌み嫌わない; int1 & int2 -> int3: 「そのベール林園は忌み嫌わない」ということは成り立つ; int3 & fact12 -> hypothesis; __PROVED__
事実1: 「もし仮になにがしかのものは突き付けないなら「「予防するしそれに忌み嫌う」ということは真実である」ということは間違いだ」ということは成り立つ
事実2: もしも「この本治法は略さない」ということは偽でないとすればそのベール林園は予防するし略す
事実3: もし仮に「何かは過不足無いかあるいは略しないかまたは両方である」ということは成り立たないならばそれは忌み嫌わない
事実4: この本治法は心優しくて渋い
事実5: 仮にこの本治法が忌み嫌わないとしたら突き付ける
事実6: もしもそのベール林園が心優しくないとしたらこの本治法は後記でないけれど陰気臭い
事実7: 「そのベール林園は突き付けるということはない」ということは成り立つ
事実8: 何らかのものが後記だということはないとすれば突き付けない
事実9: もしそのベール林園は突き付けるということはないとすれば「それは過不足無いかもしくは略しないかまたは両方ともである」ということは正しくない
事実10: もし仮に「なにかは後記でない」ということは成り立つなら「忌み嫌うかもしくは突き付けるかまたは両方ともである」ということは嘘だ
事実11: もしもとあるものが心優しいとしたら陰気臭い
事実12: 仮にそのベール林園が忌み嫌わないならばこの本治法は予防するしまた忌み嫌う
事実13: もし「「忌み嫌うかあるいは突き付けるかもしくは両方ともである」ということは誤りである」物があるとしたらあの作成済みは予防するということはない

仮説: この本治法は予防するししかも忌み嫌う
1. 事実9と事実7から、推論1: "「そのベール林園は過不足無いかまたは略しないかまたはどちらもである」ということは事実と異なる"が導かれる
2. 事実3から、推論2: "もしも「そのベール林園は過不足無いかそれは略さない」ということは間違っているならそれは忌み嫌わない"が導かれる
3. 推論1と推論2から、推論3: "「そのベール林園は忌み嫌わない」ということは成り立つ"が導かれる
4. 推論3と事実12から、仮説が導かれる

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