「「仮にフライであるとしたら「活動し易くないしまた肋骨頭だ」ということは間違っている」物はある」ということは事実と異なる
fact1: 「もし頷き合うなら「塗り続けるしそれに親しみ易い」ということは成り立たない」ものはある fact2: 仮にあの他製品は山深いとしたら「「肋骨頭であるということはないけど深し」ということは成り立つ」ということは誤っている fact3: なにかは千世界だとすれば「それは老人保健制度でない一方で歩き辛い」ということは嘘である fact4: もし仮になにかはフライであるなら「活動し易くないしその上肋骨頭である」ということは本当でない fact5: 「もしもアンタゴニストだとすると「甲乙協議するしおまけに御菓子だ」ということは成り立つということはない」物はある fact6: 「本児だとすれば「行水でないけど知れ切る」ということは成り立たない」物はある
fact4 -> int1: もし仮にあの磯釣りはフライであるとすれば「活動し易くない一方で肋骨頭だ」ということは誤りだ; int1 -> hypothesis;
$facts$ = fact1: 「もし頷き合うなら「塗り続けるしそれに親しみ易い」ということは成り立たない」ものはある fact2: 仮にあの他製品は山深いとしたら「「肋骨頭であるということはないけど深し」ということは成り立つ」ということは誤っている fact3: なにかは千世界だとすれば「それは老人保健制度でない一方で歩き辛い」ということは嘘である fact4: もし仮になにかはフライであるなら「活動し易くないしその上肋骨頭である」ということは本当でない fact5: 「もしもアンタゴニストだとすると「甲乙協議するしおまけに御菓子だ」ということは成り立つということはない」物はある fact6: 「本児だとすれば「行水でないけど知れ切る」ということは成り立たない」物はある ; $hypothesis$ = 「「仮にフライであるとしたら「活動し易くないしまた肋骨頭だ」ということは間違っている」物はある」ということは事実と異なる ; $proof$ = 
fact4 -> int1: もし仮にあの磯釣りはフライであるとすれば「活動し易くない一方で肋骨頭だ」ということは誤りだ; int1 -> hypothesis; __DISPROVED__
事実1: 「もし頷き合うなら「塗り続けるしそれに親しみ易い」ということは成り立たない」ものはある
事実2: 仮にあの他製品は山深いとしたら「「肋骨頭であるということはないけど深し」ということは成り立つ」ということは誤っている
事実3: なにかは千世界だとすれば「それは老人保健制度でない一方で歩き辛い」ということは嘘である
事実4: もし仮になにかはフライであるなら「活動し易くないしその上肋骨頭である」ということは本当でない
事実5: 「もしもアンタゴニストだとすると「甲乙協議するしおまけに御菓子だ」ということは成り立つということはない」物はある
事実6: 「本児だとすれば「行水でないけど知れ切る」ということは成り立たない」物はある

仮説: 「「仮にフライであるとしたら「活動し易くないしまた肋骨頭だ」ということは間違っている」物はある」ということは事実と異なる
1. 事実4から、推論1: "もし仮にあの磯釣りはフライであるとすれば「活動し易くない一方で肋骨頭だ」ということは誤りだ"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。