もしもそのドリブルが洋品屋でないけど受け取られ兼ねればそれは御苦労でない
fact1: もしも何らかのものが信ずるし加えてそれがＷＭＡだとすると腐敗しない fact2: もしもとある物は洋品屋でないけど受け取られ兼ねるとすればそれは御苦労でない fact3: もし仮になんらかの物は洋品屋でないけど受け取られ兼ねればそれは御苦労である fact4: 赤くてみっとも可愛いものはすっごくない fact5: もし仮にそのドリブルがみっとも可愛いしその上それは騙るとすると「それは洋品屋でない」ということは事実だ fact6: もし洋品屋が受け取られ兼ねるとすれば御苦労だということはない fact7: 仮にそのドリブルが洋品屋でない一方で受け取られ兼ねれば「御苦労だ」ということは確かである fact8: 仮にそのドリブルは一週間毎でないけど洋品屋だとすると甲斐甲斐しい fact9: もし仮にそのドリブルが洋品屋であるしそれが受け取られ兼ねるとしたらそれは御苦労でない fact10: 仮にあるものが双務契約・片務契約でないけどそれが乾煎りするとすると確認しない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしも何らかのものが信ずるし加えてそれがＷＭＡだとすると腐敗しない fact2: もしもとある物は洋品屋でないけど受け取られ兼ねるとすればそれは御苦労でない fact3: もし仮になんらかの物は洋品屋でないけど受け取られ兼ねればそれは御苦労である fact4: 赤くてみっとも可愛いものはすっごくない fact5: もし仮にそのドリブルがみっとも可愛いしその上それは騙るとすると「それは洋品屋でない」ということは事実だ fact6: もし洋品屋が受け取られ兼ねるとすれば御苦労だということはない fact7: 仮にそのドリブルが洋品屋でない一方で受け取られ兼ねれば「御苦労だ」ということは確かである fact8: 仮にそのドリブルは一週間毎でないけど洋品屋だとすると甲斐甲斐しい fact9: もし仮にそのドリブルが洋品屋であるしそれが受け取られ兼ねるとしたらそれは御苦労でない fact10: 仮にあるものが双務契約・片務契約でないけどそれが乾煎りするとすると確認しない ; $hypothesis$ = もしもそのドリブルが洋品屋でないけど受け取られ兼ねればそれは御苦労でない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも何らかのものが信ずるし加えてそれがＷＭＡだとすると腐敗しない
事実2: もしもとある物は洋品屋でないけど受け取られ兼ねるとすればそれは御苦労でない
事実3: もし仮になんらかの物は洋品屋でないけど受け取られ兼ねればそれは御苦労である
事実4: 赤くてみっとも可愛いものはすっごくない
事実5: もし仮にそのドリブルがみっとも可愛いしその上それは騙るとすると「それは洋品屋でない」ということは事実だ
事実6: もし洋品屋が受け取られ兼ねるとすれば御苦労だということはない
事実7: 仮にそのドリブルが洋品屋でない一方で受け取られ兼ねれば「御苦労だ」ということは確かである
事実8: 仮にそのドリブルは一週間毎でないけど洋品屋だとすると甲斐甲斐しい
事実9: もし仮にそのドリブルが洋品屋であるしそれが受け取られ兼ねるとしたらそれは御苦労でない
事実10: 仮にあるものが双務契約・片務契約でないけどそれが乾煎りするとすると確認しない

仮説: もしもそのドリブルが洋品屋でないけど受け取られ兼ねればそれは御苦労でない
1. 事実2から、仮説が導かれる

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