「あの騎兵隊長は快くなくてそれは直撃しない」ということは成り立たない
fact1: この芥は柔らかいということはない fact2: もし仮にこの芥は柔らかいということはないなら「あの騎兵隊長は快くなくてかつそれは直撃しない」ということは間違っている
$facts$ = fact1: この芥は柔らかいということはない fact2: もし仮にこの芥は柔らかいということはないなら「あの騎兵隊長は快くなくてかつそれは直撃しない」ということは間違っている ; $hypothesis$ = 「あの騎兵隊長は快くなくてそれは直撃しない」ということは成り立たない ; $proof$ = 
事実1: この芥は柔らかいということはない
事実2: もし仮にこの芥は柔らかいということはないなら「あの騎兵隊長は快くなくてかつそれは直撃しない」ということは間違っている

仮説: 「あの騎兵隊長は快くなくてそれは直撃しない」ということは成り立たない