「粘っこいがしかし並び立たない」ものはある
fact1: 「その一礼は社債・ＣＰであるかまたはそれは並び立つということはないかもしくは両方ともだ」ということは間違いである fact2: なにかは孵卵器だし遭難し掛ける fact3: もし仮にある物が軽々しいとしたらその細胞中は粘っこい fact4: 「熱くて更に受け辛い」ものはある fact5: 「軽々しい」物はある fact6: もし仮にある物が軽々しいとするとその細胞中は粘っこいがしかしそれは並び立たない fact7: その細胞中は粘っこい fact8: 「伝わり難くておまけに入り易くない」物はある fact9: 「Ｓちゃんである」ものはある fact10: 「粘っこい」ものはある fact11: もし「立ち上がり掛ける」ものがあるとするとその細胞中は並び立つ一方で受け辛くない fact12: 「「栄養源である」ということは確かである」ものはある fact13: その細胞中はマルコム・ボルドリッジ賞でない
fact5 & fact6 -> int1: その細胞中は粘っこいけど並び立たない; int1 -> hypothesis;
ある物は受け辛い
fact14 -> int2: 「「社債・ＣＰであるかまたは並び立たないかもしくはどちらもである」ということは間違いな」ものはある;
$facts$ = fact1: 「その一礼は社債・ＣＰであるかまたはそれは並び立つということはないかもしくは両方ともだ」ということは間違いである fact2: なにかは孵卵器だし遭難し掛ける fact3: もし仮にある物が軽々しいとしたらその細胞中は粘っこい fact4: 「熱くて更に受け辛い」ものはある fact5: 「軽々しい」物はある fact6: もし仮にある物が軽々しいとするとその細胞中は粘っこいがしかしそれは並び立たない fact7: その細胞中は粘っこい fact8: 「伝わり難くておまけに入り易くない」物はある fact9: 「Ｓちゃんである」ものはある fact10: 「粘っこい」ものはある fact11: もし「立ち上がり掛ける」ものがあるとするとその細胞中は並び立つ一方で受け辛くない fact12: 「「栄養源である」ということは確かである」ものはある fact13: その細胞中はマルコム・ボルドリッジ賞でない ; $hypothesis$ = 「粘っこいがしかし並び立たない」ものはある ; $proof$ = 
fact5 & fact6 -> int1: その細胞中は粘っこいけど並び立たない; int1 -> hypothesis; __PROVED__
事実1: 「その一礼は社債・ＣＰであるかまたはそれは並び立つということはないかもしくは両方ともだ」ということは間違いである
事実2: なにかは孵卵器だし遭難し掛ける
事実3: もし仮にある物が軽々しいとしたらその細胞中は粘っこい
事実4: 「熱くて更に受け辛い」ものはある
事実5: 「軽々しい」物はある
事実6: もし仮にある物が軽々しいとするとその細胞中は粘っこいがしかしそれは並び立たない
事実7: その細胞中は粘っこい
事実8: 「伝わり難くておまけに入り易くない」物はある
事実9: 「Ｓちゃんである」ものはある
事実10: 「粘っこい」ものはある
事実11: もし「立ち上がり掛ける」ものがあるとするとその細胞中は並び立つ一方で受け辛くない
事実12: 「「栄養源である」ということは確かである」ものはある
事実13: その細胞中はマルコム・ボルドリッジ賞でない

仮説: 「粘っこいがしかし並び立たない」ものはある
1. 事実5と事実6から、推論1: "その細胞中は粘っこいけど並び立たない"が導かれる
2. 推論1から、仮説が導かれる

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