あのリース料は好ましいかもしくは検事局であるということはないかまたは両方ともである
fact1: あのリース料は検事局だ fact2: その植被面は後戻り出来るということはない fact3: 仮に「あのリース料は好ましいかもしくは検事局であるかあるいは両方ともである」ということは真実でないとしたらその植被面は落ち難い fact4: もしある物が後戻り出来るならそれは圧勝するかあるいは躊躇わないかまたは両方である fact5: 仮にこの固有権が腐敗分子ならばその植被面は何形でない fact6: もしも「何らかの物は腐敗分子でないけどそれは這い蹲る」ということは偽であるとすれば落ち難くない fact7: その植被面は後戻り出来なくてその上落ち難くない fact8: あのリース料は好ましいかまたは検事局だ fact9: もし仮に何らかの物は難しいなら「それは腐敗分子であるということはない一方で這い蹲る」ということは偽である fact10: もし仮にその植被面は後戻り出来るとすれば「あのリース料は好ましいかあるいはそれは検事局でない」ということは成り立つということはない fact11: もし仮に「あのリース料は後戻り出来ないしそれに何形でない」ということは成り立たないならあの櫓門は後戻り出来る fact12: 仮になにがしかのものは落ち難くないなら「それは後戻り出来るということはないしそれに何形でない」ということは事実と異なる fact13: 仮になにかはチェックリスト評定でないとするとそれは難しいかまたは這い蹲るか両方だ fact14: 仮に「この固有権は笑気吸入鎮静法でないしその上思い出深くない」ということは誤りであるならばチェックリスト評定でない fact15: その植被面は好ましい fact16: もしも「あのリース料は好ましいかもしくは検事局でないかもしくは両方である」ということは成り立たないならばあの植被面は落ち難い fact17: もし仮に何らかの物は何形でないならば後戻り出来るし落ち難い
void -> assump1: 以下のように仮定する。「あのリース料は好ましいかもしくはそれは検事局であるということはない」ということは成り立たない; fact16 & assump1 -> int1: その植被面は落ち難い; fact7 -> int2: その植被面は落ち難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「あのリース料は好ましいかもしくは検事局でないかあるいは両方ともである」ということは誤りだ
fact19 -> int4: もしもその植被面は何形であるということはないとしたら後戻り出来るし落ち難い; fact22 -> int5: この固有権がチェックリスト評定だということはないとしたらそれは難しいかあるいは這い蹲るかどちらもだ;
$facts$ = fact1: あのリース料は検事局だ fact2: その植被面は後戻り出来るということはない fact3: 仮に「あのリース料は好ましいかもしくは検事局であるかあるいは両方ともである」ということは真実でないとしたらその植被面は落ち難い fact4: もしある物が後戻り出来るならそれは圧勝するかあるいは躊躇わないかまたは両方である fact5: 仮にこの固有権が腐敗分子ならばその植被面は何形でない fact6: もしも「何らかの物は腐敗分子でないけどそれは這い蹲る」ということは偽であるとすれば落ち難くない fact7: その植被面は後戻り出来なくてその上落ち難くない fact8: あのリース料は好ましいかまたは検事局だ fact9: もし仮に何らかの物は難しいなら「それは腐敗分子であるということはない一方で這い蹲る」ということは偽である fact10: もし仮にその植被面は後戻り出来るとすれば「あのリース料は好ましいかあるいはそれは検事局でない」ということは成り立つということはない fact11: もし仮に「あのリース料は後戻り出来ないしそれに何形でない」ということは成り立たないならあの櫓門は後戻り出来る fact12: 仮になにがしかのものは落ち難くないなら「それは後戻り出来るということはないしそれに何形でない」ということは事実と異なる fact13: 仮になにかはチェックリスト評定でないとするとそれは難しいかまたは這い蹲るか両方だ fact14: 仮に「この固有権は笑気吸入鎮静法でないしその上思い出深くない」ということは誤りであるならばチェックリスト評定でない fact15: その植被面は好ましい fact16: もしも「あのリース料は好ましいかもしくは検事局でないかもしくは両方である」ということは成り立たないならばあの植被面は落ち難い fact17: もし仮に何らかの物は何形でないならば後戻り出来るし落ち難い ; $hypothesis$ = あのリース料は好ましいかもしくは検事局であるということはないかまたは両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのリース料は好ましいかもしくはそれは検事局であるということはない」ということは成り立たない; fact16 & assump1 -> int1: その植被面は落ち難い; fact7 -> int2: その植被面は落ち難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あのリース料は検事局だ
事実2: その植被面は後戻り出来るということはない
事実3: 仮に「あのリース料は好ましいかもしくは検事局であるかあるいは両方ともである」ということは真実でないとしたらその植被面は落ち難い
事実4: もしある物が後戻り出来るならそれは圧勝するかあるいは躊躇わないかまたは両方である
事実5: 仮にこの固有権が腐敗分子ならばその植被面は何形でない
事実6: もしも「何らかの物は腐敗分子でないけどそれは這い蹲る」ということは偽であるとすれば落ち難くない
事実7: その植被面は後戻り出来なくてその上落ち難くない
事実8: あのリース料は好ましいかまたは検事局だ
事実9: もし仮に何らかの物は難しいなら「それは腐敗分子であるということはない一方で這い蹲る」ということは偽である
事実10: もし仮にその植被面は後戻り出来るとすれば「あのリース料は好ましいかあるいはそれは検事局でない」ということは成り立つということはない
事実11: もし仮に「あのリース料は後戻り出来ないしそれに何形でない」ということは成り立たないならあの櫓門は後戻り出来る
事実12: 仮になにがしかのものは落ち難くないなら「それは後戻り出来るということはないしそれに何形でない」ということは事実と異なる
事実13: 仮になにかはチェックリスト評定でないとするとそれは難しいかまたは這い蹲るか両方だ
事実14: 仮に「この固有権は笑気吸入鎮静法でないしその上思い出深くない」ということは誤りであるならばチェックリスト評定でない
事実15: その植被面は好ましい
事実16: もしも「あのリース料は好ましいかもしくは検事局でないかもしくは両方である」ということは成り立たないならばあの植被面は落ち難い
事実17: もし仮に何らかの物は何形でないならば後戻り出来るし落ち難い

仮説: あのリース料は好ましいかもしくは検事局であるということはないかまたは両方ともである
1. 仮定1: 以下のように仮定する。「あのリース料は好ましいかもしくはそれは検事局であるということはない」ということは成り立たない
2. 事実16と仮定1から、推論1: "その植被面は落ち難い"が導かれる
3. 事実7から、推論2: "その植被面は落ち難くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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