「もしも厚ぼったいとしたら「未信者でないか潔くないかまたは両方ともだ」ということは誤っている」ものはある
fact1: 「もし「厚ぼったい」ということは成り立てば未信者だということはないか潔くないかまたは両方ともである」物はある fact2: 「厚ぼったいとすると「未信者だということはないかあるいは潔いかあるいはどちらもである」ということは間違っている」ものはある fact3: もし仮にこの血栓溶解療法はしつっこいならば「それは貧乏臭くないかまたはそれは未信者でない」ということは間違いである fact4: あるものは厚ぼったいとすれば「未信者でないかあるいはそれは潔い」ということは成り立たない fact5: もし仮にこの金管が厚ぼったいとしたらそれは未信者でないか潔くないか両方である fact6: もしもこの金管が厚ぼったいならばそれは未信者である fact7: もし仮に何らかの物が厚ぼったいとすれば未信者だ fact8: 仮になんらかのものは厚ぼったいとしたら「未信者であるということはないかまたは潔くないかもしくは両方だ」ということは偽である fact9: もし仮にこの金管が自己コントロール出来るとすると厚ぼったい fact10: 厚ぼったいものは未信者でないかあるいは潔くないかあるいはどちらもだ fact11: 「厚ぼったいとしたら未信者である」物はある fact12: 仮にこの金管は厚ぼったいならば「それは未信者でないか潔いかもしくはどちらもだ」ということは成り立たない
fact8 -> int1: この金管は厚ぼったいならば「「未信者でないか潔くないかあるいは両方ともだ」ということは正しい」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: 「もし「厚ぼったい」ということは成り立てば未信者だということはないか潔くないかまたは両方ともである」物はある fact2: 「厚ぼったいとすると「未信者だということはないかあるいは潔いかあるいはどちらもである」ということは間違っている」ものはある fact3: もし仮にこの血栓溶解療法はしつっこいならば「それは貧乏臭くないかまたはそれは未信者でない」ということは間違いである fact4: あるものは厚ぼったいとすれば「未信者でないかあるいはそれは潔い」ということは成り立たない fact5: もし仮にこの金管が厚ぼったいとしたらそれは未信者でないか潔くないか両方である fact6: もしもこの金管が厚ぼったいならばそれは未信者である fact7: もし仮に何らかの物が厚ぼったいとすれば未信者だ fact8: 仮になんらかのものは厚ぼったいとしたら「未信者であるということはないかまたは潔くないかもしくは両方だ」ということは偽である fact9: もし仮にこの金管が自己コントロール出来るとすると厚ぼったい fact10: 厚ぼったいものは未信者でないかあるいは潔くないかあるいはどちらもだ fact11: 「厚ぼったいとしたら未信者である」物はある fact12: 仮にこの金管は厚ぼったいならば「それは未信者でないか潔いかもしくはどちらもだ」ということは成り立たない ; $hypothesis$ = 「もしも厚ぼったいとしたら「未信者でないか潔くないかまたは両方ともだ」ということは誤っている」ものはある ; $proof$ = 
fact8 -> int1: この金管は厚ぼったいならば「「未信者でないか潔くないかあるいは両方ともだ」ということは正しい」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
事実1: 「もし「厚ぼったい」ということは成り立てば未信者だということはないか潔くないかまたは両方ともである」物はある
事実2: 「厚ぼったいとすると「未信者だということはないかあるいは潔いかあるいはどちらもである」ということは間違っている」ものはある
事実3: もし仮にこの血栓溶解療法はしつっこいならば「それは貧乏臭くないかまたはそれは未信者でない」ということは間違いである
事実4: あるものは厚ぼったいとすれば「未信者でないかあるいはそれは潔い」ということは成り立たない
事実5: もし仮にこの金管が厚ぼったいとしたらそれは未信者でないか潔くないか両方である
事実6: もしもこの金管が厚ぼったいならばそれは未信者である
事実7: もし仮に何らかの物が厚ぼったいとすれば未信者だ
事実8: 仮になんらかのものは厚ぼったいとしたら「未信者であるということはないかまたは潔くないかもしくは両方だ」ということは偽である
事実9: もし仮にこの金管が自己コントロール出来るとすると厚ぼったい
事実10: 厚ぼったいものは未信者でないかあるいは潔くないかあるいはどちらもだ
事実11: 「厚ぼったいとしたら未信者である」物はある
事実12: 仮にこの金管は厚ぼったいならば「それは未信者でないか潔いかもしくはどちらもだ」ということは成り立たない

仮説: 「もしも厚ぼったいとしたら「未信者でないか潔くないかまたは両方ともだ」ということは誤っている」ものはある
1. 事実8から、推論1: "この金管は厚ぼったいならば「「未信者でないか潔くないかあるいは両方ともだ」ということは正しい」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が導かれる

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