この別掲は酸くない
fact1: もしもあるものが折り返すし更に新しいとすればこの別掲は酸い fact2: 「折り返すし更に新しい」物はある
$facts$ = fact1: もしもあるものが折り返すし更に新しいとすればこの別掲は酸い fact2: 「折り返すし更に新しい」物はある ; $hypothesis$ = この別掲は酸くない ; $proof$ = 
事実1: もしもあるものが折り返すし更に新しいとすればこの別掲は酸い
事実2: 「折り返すし更に新しい」物はある

仮説: この別掲は酸くない