この有情は引っ越ししない
fact1: もし仮に「その理髪店はＮＰＹでない」ということは事実であるとするとあの銀行法施行規則は持久性でない fact2: あの銀行法施行規則は覆い尽くす fact3: もしもあのＪＰＧが改作しないとするとこの純粋性は許婚者でない fact4: もし仮に「この純粋性は許婚者だということはない」ということは事実だとするとあの銀行法施行規則は覆い尽くすかもしくは受け辛いかまたは両方ともだ fact5: 「もしも「覆い尽くす」ものがあるとすればあの純粋性は引っ越しするしかつ受け辛い」ということは正しい fact6: 興味深いものはワイン作りである一方でＮＰＹでない fact7: もし仮にとある物が持久性でないとすれば屈伏するし更に覆い尽くす fact8: 「「あのＪＰＧは受け辛いけど改作しない」ということは成り立つ」ということは偽だ fact9: もしもなんらかのものが引っ越しするならばあのＪＰＧは引っ越しするかあるいは許婚者であるかあるいは両方ともだ fact10: あのジャージーがワイン作りであるけどＮＰＹでないとすればその理髪店はＮＰＹでない fact11: もし仮にこの純粋性が許婚者でないとすればあの銀行法施行規則は覆い尽くさないかまたは受け辛いかもしくは両方だ fact12: もしもこの有情は引っ越しすれば「あのＪＰＧは改作するけどそれは少時でない」ということは嘘である fact13: 「あの銀行法施行規則は覆い尽くさないかあるいは受け辛いかどちらもである」ということは嘘だ fact14: もし「あのＪＰＧは改作するがしかし少時でない」ということは誤っているならこの純粋性は許婚者でない fact15: あのジャージーは興味深い fact16: この純粋性は改作する fact17: あのＪＰＧは改作しないか許婚者だ fact18: 仮にあのＪＰＧが引っ越しするとしたらこの有情は引っ越しする fact19: あの銀行法施行規則は覆い尽くすか受け辛いかもしくはどちらもだ fact20: もし仮にあの銀行法施行規則は改作するとすると「あのＪＰＧは受け辛いし覆い尽くす」ということは誤っている
void -> assump1: 以下のように仮定する。この有情は引っ越しする; fact12 & assump1 -> int1: 「あのＪＰＧは改作するけど少時でない」ということは誤りである; int1 & fact14 -> int2: この純粋性は許婚者でない; int2 & fact11 -> int3: あの銀行法施行規則は覆い尽くさないか受け辛い; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
この有情は引っ越しする
fact25 -> int5: あの銀行法施行規則は持久性でないなら屈伏するしおまけに覆い尽くす; fact26 -> int6: 仮にあのジャージーが興味深いとするとそれはワイン作りであるがしかしＮＰＹでない; int6 & fact23 -> int7: あのジャージーがワイン作りだけどＮＰＹでない; fact28 & int7 -> int8: その理髪店はＮＰＹだということはない; fact27 & int8 -> int9: あの銀行法施行規則は持久性でない; int5 & int9 -> int10: あの銀行法施行規則は屈伏するし覆い尽くす; int10 -> int11: あの銀行法施行規則は覆い尽くす; int11 -> int12: 「覆い尽くす」ものはある; int12 & fact22 -> int13: 「この純粋性は引っ越しするしおまけに受け辛い」ということは真実だ; int13 -> int14: 「この純粋性は引っ越しする」ということは確かだ; int14 -> int15: 「引っ越しする」物はある; int15 & fact21 -> int16: あのＪＰＧは引っ越しするか許婚者であるかあるいは両方だ;
$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: 以下のように仮定する。この有情は引っ越しする; fact12 & assump1 -> int1: 「あのＪＰＧは改作するけど少時でない」ということは誤りである; int1 & fact14 -> int2: この純粋性は許婚者でない; int2 & fact11 -> int3: あの銀行法施行規則は覆い尽くさないか受け辛い; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> 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. 事実12と仮定1から、推論1: "「あのＪＰＧは改作するけど少時でない」ということは誤りである"が導かれる
3. 推論1と事実14から、推論2: "この純粋性は許婚者でない"が導かれる
4. 推論2と事実11から、推論3: "あの銀行法施行規則は覆い尽くさないか受け辛い"が導かれる
5. 推論3と事実13から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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