「その薄布が現住所でないしさらに恨みはましくらない」ということは誤っている
fact1: 「あの起床後は奥床しい」ということは成り立つ fact2: あの女羊飼いは労わり合わない fact3: 「この接続時は人間不平等起源論でない」ということは成り立つとすれば非難がましいし質入れである fact4: あの起床後は法定休日以外でないとするとそれは奥床しい fact5: もしもこの接続時が非難がましいとすればあのダイオードは片口鰯であるということはない fact6: 仮に「なんらかの物はオーダー出来るということはないけれどそれはおっかない」ということは誤っているとするとそれは人間不平等起源論であるということはない fact7: もし「あの起床後は説き付けるかまたはそれは奥床しい」ということは間違いならば恨みがましかない fact8: 仮にあの起床後が恨みはましくらないとしたら「その薄布は現住所でないけど恨みがましい」ということは誤りだ fact9: とある物は自然塩であるということはないとすると集わないし意味深くない fact10: 「その薄布が現住所である一方でそれが恨みはましくらない」ということは偽である fact11: もしも「何らかのものは説き付けるかまたは奥床しいか両方である」ということは正しくないとすればそれは恨みがましかない fact12: もしも「あの起床後が恨みはましくらない」ということは成り立つとすると「その薄布が現住所であるがしかし恨みはましくらない」ということは事実と異なる fact13: もしなにかは法定休日以外でないとしたら「解け易いかもしくは倒れない」ということは事実と異なる fact14: あの起床後は法定休日以外であるということはない fact15: もしもその社会的コストが自然塩でなくて八都市階級でないならばこの継父は自然塩でない fact16: もし仮にあの起床後は法定休日以外でないなら「それは説き付けるか奥床しくないかどちらもである」ということは事実と異なる fact17: もし「なんらかのものは説き付けるかまたはそれは奥床しくないかまたはどちらもだ」ということは偽ならばそれは恨みがましかない fact18: この接続時はオーバーコートであるとすれば「「オーダー出来るということはなくてしかもそれはおっかない」ということは事実だ」ということは間違いだ fact19: もしもある物は片口鰯でないとしたら法定休日以外でない一方で汗臭い fact20: もし仮に「あの起床後が恨みはましくらない」ということは確かならば「その薄布が現住所でなくてそれに恨みはましくらない」ということは成り立たない fact21: もしもこの継父が集うということはないしおまけに意味深いということはないとすればこの接続時はオーバーコートだ fact22: もし仮にあのダイオードが法定休日以外だということはないとすればあの薄布が現住所でなくてその上恨みはましいない fact23: 「その薄布は現住所でないが恨みがましい」ということは嘘である
fact17 -> int1: もし仮に「あの起床後は説き付けるかもしくはそれは奥床しいということはないかまたは両方だ」ということは嘘であるとすると恨みがましかない; fact16 & fact14 -> int2: 「あの起床後は説き付けるか奥床しくないかまたは両方ともである」ということは間違いだ; int1 & int2 -> int3: あの起床後は恨みがましかない; int3 & fact20 -> hypothesis;
「その穂波は解け易いか倒れないかもしくは両方ともだ」ということは成り立たない
fact24 -> int4: 仮にその穂波は法定休日以外であるということはないとすると「解け易いかあるいはそれは倒れるということはないかまたは両方だ」ということは本当でない;
$facts$ = fact1: 「あの起床後は奥床しい」ということは成り立つ fact2: あの女羊飼いは労わり合わない fact3: 「この接続時は人間不平等起源論でない」ということは成り立つとすれば非難がましいし質入れである fact4: あの起床後は法定休日以外でないとするとそれは奥床しい fact5: もしもこの接続時が非難がましいとすればあのダイオードは片口鰯であるということはない fact6: 仮に「なんらかの物はオーダー出来るということはないけれどそれはおっかない」ということは誤っているとするとそれは人間不平等起源論であるということはない fact7: もし「あの起床後は説き付けるかまたはそれは奥床しい」ということは間違いならば恨みがましかない fact8: 仮にあの起床後が恨みはましくらないとしたら「その薄布は現住所でないけど恨みがましい」ということは誤りだ fact9: とある物は自然塩であるということはないとすると集わないし意味深くない fact10: 「その薄布が現住所である一方でそれが恨みはましくらない」ということは偽である fact11: もしも「何らかのものは説き付けるかまたは奥床しいか両方である」ということは正しくないとすればそれは恨みがましかない fact12: もしも「あの起床後が恨みはましくらない」ということは成り立つとすると「その薄布が現住所であるがしかし恨みはましくらない」ということは事実と異なる fact13: もしなにかは法定休日以外でないとしたら「解け易いかもしくは倒れない」ということは事実と異なる fact14: あの起床後は法定休日以外であるということはない fact15: もしもその社会的コストが自然塩でなくて八都市階級でないならばこの継父は自然塩でない fact16: もし仮にあの起床後は法定休日以外でないなら「それは説き付けるか奥床しくないかどちらもである」ということは事実と異なる fact17: もし「なんらかのものは説き付けるかまたはそれは奥床しくないかまたはどちらもだ」ということは偽ならばそれは恨みがましかない fact18: この接続時はオーバーコートであるとすれば「「オーダー出来るということはなくてしかもそれはおっかない」ということは事実だ」ということは間違いだ fact19: もしもある物は片口鰯でないとしたら法定休日以外でない一方で汗臭い fact20: もし仮に「あの起床後が恨みはましくらない」ということは確かならば「その薄布が現住所でなくてそれに恨みはましくらない」ということは成り立たない fact21: もしもこの継父が集うということはないしおまけに意味深いということはないとすればこの接続時はオーバーコートだ fact22: もし仮にあのダイオードが法定休日以外だということはないとすればあの薄布が現住所でなくてその上恨みはましいない fact23: 「その薄布は現住所でないが恨みがましい」ということは嘘である ; $hypothesis$ = 「その薄布が現住所でないしさらに恨みはましくらない」ということは誤っている ; $proof$ = 
fact17 -> int1: もし仮に「あの起床後は説き付けるかもしくはそれは奥床しいということはないかまたは両方だ」ということは嘘であるとすると恨みがましかない; fact16 & fact14 -> int2: 「あの起床後は説き付けるか奥床しくないかまたは両方ともである」ということは間違いだ; int1 & int2 -> int3: あの起床後は恨みがましかない; int3 & fact20 -> hypothesis; __PROVED__
事実1: 「あの起床後は奥床しい」ということは成り立つ
事実2: あの女羊飼いは労わり合わない
事実3: 「この接続時は人間不平等起源論でない」ということは成り立つとすれば非難がましいし質入れである
事実4: あの起床後は法定休日以外でないとするとそれは奥床しい
事実5: もしもこの接続時が非難がましいとすればあのダイオードは片口鰯であるということはない
事実6: 仮に「なんらかの物はオーダー出来るということはないけれどそれはおっかない」ということは誤っているとするとそれは人間不平等起源論であるということはない
事実7: もし「あの起床後は説き付けるかまたはそれは奥床しい」ということは間違いならば恨みがましかない
事実8: 仮にあの起床後が恨みはましくらないとしたら「その薄布は現住所でないけど恨みがましい」ということは誤りだ
事実9: とある物は自然塩であるということはないとすると集わないし意味深くない
事実10: 「その薄布が現住所である一方でそれが恨みはましくらない」ということは偽である
事実11: もしも「何らかのものは説き付けるかまたは奥床しいか両方である」ということは正しくないとすればそれは恨みがましかない
事実12: もしも「あの起床後が恨みはましくらない」ということは成り立つとすると「その薄布が現住所であるがしかし恨みはましくらない」ということは事実と異なる
事実13: もしなにかは法定休日以外でないとしたら「解け易いかもしくは倒れない」ということは事実と異なる
事実14: あの起床後は法定休日以外であるということはない
事実15: もしもその社会的コストが自然塩でなくて八都市階級でないならばこの継父は自然塩でない
事実16: もし仮にあの起床後は法定休日以外でないなら「それは説き付けるか奥床しくないかどちらもである」ということは事実と異なる
事実17: もし「なんらかのものは説き付けるかまたはそれは奥床しくないかまたはどちらもだ」ということは偽ならばそれは恨みがましかない
事実18: この接続時はオーバーコートであるとすれば「「オーダー出来るということはなくてしかもそれはおっかない」ということは事実だ」ということは間違いだ
事実19: もしもある物は片口鰯でないとしたら法定休日以外でない一方で汗臭い
事実20: もし仮に「あの起床後が恨みはましくらない」ということは確かならば「その薄布が現住所でなくてそれに恨みはましくらない」ということは成り立たない
事実21: もしもこの継父が集うということはないしおまけに意味深いということはないとすればこの接続時はオーバーコートだ
事実22: もし仮にあのダイオードが法定休日以外だということはないとすればあの薄布が現住所でなくてその上恨みはましいない
事実23: 「その薄布は現住所でないが恨みがましい」ということは嘘である

仮説: 「その薄布が現住所でないしさらに恨みはましくらない」ということは誤っている
1. 事実17から、推論1: "もし仮に「あの起床後は説き付けるかもしくはそれは奥床しいということはないかまたは両方だ」ということは嘘であるとすると恨みがましかない"が導かれる
2. 事実16と事実14から、推論2: "「あの起床後は説き付けるか奥床しくないかまたは両方ともである」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "あの起床後は恨みがましかない"が導かれる
4. 推論3と事実20から、仮説が導かれる

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