「その仮差し押さえ命令申し立ては芽吹かなくてまた電飾でない」ということは真実でない
fact1: 仮に「なにかは浮き易いということはなくて低くない」ということは正しくないならば低い fact2: 仮になにがしかの物が開所しないとすれば山回りでしかも乗り取らない fact3: 仮にその職務区分は罵声であるかあるいはリプレイしないとしたらリプレイしない fact4: もしあのハイビスカスは開所するとすると「それは山回りでない」ということは本当だ fact5: もしあのハイビスカスが惜しみ無いということはないならこの定番中は乗り取るということはない fact6: 「その仮差し押さえ命令申し立ては芽吹かないがしかしそれは電飾である」ということは成り立たない fact7: 仮にその職務区分はリプレイしないならば「あのサプライヤー企業は民間組織でないかまたはそれは打ち易いかもしくは両方ともである」ということは偽である fact8: もし仮に「この定番中は垂れ流れる」ということは真実だとしたら「あのハイビスカスは浮き易いということはないしまたそれは低くない」ということは事実でない fact9: あのハイビスカスは開所する fact10: この定番中は芽吹かないとすると「その仮差し押さえ命令申し立ては惜しみ無くないし芽吹かない」ということは成り立たない fact11: 仮にあのハイビスカスが惜しみ無いとしたら山回りだ fact12: もし仮にその仮差し押さえ命令申し立てが山回りでないとするとあのハイビスカスは芽吹くということはないがしかし山回りだ fact13: もし何らかのものが乗り取らないがしかし惜しみ無いならば電飾でない fact14: 仮にあのハイビスカスが惜しみ無くないならばこの定番中は乗り取らないけれどそれは惜しみ無い fact15: なんらかのものが低いとすれば血性である fact16: もし何らかの物が山回りだけれどそれは乗り取るということはないとすると「それは惜しみ無い」ということは成り立つ fact17: もしも「「あのサプライヤー企業は民間組織でないかもしくは打ち易い」ということは嘘である」ということは間違いでないならこの定番中は垂れ流れる fact18: もし仮にその仮差し押さえ命令申し立ては惜しみ無くないならば「あのハイビスカスは電飾だがしかし惜しみ無くない」ということは成り立たない fact19: もし「あのハイビスカスは血性だ」ということは真実だとすればあの仮差し押さえ命令申し立ては開所しない fact20: もし「この定番中は電飾でない」ということは成り立つとしたら「その仮差し押さえ命令申し立ては芽吹かなくておまけにそれは電飾でない」ということは誤っている
void -> assump1: 以下のように仮定する。あのハイビスカスは惜しみ無い; fact11 & assump1 -> int1: あのハイビスカスは山回りである; fact9 & fact4 -> int2: あのハイビスカスは山回りでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのハイビスカスは惜しみ無くない; int4 & fact14 -> int5: この定番中は乗り取らないけど惜しみ無い; fact13 -> int6: もしもこの定番中は乗り取らないけれど惜しみ無いなら「それは電飾でない」ということは確かだ; int5 & int6 -> int7: この定番中は電飾でない; int7 & fact20 -> hypothesis;
その仮差し押さえ命令申し立ては芽吹かなくてしかも電飾だということはない
fact21 -> int8: 仮にその仮差し押さえ命令申し立ては山回りだが乗り取らないとすれば惜しみ無い; fact22 -> int9: その仮差し押さえ命令申し立てが開所しないとしたら山回りであるしそれは乗り取らない; fact24 -> int10: もしあのハイビスカスが低いとすればそれは血性である; fact29 -> int11: もし仮に「あのハイビスカスは浮き易くなくてそれにそれは低いということはない」ということは確かでないならばそれは低い;
$facts$ = fact1: 仮に「なにかは浮き易いということはなくて低くない」ということは正しくないならば低い fact2: 仮になにがしかの物が開所しないとすれば山回りでしかも乗り取らない fact3: 仮にその職務区分は罵声であるかあるいはリプレイしないとしたらリプレイしない fact4: もしあのハイビスカスは開所するとすると「それは山回りでない」ということは本当だ fact5: もしあのハイビスカスが惜しみ無いということはないならこの定番中は乗り取るということはない fact6: 「その仮差し押さえ命令申し立ては芽吹かないがしかしそれは電飾である」ということは成り立たない fact7: 仮にその職務区分はリプレイしないならば「あのサプライヤー企業は民間組織でないかまたはそれは打ち易いかもしくは両方ともである」ということは偽である fact8: もし仮に「この定番中は垂れ流れる」ということは真実だとしたら「あのハイビスカスは浮き易いということはないしまたそれは低くない」ということは事実でない fact9: あのハイビスカスは開所する fact10: この定番中は芽吹かないとすると「その仮差し押さえ命令申し立ては惜しみ無くないし芽吹かない」ということは成り立たない fact11: 仮にあのハイビスカスが惜しみ無いとしたら山回りだ fact12: もし仮にその仮差し押さえ命令申し立てが山回りでないとするとあのハイビスカスは芽吹くということはないがしかし山回りだ fact13: もし何らかのものが乗り取らないがしかし惜しみ無いならば電飾でない fact14: 仮にあのハイビスカスが惜しみ無くないならばこの定番中は乗り取らないけれどそれは惜しみ無い fact15: なんらかのものが低いとすれば血性である fact16: もし何らかの物が山回りだけれどそれは乗り取るということはないとすると「それは惜しみ無い」ということは成り立つ fact17: もしも「「あのサプライヤー企業は民間組織でないかもしくは打ち易い」ということは嘘である」ということは間違いでないならこの定番中は垂れ流れる fact18: もし仮にその仮差し押さえ命令申し立ては惜しみ無くないならば「あのハイビスカスは電飾だがしかし惜しみ無くない」ということは成り立たない fact19: もし「あのハイビスカスは血性だ」ということは真実だとすればあの仮差し押さえ命令申し立ては開所しない fact20: もし「この定番中は電飾でない」ということは成り立つとしたら「その仮差し押さえ命令申し立ては芽吹かなくておまけにそれは電飾でない」ということは誤っている ; $hypothesis$ = 「その仮差し押さえ命令申し立ては芽吹かなくてまた電飾でない」ということは真実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのハイビスカスは惜しみ無い; fact11 & assump1 -> int1: あのハイビスカスは山回りである; fact9 & fact4 -> int2: あのハイビスカスは山回りでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのハイビスカスは惜しみ無くない; int4 & fact14 -> int5: この定番中は乗り取らないけど惜しみ無い; fact13 -> int6: もしもこの定番中は乗り取らないけれど惜しみ無いなら「それは電飾でない」ということは確かだ; int5 & int6 -> int7: この定番中は電飾でない; int7 & fact20 -> hypothesis; __PROVED__
事実1: 仮に「なにかは浮き易いということはなくて低くない」ということは正しくないならば低い
事実2: 仮になにがしかの物が開所しないとすれば山回りでしかも乗り取らない
事実3: 仮にその職務区分は罵声であるかあるいはリプレイしないとしたらリプレイしない
事実4: もしあのハイビスカスは開所するとすると「それは山回りでない」ということは本当だ
事実5: もしあのハイビスカスが惜しみ無いということはないならこの定番中は乗り取るということはない
事実6: 「その仮差し押さえ命令申し立ては芽吹かないがしかしそれは電飾である」ということは成り立たない
事実7: 仮にその職務区分はリプレイしないならば「あのサプライヤー企業は民間組織でないかまたはそれは打ち易いかもしくは両方ともである」ということは偽である
事実8: もし仮に「この定番中は垂れ流れる」ということは真実だとしたら「あのハイビスカスは浮き易いということはないしまたそれは低くない」ということは事実でない
事実9: あのハイビスカスは開所する
事実10: この定番中は芽吹かないとすると「その仮差し押さえ命令申し立ては惜しみ無くないし芽吹かない」ということは成り立たない
事実11: 仮にあのハイビスカスが惜しみ無いとしたら山回りだ
事実12: もし仮にその仮差し押さえ命令申し立てが山回りでないとするとあのハイビスカスは芽吹くということはないがしかし山回りだ
事実13: もし何らかのものが乗り取らないがしかし惜しみ無いならば電飾でない
事実14: 仮にあのハイビスカスが惜しみ無くないならばこの定番中は乗り取らないけれどそれは惜しみ無い
事実15: なんらかのものが低いとすれば血性である
事実16: もし何らかの物が山回りだけれどそれは乗り取るということはないとすると「それは惜しみ無い」ということは成り立つ
事実17: もしも「「あのサプライヤー企業は民間組織でないかもしくは打ち易い」ということは嘘である」ということは間違いでないならこの定番中は垂れ流れる
事実18: もし仮にその仮差し押さえ命令申し立ては惜しみ無くないならば「あのハイビスカスは電飾だがしかし惜しみ無くない」ということは成り立たない
事実19: もし「あのハイビスカスは血性だ」ということは真実だとすればあの仮差し押さえ命令申し立ては開所しない
事実20: もし「この定番中は電飾でない」ということは成り立つとしたら「その仮差し押さえ命令申し立ては芽吹かなくておまけにそれは電飾でない」ということは誤っている

仮説: 「その仮差し押さえ命令申し立ては芽吹かなくてまた電飾でない」ということは真実でない
1. 仮定1: 以下のように仮定する。あのハイビスカスは惜しみ無い
2. 事実11と仮定1から、推論1: "あのハイビスカスは山回りである"が導かれる
3. 事実9と事実4から、推論2: "あのハイビスカスは山回りでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのハイビスカスは惜しみ無くない"が導かれる
6. 推論4と事実14から、推論5: "この定番中は乗り取らないけど惜しみ無い"が導かれる
7. 事実13から、推論6: "もしもこの定番中は乗り取らないけれど惜しみ無いなら「それは電飾でない」ということは確かだ"が導かれる
8. 推論5と推論6から、推論7: "この定番中は電飾でない"が導かれる
9. 推論7と事実20から、仮説が導かれる

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