あの出向はＳＯＤであるが茹で上がらない
fact1: あの出向は茹で上がらない fact2: あの出向はＳＯＤである
$facts$ = fact1: あの出向は茹で上がらない fact2: あの出向はＳＯＤである ; $hypothesis$ = あの出向はＳＯＤであるが茹で上がらない ; $proof$ = 
事実1: あの出向は茹で上がらない
事実2: あの出向はＳＯＤである

仮説: あの出向はＳＯＤであるが茹で上がらない