「新古典派経済学でないとしたら相互行為しなくてその上赤しない」ものはある
fact1: 仮にその地球外が新古典派経済学でないとすると相互行為しなくて加えて赤しない
$facts$ = fact1: 仮にその地球外が新古典派経済学でないとすると相互行為しなくて加えて赤しない ; $hypothesis$ = 「新古典派経済学でないとしたら相互行為しなくてその上赤しない」ものはある ; $proof$ = 
事実1: 仮にその地球外が新古典派経済学でないとすると相互行為しなくて加えて赤しない

仮説: 「新古典派経済学でないとしたら相互行為しなくてその上赤しない」ものはある