もしもその体力維持が竹専用ならば大乗論でない
fact1: もしもなんらかのものが竹専用だとしたら大乗論でない
$facts$ = fact1: もしもなんらかのものが竹専用だとしたら大乗論でない ; $hypothesis$ = もしもその体力維持が竹専用ならば大乗論でない ; $proof$ = 
事実1: もしもなんらかのものが竹専用だとしたら大乗論でない

仮説: もしもその体力維持が竹専用ならば大乗論でない