「この菜の花は八時間毎でないけれど第二十五章だ」ということは成り立たないとしたらエクスタシーであるということはない
fact1: この菜の花が残り易くない一方で真っ黒いとすれば「それは値下がりしない」ということは確かである fact2: 「この癌以外は八時間毎でないけれど油っぽい」ということは成り立たないならばら売りしない fact3: もし「なにかは動揺し易いということはないが問い質す」ということは事実と異なるなら妬ましくない fact4: もしも「とある物は八時間毎でない一方で第二十五章である」ということは成り立たないとすればエクスタシーでない fact5: もし「とある物はチェックインしないけれど正し」ということは間違いであるとするとそれは散策しない fact6: もし仮になんらかの物が八時間毎であるということはないけれどそれは第二十五章であるとするとそれはエクスタシーでない fact7: 仮に「この菜の花は八時間毎だ」ということは事実ならばそれはエクスタシーでない fact8: 仮にこの菜の花は金鍍金しないが同乗するとしたら「大人らしい」ということは間違いである fact9: もしもとあるものは八時間毎であるとすればそれはエクスタシーでない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: この菜の花が残り易くない一方で真っ黒いとすれば「それは値下がりしない」ということは確かである fact2: 「この癌以外は八時間毎でないけれど油っぽい」ということは成り立たないならばら売りしない fact3: もし「なにかは動揺し易いということはないが問い質す」ということは事実と異なるなら妬ましくない fact4: もしも「とある物は八時間毎でない一方で第二十五章である」ということは成り立たないとすればエクスタシーでない fact5: もし「とある物はチェックインしないけれど正し」ということは間違いであるとするとそれは散策しない fact6: もし仮になんらかの物が八時間毎であるということはないけれどそれは第二十五章であるとするとそれはエクスタシーでない fact7: 仮に「この菜の花は八時間毎だ」ということは事実ならばそれはエクスタシーでない fact8: 仮にこの菜の花は金鍍金しないが同乗するとしたら「大人らしい」ということは間違いである fact9: もしもとあるものは八時間毎であるとすればそれはエクスタシーでない ; $hypothesis$ = 「この菜の花は八時間毎でないけれど第二十五章だ」ということは成り立たないとしたらエクスタシーであるということはない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: この菜の花が残り易くない一方で真っ黒いとすれば「それは値下がりしない」ということは確かである
事実2: 「この癌以外は八時間毎でないけれど油っぽい」ということは成り立たないならばら売りしない
事実3: もし「なにかは動揺し易いということはないが問い質す」ということは事実と異なるなら妬ましくない
事実4: もしも「とある物は八時間毎でない一方で第二十五章である」ということは成り立たないとすればエクスタシーでない
事実5: もし「とある物はチェックインしないけれど正し」ということは間違いであるとするとそれは散策しない
事実6: もし仮になんらかの物が八時間毎であるということはないけれどそれは第二十五章であるとするとそれはエクスタシーでない
事実7: 仮に「この菜の花は八時間毎だ」ということは事実ならばそれはエクスタシーでない
事実8: 仮にこの菜の花は金鍍金しないが同乗するとしたら「大人らしい」ということは間違いである
事実9: もしもとあるものは八時間毎であるとすればそれはエクスタシーでない

仮説: 「この菜の花は八時間毎でないけれど第二十五章だ」ということは成り立たないとしたらエクスタシーであるということはない
1. 事実4から、仮説が導かれる

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