「もし仮にうざいとすると鱗状でないししかも飛び掛かる」物はある
fact1: 吝いものは伸び易くないがしかし誇りっぽい fact2: 「うざいとしたら飛び掛かる」物はある fact3: 仮にそのアルカイスムは甚だしいとしたらそれはうざくないけれどひもじい fact4: 「もし仄暗いならば濃い」物はある fact5: もしもそのアルカイスムがうざいとすれば鱗状で加えて飛び掛かる fact6: そのムチンがキャッシュ化するとすればそれは鱗状でないしそれは儚い fact7: 「もし仮に建物以外であるとするとキャッシュ化する」ものはある fact8: 仮にそのアルカイスムがうざいとすればそれは仄暗いということはない fact9: 「「仮にうざいなら鱗状でない」物はある」ということは成り立つ fact10: もしそのアルカイスムは清いならばそれはうざくない物でおまけに危ない fact11: もし仮にそのアルカイスムがうざいならば飛び掛かる fact12: もしそのアルカイスムがうざいとすれば鱗状だということはないしさらに飛び掛かる fact13: 「もしアメリカっぽいとすればトーストパンだしさらに肌寒い」物はある fact14: 「仮にうざいとすると鱗状であるし飛び掛かる」物はある
fact12 -> hypothesis;
「仮に吝いなら伸び易いということはないけど誇りっぽい」ものはある
fact15 -> int1: もしもこの呆然自失が吝いとすると伸び易くないがしかし誇りっぽい; int1 -> hypothesis;
$facts$ = fact1: 吝いものは伸び易くないがしかし誇りっぽい fact2: 「うざいとしたら飛び掛かる」物はある fact3: 仮にそのアルカイスムは甚だしいとしたらそれはうざくないけれどひもじい fact4: 「もし仄暗いならば濃い」物はある fact5: もしもそのアルカイスムがうざいとすれば鱗状で加えて飛び掛かる fact6: そのムチンがキャッシュ化するとすればそれは鱗状でないしそれは儚い fact7: 「もし仮に建物以外であるとするとキャッシュ化する」ものはある fact8: 仮にそのアルカイスムがうざいとすればそれは仄暗いということはない fact9: 「「仮にうざいなら鱗状でない」物はある」ということは成り立つ fact10: もしそのアルカイスムは清いならばそれはうざくない物でおまけに危ない fact11: もし仮にそのアルカイスムがうざいならば飛び掛かる fact12: もしそのアルカイスムがうざいとすれば鱗状だということはないしさらに飛び掛かる fact13: 「もしアメリカっぽいとすればトーストパンだしさらに肌寒い」物はある fact14: 「仮にうざいとすると鱗状であるし飛び掛かる」物はある ; $hypothesis$ = 「もし仮にうざいとすると鱗状でないししかも飛び掛かる」物はある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 吝いものは伸び易くないがしかし誇りっぽい
事実2: 「うざいとしたら飛び掛かる」物はある
事実3: 仮にそのアルカイスムは甚だしいとしたらそれはうざくないけれどひもじい
事実4: 「もし仄暗いならば濃い」物はある
事実5: もしもそのアルカイスムがうざいとすれば鱗状で加えて飛び掛かる
事実6: そのムチンがキャッシュ化するとすればそれは鱗状でないしそれは儚い
事実7: 「もし仮に建物以外であるとするとキャッシュ化する」ものはある
事実8: 仮にそのアルカイスムがうざいとすればそれは仄暗いということはない
事実9: 「「仮にうざいなら鱗状でない」物はある」ということは成り立つ
事実10: もしそのアルカイスムは清いならばそれはうざくない物でおまけに危ない
事実11: もし仮にそのアルカイスムがうざいならば飛び掛かる
事実12: もしそのアルカイスムがうざいとすれば鱗状だということはないしさらに飛び掛かる
事実13: 「もしアメリカっぽいとすればトーストパンだしさらに肌寒い」物はある
事実14: 「仮にうざいとすると鱗状であるし飛び掛かる」物はある

仮説: 「もし仮にうざいとすると鱗状でないししかも飛び掛かる」物はある
1. 事実12から、仮説が導かれる

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