「仮に加算値でないしまた団栗でないとすれば立往生する」ものはある
fact1: 仮にあの清涼飲料水が加算値でないしまたそれは団栗でないとしたら立往生する
$facts$ = fact1: 仮にあの清涼飲料水が加算値でないしまたそれは団栗でないとしたら立往生する ; $hypothesis$ = 「仮に加算値でないしまた団栗でないとすれば立往生する」ものはある ; $proof$ = 
事実1: 仮にあの清涼飲料水が加算値でないしまたそれは団栗でないとしたら立往生する

仮説: 「仮に加算値でないしまた団栗でないとすれば立往生する」ものはある