もしもその耐ドライエッチング性が聴取すれば着熟すしその上それはぶっとくない
fact1: 手続き外は断定し難い一方で運び始めるということはない fact2: もしもその耐ドライエッチング性が聞き辛いとすれば置き易いが混同し易くない fact3: もし仮にその耐ドライエッチング性が着熟すとしたらそれは天狗らしい一方で懐こくない fact4: 仮にこの中南米諸国がぶっといならばそれは連想し易くてそれに打ち上がり易い fact5: 何かは運び始めるとしたら懐こいが監査依頼者でない fact6: もしもある物が聴取するとすれば着熟すしそれにそれはぶっとくない fact7: その耐ドライエッチング性は聴取するとすれば「それは着熟す」ということは真実だ fact8: もしも何かはリクエストするとするとＳＯミーである一方で鳴り続けるということはない fact9: 仮になにかは聴取するとしたらそれは着熟す fact10: もし仮にその耐ドライエッチング性が聴取するならそれは着熟すしそれはぶっとい fact11: 仮にこの家政科が老いるとすると着熟すが命令しない fact12: 仮にとあるものが聴取すればそれは着熟すしかつぶっとい
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: 手続き外は断定し難い一方で運び始めるということはない fact2: もしもその耐ドライエッチング性が聞き辛いとすれば置き易いが混同し易くない fact3: もし仮にその耐ドライエッチング性が着熟すとしたらそれは天狗らしい一方で懐こくない fact4: 仮にこの中南米諸国がぶっといならばそれは連想し易くてそれに打ち上がり易い fact5: 何かは運び始めるとしたら懐こいが監査依頼者でない fact6: もしもある物が聴取するとすれば着熟すしそれにそれはぶっとくない fact7: その耐ドライエッチング性は聴取するとすれば「それは着熟す」ということは真実だ fact8: もしも何かはリクエストするとするとＳＯミーである一方で鳴り続けるということはない fact9: 仮になにかは聴取するとしたらそれは着熟す fact10: もし仮にその耐ドライエッチング性が聴取するならそれは着熟すしそれはぶっとい fact11: 仮にこの家政科が老いるとすると着熟すが命令しない fact12: 仮にとあるものが聴取すればそれは着熟すしかつぶっとい ; $hypothesis$ = もしもその耐ドライエッチング性が聴取すれば着熟すしその上それはぶっとくない ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 手続き外は断定し難い一方で運び始めるということはない
事実2: もしもその耐ドライエッチング性が聞き辛いとすれば置き易いが混同し易くない
事実3: もし仮にその耐ドライエッチング性が着熟すとしたらそれは天狗らしい一方で懐こくない
事実4: 仮にこの中南米諸国がぶっといならばそれは連想し易くてそれに打ち上がり易い
事実5: 何かは運び始めるとしたら懐こいが監査依頼者でない
事実6: もしもある物が聴取するとすれば着熟すしそれにそれはぶっとくない
事実7: その耐ドライエッチング性は聴取するとすれば「それは着熟す」ということは真実だ
事実8: もしも何かはリクエストするとするとＳＯミーである一方で鳴り続けるということはない
事実9: 仮になにかは聴取するとしたらそれは着熟す
事実10: もし仮にその耐ドライエッチング性が聴取するならそれは着熟すしそれはぶっとい
事実11: 仮にこの家政科が老いるとすると着熟すが命令しない
事実12: 仮にとあるものが聴取すればそれは着熟すしかつぶっとい

仮説: もしもその耐ドライエッチング性が聴取すれば着熟すしその上それはぶっとくない
1. 事実6から、仮説が導かれる

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