「このシュメール人は予測し易いし帰国隊員だ」ということは成り立たない
fact1: 何かは高架であるならそれはかりっとする fact2: 仮にその割譲は帰国隊員であるということはないとしたら「このシュメール人は予測し易くてそれは帰国隊員である」ということは事実と異なる fact3: もし仮に「その割譲は大枠であるかもしくはそれは満遍無いかあるいは両方である」ということは事実と異なるとすると帰国隊員でない fact4: 「その割譲は大枠でないかまたは満遍無いかどちらもだ」ということは誤りである fact5: なんらかの物がかりっとするとしたら帰国隊員だ fact6: もしなんらかの物が由々しないとしたらそれは為合うし予測し易い fact7: その割譲は大枠だ fact8: もし仮に「その割譲は大枠でないかもしくは満遍無いかまたは両方ともだ」ということは事実と異なるならそれは帰国隊員でない fact9: 「このシュメール人は高架である」ということは成り立つ
fact8 & fact4 -> int1: その割譲は帰国隊員でない; int1 & fact2 -> hypothesis;
このシュメール人は予測し易くてまたそれは帰国隊員だ
fact12 -> int2: 仮にこのシュメール人がかりっとするとしたらそれは帰国隊員だ; fact11 -> int3: 仮にこのシュメール人は高架であるならばかりっとする; int3 & fact13 -> int4: このシュメール人はかりっとする; int2 & int4 -> int5: このシュメール人は帰国隊員だ; fact10 -> int6: もしもその割譲が由々しないなら為合うし予測し易い;
$facts$ = fact1: 何かは高架であるならそれはかりっとする fact2: 仮にその割譲は帰国隊員であるということはないとしたら「このシュメール人は予測し易くてそれは帰国隊員である」ということは事実と異なる fact3: もし仮に「その割譲は大枠であるかもしくはそれは満遍無いかあるいは両方である」ということは事実と異なるとすると帰国隊員でない fact4: 「その割譲は大枠でないかまたは満遍無いかどちらもだ」ということは誤りである fact5: なんらかの物がかりっとするとしたら帰国隊員だ fact6: もしなんらかの物が由々しないとしたらそれは為合うし予測し易い fact7: その割譲は大枠だ fact8: もし仮に「その割譲は大枠でないかもしくは満遍無いかまたは両方ともだ」ということは事実と異なるならそれは帰国隊員でない fact9: 「このシュメール人は高架である」ということは成り立つ ; $hypothesis$ = 「このシュメール人は予測し易いし帰国隊員だ」ということは成り立たない ; $proof$ = 
fact8 & fact4 -> int1: その割譲は帰国隊員でない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 何かは高架であるならそれはかりっとする
事実2: 仮にその割譲は帰国隊員であるということはないとしたら「このシュメール人は予測し易くてそれは帰国隊員である」ということは事実と異なる
事実3: もし仮に「その割譲は大枠であるかもしくはそれは満遍無いかあるいは両方である」ということは事実と異なるとすると帰国隊員でない
事実4: 「その割譲は大枠でないかまたは満遍無いかどちらもだ」ということは誤りである
事実5: なんらかの物がかりっとするとしたら帰国隊員だ
事実6: もしなんらかの物が由々しないとしたらそれは為合うし予測し易い
事実7: その割譲は大枠だ
事実8: もし仮に「その割譲は大枠でないかもしくは満遍無いかまたは両方ともだ」ということは事実と異なるならそれは帰国隊員でない
事実9: 「このシュメール人は高架である」ということは成り立つ

仮説: 「このシュメール人は予測し易いし帰国隊員だ」ということは成り立たない
1. 事実8と事実4から、推論1: "その割譲は帰国隊員でない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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