「仮にＳＰＥＣであるなら「仄白くてイメージし易いということはない」ということは事実である」ものはある
fact1: 「もし淡いならばむさくるしい」物はある fact2: 仮になにがしかの物が漏れ出せば小細胞群であるしそれは裏面でない fact3: 「もしもその怪盗が年度平均だとしたらその怪盗はイメージし易くて手荒い」ということは事実だ fact4: もしも何らかのものがＳＰＥＣだとするとそれは仄白いしおまけにそれはイメージし易くない fact5: もし仮になにかはＳＰＥＣであるとすれば仄白い fact6: 「仮に籠もるとすれば追跡調査しない」ものはある fact7: 「ＳＰＥＣだとすると仄白いしまたイメージし易い」物はある fact8: 平たいものは輝かしけどはっきりしない fact9: 仮になにかはＳＰＥＣであるとすれば「それは仄白いしさらにイメージし易い」ということは成り立つ fact10: 「もしもフリーライドだとするとはっきりするけど政策変更でない」ものはある fact11: もしこの後根神経節が仄白いとすれば倫理学ノートである fact12: 「もし折れ易いとすると洒落臭いということはない」物はある fact13: もし仮になにかはおもろいとするとそれは脂っこいししかも底堅くない fact14: 仮にその共同申請書が移ろい易いとすればそれは小座敷だが汚れ易くない
fact4 -> int1: この後根神経節がＳＰＥＣであるとすると仄白いしその上それはイメージし易くない; int1 -> hypothesis;
「仮におもろいなら脂っこいけど底堅くない」物はある
fact15 -> int2: 仮にこの希望価格がおもろいなら脂っこくてまたそれは底堅くない; int2 -> hypothesis;
$facts$ = fact1: 「もし淡いならばむさくるしい」物はある fact2: 仮になにがしかの物が漏れ出せば小細胞群であるしそれは裏面でない fact3: 「もしもその怪盗が年度平均だとしたらその怪盗はイメージし易くて手荒い」ということは事実だ fact4: もしも何らかのものがＳＰＥＣだとするとそれは仄白いしおまけにそれはイメージし易くない fact5: もし仮になにかはＳＰＥＣであるとすれば仄白い fact6: 「仮に籠もるとすれば追跡調査しない」ものはある fact7: 「ＳＰＥＣだとすると仄白いしまたイメージし易い」物はある fact8: 平たいものは輝かしけどはっきりしない fact9: 仮になにかはＳＰＥＣであるとすれば「それは仄白いしさらにイメージし易い」ということは成り立つ fact10: 「もしもフリーライドだとするとはっきりするけど政策変更でない」ものはある fact11: もしこの後根神経節が仄白いとすれば倫理学ノートである fact12: 「もし折れ易いとすると洒落臭いということはない」物はある fact13: もし仮になにかはおもろいとするとそれは脂っこいししかも底堅くない fact14: 仮にその共同申請書が移ろい易いとすればそれは小座敷だが汚れ易くない ; $hypothesis$ = 「仮にＳＰＥＣであるなら「仄白くてイメージし易いということはない」ということは事実である」ものはある ; $proof$ = 
fact4 -> int1: この後根神経節がＳＰＥＣであるとすると仄白いしその上それはイメージし易くない; int1 -> hypothesis; __PROVED__
事実1: 「もし淡いならばむさくるしい」物はある
事実2: 仮になにがしかの物が漏れ出せば小細胞群であるしそれは裏面でない
事実3: 「もしもその怪盗が年度平均だとしたらその怪盗はイメージし易くて手荒い」ということは事実だ
事実4: もしも何らかのものがＳＰＥＣだとするとそれは仄白いしおまけにそれはイメージし易くない
事実5: もし仮になにかはＳＰＥＣであるとすれば仄白い
事実6: 「仮に籠もるとすれば追跡調査しない」ものはある
事実7: 「ＳＰＥＣだとすると仄白いしまたイメージし易い」物はある
事実8: 平たいものは輝かしけどはっきりしない
事実9: 仮になにかはＳＰＥＣであるとすれば「それは仄白いしさらにイメージし易い」ということは成り立つ
事実10: 「もしもフリーライドだとするとはっきりするけど政策変更でない」ものはある
事実11: もしこの後根神経節が仄白いとすれば倫理学ノートである
事実12: 「もし折れ易いとすると洒落臭いということはない」物はある
事実13: もし仮になにかはおもろいとするとそれは脂っこいししかも底堅くない
事実14: 仮にその共同申請書が移ろい易いとすればそれは小座敷だが汚れ易くない

仮説: 「仮にＳＰＥＣであるなら「仄白くてイメージし易いということはない」ということは事実である」ものはある
1. 事実4から、推論1: "この後根神経節がＳＰＥＣであるとすると仄白いしその上それはイメージし易くない"が導かれる
2. 推論1から、仮説が導かれる

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