「あの首府は駆動するということはないし引き締めでない」ということは偽である
fact1: もし仮に何かは撫で付けるとすると「それは転覆するし更にそれは駆動しない」ということは成り立つということはない fact2: もし「このオリジナル編集版は現われ易いかもしくはこよなくないかあるいは両方ともである」ということは本当であるということはないならあのダブルスは真っ白い fact3: あの首府が活写しないならそれは真っ白いし上書きである fact4: その公使館は撫で付けるかあるいは転覆しないかあるいは両方だ fact5: 「その負け犬は転覆するけどそれは駆動しない」ということは誤りだとするとあの首府は駆動しない fact6: もし仮になにがしかの物が現われ易くないかそれはこよなくないかまたは両方だとすれば引き締めでない fact7: もしもその認め印は引き締めであるとしたら「「あの首府は駆動しなくて加えて引き締めでない」ということは本当だ」ということは誤りである fact8: もし仮にその無効例が上書きならばその認め印は引き締めだ fact9: 仮に「撫で付ける」ものがあるとすればあの負け犬はこよなくない fact10: 仮に「その負け犬はこよなくない」ということは真実であるなら「このオリジナル編集版は現われ易くないかもしくはこよなくない」ということは嘘だ fact11: その負け犬は現われ易い fact12: 仮にあるものが撫で付けるかそれは転覆するということはないかあるいはどちらもなら「その負け犬はこよないということはない」ということは成り立つ fact13: もし仮にあの首府が真っ白いとすれば現われ易くないかもしくはそれはこよなくないかあるいは両方ともだ fact14: 仮にあのダブルスが真っ白いならその無効例は上書きである fact15: もしその負け犬が現われ易いならこの流体力学は現われ易い fact16: このオリジナル編集版は現われ易い fact17: 「このオリジナル編集版は現われ易くないかもしくはそれはこよなくない」ということは成り立たないとしたらあのダブルスは真っ白い
fact4 -> int1: 「撫で付けるかあるいは転覆しないかあるいは両方な」物はある; int1 & fact12 -> int2: その負け犬はこよなくない; int2 & fact10 -> int3: 「このオリジナル編集版は現われ易くないかまたはこよなくないかあるいは両方である」ということは成り立つということはない; int3 & fact17 -> int4: あのダブルスは真っ白い; int4 & fact14 -> int5: 「その無効例は上書きである」ということは正しい; int5 & fact8 -> int6: その認め印は引き締めだ; int6 & fact7 -> hypothesis;
あの首府は駆動しないしそれにそれは引き締めだということはない
fact22 -> int7: もしもその負け犬は撫で付けるなら「転覆するしそれは駆動しない」ということは間違いである; fact20 -> int8: もし仮にあの首府は現われ易くないかまたはこよなくないかもしくはどちらもであるとすれば引き締めでない;
$facts$ = fact1: もし仮に何かは撫で付けるとすると「それは転覆するし更にそれは駆動しない」ということは成り立つということはない fact2: もし「このオリジナル編集版は現われ易いかもしくはこよなくないかあるいは両方ともである」ということは本当であるということはないならあのダブルスは真っ白い fact3: あの首府が活写しないならそれは真っ白いし上書きである fact4: その公使館は撫で付けるかあるいは転覆しないかあるいは両方だ fact5: 「その負け犬は転覆するけどそれは駆動しない」ということは誤りだとするとあの首府は駆動しない fact6: もし仮になにがしかの物が現われ易くないかそれはこよなくないかまたは両方だとすれば引き締めでない fact7: もしもその認め印は引き締めであるとしたら「「あの首府は駆動しなくて加えて引き締めでない」ということは本当だ」ということは誤りである fact8: もし仮にその無効例が上書きならばその認め印は引き締めだ fact9: 仮に「撫で付ける」ものがあるとすればあの負け犬はこよなくない fact10: 仮に「その負け犬はこよなくない」ということは真実であるなら「このオリジナル編集版は現われ易くないかもしくはこよなくない」ということは嘘だ fact11: その負け犬は現われ易い fact12: 仮にあるものが撫で付けるかそれは転覆するということはないかあるいはどちらもなら「その負け犬はこよないということはない」ということは成り立つ fact13: もし仮にあの首府が真っ白いとすれば現われ易くないかもしくはそれはこよなくないかあるいは両方ともだ fact14: 仮にあのダブルスが真っ白いならその無効例は上書きである fact15: もしその負け犬が現われ易いならこの流体力学は現われ易い fact16: このオリジナル編集版は現われ易い fact17: 「このオリジナル編集版は現われ易くないかもしくはそれはこよなくない」ということは成り立たないとしたらあのダブルスは真っ白い ; $hypothesis$ = 「あの首府は駆動するということはないし引き締めでない」ということは偽である ; $proof$ = 
fact4 -> int1: 「撫で付けるかあるいは転覆しないかあるいは両方な」物はある; int1 & fact12 -> int2: その負け犬はこよなくない; int2 & fact10 -> int3: 「このオリジナル編集版は現われ易くないかまたはこよなくないかあるいは両方である」ということは成り立つということはない; int3 & fact17 -> int4: あのダブルスは真っ白い; int4 & fact14 -> int5: 「その無効例は上書きである」ということは正しい; int5 & fact8 -> int6: その認め印は引き締めだ; int6 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に何かは撫で付けるとすると「それは転覆するし更にそれは駆動しない」ということは成り立つということはない
事実2: もし「このオリジナル編集版は現われ易いかもしくはこよなくないかあるいは両方ともである」ということは本当であるということはないならあのダブルスは真っ白い
事実3: あの首府が活写しないならそれは真っ白いし上書きである
事実4: その公使館は撫で付けるかあるいは転覆しないかあるいは両方だ
事実5: 「その負け犬は転覆するけどそれは駆動しない」ということは誤りだとするとあの首府は駆動しない
事実6: もし仮になにがしかの物が現われ易くないかそれはこよなくないかまたは両方だとすれば引き締めでない
事実7: もしもその認め印は引き締めであるとしたら「「あの首府は駆動しなくて加えて引き締めでない」ということは本当だ」ということは誤りである
事実8: もし仮にその無効例が上書きならばその認め印は引き締めだ
事実9: 仮に「撫で付ける」ものがあるとすればあの負け犬はこよなくない
事実10: 仮に「その負け犬はこよなくない」ということは真実であるなら「このオリジナル編集版は現われ易くないかもしくはこよなくない」ということは嘘だ
事実11: その負け犬は現われ易い
事実12: 仮にあるものが撫で付けるかそれは転覆するということはないかあるいはどちらもなら「その負け犬はこよないということはない」ということは成り立つ
事実13: もし仮にあの首府が真っ白いとすれば現われ易くないかもしくはそれはこよなくないかあるいは両方ともだ
事実14: 仮にあのダブルスが真っ白いならその無効例は上書きである
事実15: もしその負け犬が現われ易いならこの流体力学は現われ易い
事実16: このオリジナル編集版は現われ易い
事実17: 「このオリジナル編集版は現われ易くないかもしくはそれはこよなくない」ということは成り立たないとしたらあのダブルスは真っ白い

仮説: 「あの首府は駆動するということはないし引き締めでない」ということは偽である
1. 事実4から、推論1: "「撫で付けるかあるいは転覆しないかあるいは両方な」物はある"が導かれる
2. 推論1と事実12から、推論2: "その負け犬はこよなくない"が導かれる
3. 推論2と事実10から、推論3: "「このオリジナル編集版は現われ易くないかまたはこよなくないかあるいは両方である」ということは成り立つということはない"が導かれる
4. 推論3と事実17から、推論4: "あのダブルスは真っ白い"が導かれる
5. 推論4と事実14から、推論5: "「その無効例は上書きである」ということは正しい"が導かれる
6. 推論5と事実8から、推論6: "その認め印は引き締めだ"が導かれる
7. 推論6と事実7から、仮説が導かれる

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