「「もしも協力し合えるということはないとしたら飛び続けない」物はある」ということは正しいということはない
fact1: もし仮になんらかの物が飛び続けないならば及び難くない fact2: 「もし仮に協力し合えるとすれば飛び続けない」ものはある fact3: もし仮にあの電路は協力し合えないとしたら「飛び続けるということはない」ということは成り立つ fact4: 「もし仮に渋皮煮ならば参観しない」ものはある fact5: 「協力し合えないなら飛び続ける」物はある
fact3 -> hypothesis;
もし仮にあの通園が飛び続けないなら及び難くない
fact6 -> hypothesis;
$facts$ = fact1: もし仮になんらかの物が飛び続けないならば及び難くない fact2: 「もし仮に協力し合えるとすれば飛び続けない」ものはある fact3: もし仮にあの電路は協力し合えないとしたら「飛び続けるということはない」ということは成り立つ fact4: 「もし仮に渋皮煮ならば参観しない」ものはある fact5: 「協力し合えないなら飛び続ける」物はある ; $hypothesis$ = 「「もしも協力し合えるということはないとしたら飛び続けない」物はある」ということは正しいということはない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物が飛び続けないならば及び難くない
事実2: 「もし仮に協力し合えるとすれば飛び続けない」ものはある
事実3: もし仮にあの電路は協力し合えないとしたら「飛び続けるということはない」ということは成り立つ
事実4: 「もし仮に渋皮煮ならば参観しない」ものはある
事実5: 「協力し合えないなら飛び続ける」物はある

仮説: 「「もしも協力し合えるということはないとしたら飛び続けない」物はある」ということは正しいということはない
1. 事実3から、仮説が否定される

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