この高さ制限はアームロックでない
fact1: 「「痛ーい」ということは真実な」ものはある fact2: もし何かは痛ーいならこの高さ制限はアームロックである
$facts$ = fact1: 「「痛ーい」ということは真実な」ものはある fact2: もし何かは痛ーいならこの高さ制限はアームロックである ; $hypothesis$ = この高さ制限はアームロックでない ; $proof$ = 
事実1: 「「痛ーい」ということは真実な」ものはある
事実2: もし何かは痛ーいならこの高さ制限はアームロックである

仮説: この高さ制限はアームロックでない