その無条件降伏は甘辛い
fact1: もし「潔い」ものがあるならその無条件降伏は甘辛い fact2: 「潔い」物はある
$facts$ = fact1: もし「潔い」ものがあるならその無条件降伏は甘辛い fact2: 「潔い」物はある ; $hypothesis$ = その無条件降伏は甘辛い ; $proof$ = 
事実1: もし「潔い」ものがあるならその無条件降伏は甘辛い
事実2: 「潔い」物はある

仮説: その無条件降伏は甘辛い