このザンタックは駆け上がらないし白Ｄでない
fact1: あの車掌さんは駆け上がるかあるいはそれは禁煙出来る fact2: もしあの車掌さんは聖中心道でないとしたら「このザンタックが駆け上がらないしさらにそれは白Ｄでない」ということは事実と異なる fact3: もしこのザンタックが柔らかいかあるいはそれが聖中心道であるかどちらもであるとするとあの車掌さんは白Ｄでない fact4: このザンタックは有性生殖する fact5: もしあの車掌さんが白Ｄでないとすればこのザンタックは柔らかくない fact6: このザンタックは白Ｄだということはない fact7: あの車掌さんは聖中心道だ fact8: もしもあの車掌さんが聖中心道であるかあるいは柔らかいかもしくは両方だとしたらこの各級政府は有性生殖しない fact9: もし仮にあの車掌さんが聖中心道でないとしたらこのザンタックは白Ｄであるということはないししかもそれは柔らかくない fact10: このザンタックは他者性だ fact11: もしもこの各級政府が有性生殖しないならばあのザンタックは白Ｄでない fact12: この各級政府が有性生殖しないとしたらこのザンタックは駆け上がらないしかつ白Ｄでない fact13: この各級政府は柔らかいということはない fact14: この正常値は駆け上がらない fact15: その辺数は柔らかい fact16: もしもこの各級政府が白Ｄであるかもしくはそれは有性生殖するなら「このザンタックは聖中心道でない」ということは事実だ fact17: その欠き氷はカーゴスペースでないし更にそれは柔らかくない fact18: この各級政府は直接主義でないしまたそれは駆け上がらない fact19: あの駆潜艇は聖中心道である fact20: もしとあるものは聖中心道でないなら「駆け上がらなくてその上白Ｄでない」ということは確かでない fact21: あの車掌さんは柔らかいか駆け上がるかもしくはどちらもだ fact22: 「あの車掌さんは駆け上がる」ということは事実と異ならない
fact7 -> int1: あの車掌さんは聖中心道であるかあるいはそれは柔らかいかまたは両方ともだ; int1 & fact8 -> int2: この各級政府は有性生殖しない; int2 & fact12 -> hypothesis;
「このザンタックは駆け上がらなくて更に白Ｄでない」ということは事実と異なる
$facts$ = fact1: あの車掌さんは駆け上がるかあるいはそれは禁煙出来る fact2: もしあの車掌さんは聖中心道でないとしたら「このザンタックが駆け上がらないしさらにそれは白Ｄでない」ということは事実と異なる fact3: もしこのザンタックが柔らかいかあるいはそれが聖中心道であるかどちらもであるとするとあの車掌さんは白Ｄでない fact4: このザンタックは有性生殖する fact5: もしあの車掌さんが白Ｄでないとすればこのザンタックは柔らかくない fact6: このザンタックは白Ｄだということはない fact7: あの車掌さんは聖中心道だ fact8: もしもあの車掌さんが聖中心道であるかあるいは柔らかいかもしくは両方だとしたらこの各級政府は有性生殖しない fact9: もし仮にあの車掌さんが聖中心道でないとしたらこのザンタックは白Ｄであるということはないししかもそれは柔らかくない fact10: このザンタックは他者性だ fact11: もしもこの各級政府が有性生殖しないならばあのザンタックは白Ｄでない fact12: この各級政府が有性生殖しないとしたらこのザンタックは駆け上がらないしかつ白Ｄでない fact13: この各級政府は柔らかいということはない fact14: この正常値は駆け上がらない fact15: その辺数は柔らかい fact16: もしもこの各級政府が白Ｄであるかもしくはそれは有性生殖するなら「このザンタックは聖中心道でない」ということは事実だ fact17: その欠き氷はカーゴスペースでないし更にそれは柔らかくない fact18: この各級政府は直接主義でないしまたそれは駆け上がらない fact19: あの駆潜艇は聖中心道である fact20: もしとあるものは聖中心道でないなら「駆け上がらなくてその上白Ｄでない」ということは確かでない fact21: あの車掌さんは柔らかいか駆け上がるかもしくはどちらもだ fact22: 「あの車掌さんは駆け上がる」ということは事実と異ならない ; $hypothesis$ = このザンタックは駆け上がらないし白Ｄでない ; $proof$ = 
fact7 -> int1: あの車掌さんは聖中心道であるかあるいはそれは柔らかいかまたは両方ともだ; int1 & fact8 -> int2: この各級政府は有性生殖しない; int2 & fact12 -> hypothesis; __PROVED__
事実1: あの車掌さんは駆け上がるかあるいはそれは禁煙出来る
事実2: もしあの車掌さんは聖中心道でないとしたら「このザンタックが駆け上がらないしさらにそれは白Ｄでない」ということは事実と異なる
事実3: もしこのザンタックが柔らかいかあるいはそれが聖中心道であるかどちらもであるとするとあの車掌さんは白Ｄでない
事実4: このザンタックは有性生殖する
事実5: もしあの車掌さんが白Ｄでないとすればこのザンタックは柔らかくない
事実6: このザンタックは白Ｄだということはない
事実7: あの車掌さんは聖中心道だ
事実8: もしもあの車掌さんが聖中心道であるかあるいは柔らかいかもしくは両方だとしたらこの各級政府は有性生殖しない
事実9: もし仮にあの車掌さんが聖中心道でないとしたらこのザンタックは白Ｄであるということはないししかもそれは柔らかくない
事実10: このザンタックは他者性だ
事実11: もしもこの各級政府が有性生殖しないならばあのザンタックは白Ｄでない
事実12: この各級政府が有性生殖しないとしたらこのザンタックは駆け上がらないしかつ白Ｄでない
事実13: この各級政府は柔らかいということはない
事実14: この正常値は駆け上がらない
事実15: その辺数は柔らかい
事実16: もしもこの各級政府が白Ｄであるかもしくはそれは有性生殖するなら「このザンタックは聖中心道でない」ということは事実だ
事実17: その欠き氷はカーゴスペースでないし更にそれは柔らかくない
事実18: この各級政府は直接主義でないしまたそれは駆け上がらない
事実19: あの駆潜艇は聖中心道である
事実20: もしとあるものは聖中心道でないなら「駆け上がらなくてその上白Ｄでない」ということは確かでない
事実21: あの車掌さんは柔らかいか駆け上がるかもしくはどちらもだ
事実22: 「あの車掌さんは駆け上がる」ということは事実と異ならない

仮説: このザンタックは駆け上がらないし白Ｄでない
1. 事実7から、推論1: "あの車掌さんは聖中心道であるかあるいはそれは柔らかいかまたは両方ともだ"が導かれる
2. 推論1と事実8から、推論2: "この各級政府は有性生殖しない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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