「「離せらなくてその上赤いとすれば所在地でない」物はある」ということは嘘だ
fact1: もしその大隊長は離せらないけど赤いとしたら所在地でない
$facts$ = fact1: もしその大隊長は離せらないけど赤いとしたら所在地でない ; $hypothesis$ = 「「離せらなくてその上赤いとすれば所在地でない」物はある」ということは嘘だ ; $proof$ = 
事実1: もしその大隊長は離せらないけど赤いとしたら所在地でない

仮説: 「「離せらなくてその上赤いとすれば所在地でない」物はある」ということは嘘だ