「「もし仮に気持ち良いとしたら冷や御飯でないけど転院する」ものはある」ということは成り立たない
fact1: もし仮にこのスイープが気持ち良いならばそれは冷や御飯でないけれど転院する
$facts$ = fact1: もし仮にこのスイープが気持ち良いならばそれは冷や御飯でないけれど転院する ; $hypothesis$ = 「「もし仮に気持ち良いとしたら冷や御飯でないけど転院する」ものはある」ということは成り立たない ; $proof$ = 
事実1: もし仮にこのスイープが気持ち良いならばそれは冷や御飯でないけれど転院する

仮説: 「「もし仮に気持ち良いとしたら冷や御飯でないけど転院する」ものはある」ということは成り立たない