この筋トレは凛々しくないけれど力餅である
fact1: この筋トレは表計算でない fact2: もしこの筋トレが表計算でないならばそれは凛々しくないしまたそれは力餅である
$facts$ = fact1: この筋トレは表計算でない fact2: もしこの筋トレが表計算でないならばそれは凛々しくないしまたそれは力餅である ; $hypothesis$ = この筋トレは凛々しくないけれど力餅である ; $proof$ = 
事実1: この筋トレは表計算でない
事実2: もしこの筋トレが表計算でないならばそれは凛々しくないしまたそれは力餅である

仮説: この筋トレは凛々しくないけれど力餅である