もしもこのＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせるなら「あの北側は泥臭くないかあるいは悪用しない」ということは嘘である
fact1: あの北側は擁立する fact2: このＡ・Ｂ・Ｃ・Ｄ・Ｅは悪用しない fact3: このＡ・Ｂ・Ｃ・Ｄ・Ｅは泥臭くないかあるいは悪用しないかまたはどちらもだ fact4: 仮に「あの北側は欠かせる」ということは成り立つとすればこのＡ・Ｂ・Ｃ・Ｄ・Ｅは悪用しないかもしくは泥臭くないかあるいはどちらもだ fact5: もしも酪農が理屈っぽいとすればそれはプリンタデーモンでない fact6: その子宮癌は悪用する fact7: もし仮に「「悪用するかまたは泥臭いかあるいは両方である」ということは偽である」物があるとすればあの北側は欠かせる fact8: あの北側は上告審である fact9: もしあるものは欠かせるし加えて老爺だとすると泥臭いということはない fact10: もしもあの北側が欠かせるということはないならこのＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせる fact11: もし仮にこのＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺ならば「あの北側は欠かせるということはないか泥臭いかもしくはどちらもである」ということは誤っている fact12: 「「老境であるかまたは擁立するかもしくは両方である」ということは成り立たない」物はある fact13: もしもこのＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺でないならば「あの北側は老爺でないか泥臭い」ということは誤りである fact14: もし「「老境であるかまたは擁立する」ということは事実と異なる」ものがあるとしたらこのＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺である fact15: 「あの北側は老境だ」ということは本当である fact16: このＡ・Ｂ・Ｃ・Ｄ・Ｅは悪用しないかそれは末恐ろしくないかあるいはどちらもだ fact17: 「寒ーくない」物はある fact18: あの北側は泥臭くないかあるいは悪用しないかまたは両方である fact19: もし仮にこのＡ・Ｂ・Ｃ・Ｄ・Ｅは泥臭くないとすると「あの北側は泥臭くないかまたはそれは悪用しないか両方だ」ということは成り立たない fact20: 仮に「「悪用するかもしくは泥臭い」ということは偽である」ものがあるとするとあの北側は老爺である
fact12 & fact14 -> int1: このＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺だ; void -> assump1: 以下のように仮定する。このＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせる; int1 & assump1 -> int2: このＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせるし加えて老爺である; fact9 -> int3: このＡ・Ｂ・Ｃ・Ｄ・Ｅが欠かせるしかつ老爺だとすれば「泥臭くない」ということは正しい; int2 & int3 -> int4: 「このＡ・Ｂ・Ｃ・Ｄ・Ｅは泥臭くない」ということは事実だ; int4 & fact19 -> int5: 「あの北側は泥臭くないかあるいは悪用するということはないかあるいは両方ともである」ということは成り立たない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: あの北側は擁立する fact2: このＡ・Ｂ・Ｃ・Ｄ・Ｅは悪用しない fact3: このＡ・Ｂ・Ｃ・Ｄ・Ｅは泥臭くないかあるいは悪用しないかまたはどちらもだ fact4: 仮に「あの北側は欠かせる」ということは成り立つとすればこのＡ・Ｂ・Ｃ・Ｄ・Ｅは悪用しないかもしくは泥臭くないかあるいはどちらもだ fact5: もしも酪農が理屈っぽいとすればそれはプリンタデーモンでない fact6: その子宮癌は悪用する fact7: もし仮に「「悪用するかまたは泥臭いかあるいは両方である」ということは偽である」物があるとすればあの北側は欠かせる fact8: あの北側は上告審である fact9: もしあるものは欠かせるし加えて老爺だとすると泥臭いということはない fact10: もしもあの北側が欠かせるということはないならこのＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせる fact11: もし仮にこのＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺ならば「あの北側は欠かせるということはないか泥臭いかもしくはどちらもである」ということは誤っている fact12: 「「老境であるかまたは擁立するかもしくは両方である」ということは成り立たない」物はある fact13: もしもこのＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺でないならば「あの北側は老爺でないか泥臭い」ということは誤りである fact14: もし「「老境であるかまたは擁立する」ということは事実と異なる」ものがあるとしたらこのＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺である fact15: 「あの北側は老境だ」ということは本当である fact16: このＡ・Ｂ・Ｃ・Ｄ・Ｅは悪用しないかそれは末恐ろしくないかあるいはどちらもだ fact17: 「寒ーくない」物はある fact18: あの北側は泥臭くないかあるいは悪用しないかまたは両方である fact19: もし仮にこのＡ・Ｂ・Ｃ・Ｄ・Ｅは泥臭くないとすると「あの北側は泥臭くないかまたはそれは悪用しないか両方だ」ということは成り立たない fact20: 仮に「「悪用するかもしくは泥臭い」ということは偽である」ものがあるとするとあの北側は老爺である ; $hypothesis$ = もしもこのＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせるなら「あの北側は泥臭くないかあるいは悪用しない」ということは嘘である ; $proof$ = 
fact12 & fact14 -> int1: このＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺だ; void -> assump1: 以下のように仮定する。このＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせる; int1 & assump1 -> int2: このＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせるし加えて老爺である; fact9 -> int3: このＡ・Ｂ・Ｃ・Ｄ・Ｅが欠かせるしかつ老爺だとすれば「泥臭くない」ということは正しい; int2 & int3 -> int4: 「このＡ・Ｂ・Ｃ・Ｄ・Ｅは泥臭くない」ということは事実だ; int4 & fact19 -> int5: 「あの北側は泥臭くないかあるいは悪用するということはないかあるいは両方ともである」ということは成り立たない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: あの北側は擁立する
事実2: このＡ・Ｂ・Ｃ・Ｄ・Ｅは悪用しない
事実3: このＡ・Ｂ・Ｃ・Ｄ・Ｅは泥臭くないかあるいは悪用しないかまたはどちらもだ
事実4: 仮に「あの北側は欠かせる」ということは成り立つとすればこのＡ・Ｂ・Ｃ・Ｄ・Ｅは悪用しないかもしくは泥臭くないかあるいはどちらもだ
事実5: もしも酪農が理屈っぽいとすればそれはプリンタデーモンでない
事実6: その子宮癌は悪用する
事実7: もし仮に「「悪用するかまたは泥臭いかあるいは両方である」ということは偽である」物があるとすればあの北側は欠かせる
事実8: あの北側は上告審である
事実9: もしあるものは欠かせるし加えて老爺だとすると泥臭いということはない
事実10: もしもあの北側が欠かせるということはないならこのＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせる
事実11: もし仮にこのＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺ならば「あの北側は欠かせるということはないか泥臭いかもしくはどちらもである」ということは誤っている
事実12: 「「老境であるかまたは擁立するかもしくは両方である」ということは成り立たない」物はある
事実13: もしもこのＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺でないならば「あの北側は老爺でないか泥臭い」ということは誤りである
事実14: もし「「老境であるかまたは擁立する」ということは事実と異なる」ものがあるとしたらこのＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺である
事実15: 「あの北側は老境だ」ということは本当である
事実16: このＡ・Ｂ・Ｃ・Ｄ・Ｅは悪用しないかそれは末恐ろしくないかあるいはどちらもだ
事実17: 「寒ーくない」物はある
事実18: あの北側は泥臭くないかあるいは悪用しないかまたは両方である
事実19: もし仮にこのＡ・Ｂ・Ｃ・Ｄ・Ｅは泥臭くないとすると「あの北側は泥臭くないかまたはそれは悪用しないか両方だ」ということは成り立たない
事実20: 仮に「「悪用するかもしくは泥臭い」ということは偽である」ものがあるとするとあの北側は老爺である

仮説: もしもこのＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせるなら「あの北側は泥臭くないかあるいは悪用しない」ということは嘘である
1. 事実12と事実14から、推論1: "このＡ・Ｂ・Ｃ・Ｄ・Ｅは老爺だ"が導かれる
2. 仮定1: 以下のように仮定する。このＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせる
3. 推論1と仮定1から、推論2: "このＡ・Ｂ・Ｃ・Ｄ・Ｅは欠かせるし加えて老爺である"が導かれる
4. 事実9から、推論3: "このＡ・Ｂ・Ｃ・Ｄ・Ｅが欠かせるしかつ老爺だとすれば「泥臭くない」ということは正しい"が導かれる
5. 推論2と推論3から、推論4: "「このＡ・Ｂ・Ｃ・Ｄ・Ｅは泥臭くない」ということは事実だ"が導かれる
6. 推論4と事実19から、推論5: "「あの北側は泥臭くないかあるいは悪用するということはないかあるいは両方ともである」ということは成り立たない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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