この第三前頭回後半は退場しない
fact1: この第三前頭回後半は退場する fact2: この大蒜は退場する
$facts$ = fact1: この第三前頭回後半は退場する fact2: この大蒜は退場する ; $hypothesis$ = この第三前頭回後半は退場しない ; $proof$ = 
事実1: この第三前頭回後半は退場する
事実2: この大蒜は退場する

仮説: この第三前頭回後半は退場しない