この憲兵伍長はパイシートでないとすると「それは失効しないが養成工である」ということは嘘である
fact1: もしもなにがしかのものはパイシートでないなら「それは失効しないし加えてそれは養成工だ」ということは確かでない
$facts$ = fact1: もしもなにがしかのものはパイシートでないなら「それは失効しないし加えてそれは養成工だ」ということは確かでない ; $hypothesis$ = この憲兵伍長はパイシートでないとすると「それは失効しないが養成工である」ということは嘘である ; $proof$ = 
事実1: もしもなにがしかのものはパイシートでないなら「それは失効しないし加えてそれは養成工だ」ということは確かでない

仮説: この憲兵伍長はパイシートでないとすると「それは失効しないが養成工である」ということは嘘である