「もし仮に青臭いとすれば転げなくてかつ陰気臭くない」物はある
fact1: 仮にあの時間複雑度が青臭いとすると転げないし陰気臭くない
$facts$ = fact1: 仮にあの時間複雑度が青臭いとすると転げないし陰気臭くない ; $hypothesis$ = 「もし仮に青臭いとすれば転げなくてかつ陰気臭くない」物はある ; $proof$ = 
事実1: 仮にあの時間複雑度が青臭いとすると転げないし陰気臭くない

仮説: 「もし仮に青臭いとすれば転げなくてかつ陰気臭くない」物はある