この太閤検地が迷い難くない一方でそれがポップ・アートだとしたら神経ブロック注射でない
fact1: もしこの太閤検地が迷い難くてポップ・アートだとするとそれは神経ブロック注射であるということはない fact2: もし仮にこの太閤検地が図太くない一方でそれが神経ブロック注射だとするとそれは歩き辛くない fact3: もしあるものは取り消すしまた平べったいならばそれは裏書き譲渡しない fact4: もし仮にとある物が間中でない一方で伝え聞くなら「奇病である」ということは真実だ fact5: もし迷い難くないものがポップ・アートなら神経ブロック注射でない fact6: 迷い難いということはない物はポップ・アートであるとすれば「神経ブロック注射である」ということは成り立つ fact7: 仮になにがしかの物が一勝しないがガナッシュであるとしたらそれは身投げしない
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: もしこの太閤検地が迷い難くてポップ・アートだとするとそれは神経ブロック注射であるということはない fact2: もし仮にこの太閤検地が図太くない一方でそれが神経ブロック注射だとするとそれは歩き辛くない fact3: もしあるものは取り消すしまた平べったいならばそれは裏書き譲渡しない fact4: もし仮にとある物が間中でない一方で伝え聞くなら「奇病である」ということは真実だ fact5: もし迷い難くないものがポップ・アートなら神経ブロック注射でない fact6: 迷い難いということはない物はポップ・アートであるとすれば「神経ブロック注射である」ということは成り立つ fact7: 仮になにがしかの物が一勝しないがガナッシュであるとしたらそれは身投げしない ; $hypothesis$ = この太閤検地が迷い難くない一方でそれがポップ・アートだとしたら神経ブロック注射でない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしこの太閤検地が迷い難くてポップ・アートだとするとそれは神経ブロック注射であるということはない
事実2: もし仮にこの太閤検地が図太くない一方でそれが神経ブロック注射だとするとそれは歩き辛くない
事実3: もしあるものは取り消すしまた平べったいならばそれは裏書き譲渡しない
事実4: もし仮にとある物が間中でない一方で伝え聞くなら「奇病である」ということは真実だ
事実5: もし迷い難くないものがポップ・アートなら神経ブロック注射でない
事実6: 迷い難いということはない物はポップ・アートであるとすれば「神経ブロック注射である」ということは成り立つ
事実7: 仮になにがしかの物が一勝しないがガナッシュであるとしたらそれは身投げしない

仮説: この太閤検地が迷い難くない一方でそれがポップ・アートだとしたら神経ブロック注射でない
1. 事実5から、仮説が導かれる

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