「この同系列は殺人未遂だけれどそれは出所出来ない」ということは誤りだ
fact1: この眼瞼下垂は勝ち続けない fact2: この同系列が勝ち続けないならば殺人未遂だが出所出来ない fact3: この同系列は勝ち続けない
$facts$ = fact1: この眼瞼下垂は勝ち続けない fact2: この同系列が勝ち続けないならば殺人未遂だが出所出来ない fact3: この同系列は勝ち続けない ; $hypothesis$ = 「この同系列は殺人未遂だけれどそれは出所出来ない」ということは誤りだ ; $proof$ = 
事実1: この眼瞼下垂は勝ち続けない
事実2: この同系列が勝ち続けないならば殺人未遂だが出所出来ない
事実3: この同系列は勝ち続けない

仮説: 「この同系列は殺人未遂だけれどそれは出所出来ない」ということは誤りだ