「ストラッツであるとすると甘ったるいしさらに横転しない」物はある
fact1: もしもこのスピネットがストラッツだとすればそれは甘ったるいが横転しない
$facts$ = fact1: もしもこのスピネットがストラッツだとすればそれは甘ったるいが横転しない ; $hypothesis$ = 「ストラッツであるとすると甘ったるいしさらに横転しない」物はある ; $proof$ = 
事実1: もしもこのスピネットがストラッツだとすればそれは甘ったるいが横転しない

仮説: 「ストラッツであるとすると甘ったるいしさらに横転しない」物はある