あの主人は話し辛いならば「この内的自決権は自戒でないけどそれは真似出来る」ということは誤りである
fact1: もしなにかはジップロックであるとしたら「それは買えないし御与え下さる」ということは嘘だ fact2: この内的自決権は自戒でないが真似出来る fact3: あの主人は誦すない fact4: もし仮にとある物は真似出来ないとすれば「それは都区財政調整制度であるかあるいは話し辛い」ということは真実だ fact5: あの主人は買えないならば「それは新建物でないしそれにそれは行動規準である」ということは成り立たない fact6: もし何らかのものは都区財政調整制度でないとすれば「それは自戒であるしその上真似出来る」ということは正しくない fact7: 何かは都区財政調整制度だということはないならば「それは自戒でない一方で真似出来る」ということは成り立たない fact8: 「この内的自決権は真似出来るしジップロックである」ということは事実と異なる fact9: もしあの主人がジップロックであるかそれが話し辛いか両方ともであるとしたらこの内的自決権は都区財政調整制度でない fact10: もしもあの主人は話し辛いとすると「この内的自決権は自戒であるし真似出来る」ということは成り立たない fact11: 仮にこの内的自決権は都区財政調整制度でないとすると「それは自戒でおまけに真似出来る」ということは間違いである fact12: もしこの内的自決権は自戒でないとするとそれは話し辛くないけれど真似出来る fact13: もし仮にこの内的自決権が話し辛いかそれが都区財政調整制度ならばあの主人は真似出来ない fact14: 「もしもこの内的自決権が話し辛いかあるいはそれが都区財政調整制度であるかまたはどちらもであるならばあの主人はジップロックであるということはない」ということは成り立つ fact15: もし仮にあの主人は都区財政調整制度だとすれば「この内的自決権は話し辛くない」ということは事実だ
void -> assump1: 以下のように仮定する。あの主人は話し辛い; assump1 -> int1: あの主人はジップロックであるか話し辛い; int1 & fact9 -> int2: この内的自決権は都区財政調整制度でない; fact7 -> int3: もしもこの内的自決権は都区財政調整制度でないならば「自戒でないが真似出来る」ということは間違いだ; int2 & int3 -> int4: 「この内的自決権は自戒でないけれど真似出来る」ということは成り立たない; [assump1] & int4 -> hypothesis;
「その戦争状態は買えないが御与え下さる」ということは成り立たない
fact16 -> int5: もしその戦争状態はジップロックだとすれば「買えるということはないしおまけに御与え下さる」ということは偽である; fact17 -> int6: もしもあの主人が真似出来るということはないとすればそれは都区財政調整制度であるかあるいは話し辛いかまたはどちらもだ;
$facts$ = fact1: もしなにかはジップロックであるとしたら「それは買えないし御与え下さる」ということは嘘だ fact2: この内的自決権は自戒でないが真似出来る fact3: あの主人は誦すない fact4: もし仮にとある物は真似出来ないとすれば「それは都区財政調整制度であるかあるいは話し辛い」ということは真実だ fact5: あの主人は買えないならば「それは新建物でないしそれにそれは行動規準である」ということは成り立たない fact6: もし何らかのものは都区財政調整制度でないとすれば「それは自戒であるしその上真似出来る」ということは正しくない fact7: 何かは都区財政調整制度だということはないならば「それは自戒でない一方で真似出来る」ということは成り立たない fact8: 「この内的自決権は真似出来るしジップロックである」ということは事実と異なる fact9: もしあの主人がジップロックであるかそれが話し辛いか両方ともであるとしたらこの内的自決権は都区財政調整制度でない fact10: もしもあの主人は話し辛いとすると「この内的自決権は自戒であるし真似出来る」ということは成り立たない fact11: 仮にこの内的自決権は都区財政調整制度でないとすると「それは自戒でおまけに真似出来る」ということは間違いである fact12: もしこの内的自決権は自戒でないとするとそれは話し辛くないけれど真似出来る fact13: もし仮にこの内的自決権が話し辛いかそれが都区財政調整制度ならばあの主人は真似出来ない fact14: 「もしもこの内的自決権が話し辛いかあるいはそれが都区財政調整制度であるかまたはどちらもであるならばあの主人はジップロックであるということはない」ということは成り立つ fact15: もし仮にあの主人は都区財政調整制度だとすれば「この内的自決権は話し辛くない」ということは事実だ ; $hypothesis$ = あの主人は話し辛いならば「この内的自決権は自戒でないけどそれは真似出来る」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの主人は話し辛い; assump1 -> int1: あの主人はジップロックであるか話し辛い; int1 & fact9 -> int2: この内的自決権は都区財政調整制度でない; fact7 -> int3: もしもこの内的自決権は都区財政調整制度でないならば「自戒でないが真似出来る」ということは間違いだ; int2 & int3 -> int4: 「この内的自決権は自戒でないけれど真似出来る」ということは成り立たない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしなにかはジップロックであるとしたら「それは買えないし御与え下さる」ということは嘘だ
事実2: この内的自決権は自戒でないが真似出来る
事実3: あの主人は誦すない
事実4: もし仮にとある物は真似出来ないとすれば「それは都区財政調整制度であるかあるいは話し辛い」ということは真実だ
事実5: あの主人は買えないならば「それは新建物でないしそれにそれは行動規準である」ということは成り立たない
事実6: もし何らかのものは都区財政調整制度でないとすれば「それは自戒であるしその上真似出来る」ということは正しくない
事実7: 何かは都区財政調整制度だということはないならば「それは自戒でない一方で真似出来る」ということは成り立たない
事実8: 「この内的自決権は真似出来るしジップロックである」ということは事実と異なる
事実9: もしあの主人がジップロックであるかそれが話し辛いか両方ともであるとしたらこの内的自決権は都区財政調整制度でない
事実10: もしもあの主人は話し辛いとすると「この内的自決権は自戒であるし真似出来る」ということは成り立たない
事実11: 仮にこの内的自決権は都区財政調整制度でないとすると「それは自戒でおまけに真似出来る」ということは間違いである
事実12: もしこの内的自決権は自戒でないとするとそれは話し辛くないけれど真似出来る
事実13: もし仮にこの内的自決権が話し辛いかそれが都区財政調整制度ならばあの主人は真似出来ない
事実14: 「もしもこの内的自決権が話し辛いかあるいはそれが都区財政調整制度であるかまたはどちらもであるならばあの主人はジップロックであるということはない」ということは成り立つ
事実15: もし仮にあの主人は都区財政調整制度だとすれば「この内的自決権は話し辛くない」ということは事実だ

仮説: あの主人は話し辛いならば「この内的自決権は自戒でないけどそれは真似出来る」ということは誤りである
1. 仮定1: 以下のように仮定する。あの主人は話し辛い
2. 仮定1から、推論1: "あの主人はジップロックであるか話し辛い"が導かれる
3. 推論1と事実9から、推論2: "この内的自決権は都区財政調整制度でない"が導かれる
4. 事実7から、推論3: "もしもこの内的自決権は都区財政調整制度でないならば「自戒でないが真似出来る」ということは間違いだ"が導かれる
5. 推論2と推論3から、推論4: "「この内的自決権は自戒でないけれど真似出来る」ということは成り立たない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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