「「もしも坂上等でないとしたら摂取しないし起き易くない」ものはある」ということは成り立たない
fact1: 何かは坂上等でないとすれば摂取しなくてかつそれは起き易いということはない fact2: 「仮に滑り下りないならば親しししつっこくない」物はある
fact1 -> int1: その祝辞が坂上等でないならば摂取するということはないしおまけに起き易くない; int1 -> hypothesis;
$facts$ = fact1: 何かは坂上等でないとすれば摂取しなくてかつそれは起き易いということはない fact2: 「仮に滑り下りないならば親しししつっこくない」物はある ; $hypothesis$ = 「「もしも坂上等でないとしたら摂取しないし起き易くない」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> int1: その祝辞が坂上等でないならば摂取するということはないしおまけに起き易くない; int1 -> hypothesis; __DISPROVED__
事実1: 何かは坂上等でないとすれば摂取しなくてかつそれは起き易いということはない
事実2: 「仮に滑り下りないならば親しししつっこくない」物はある

仮説: 「「もしも坂上等でないとしたら摂取しないし起き易くない」ものはある」ということは成り立たない
1. 事実1から、推論1: "その祝辞が坂上等でないならば摂取するということはないしおまけに起き易くない"が導かれる
2. 推論1から、仮説が否定される

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