「あのＨＣＧは幼ししおまけに断り難い」ということは事実と異なる
fact1: もしもあの戦争体験者はオートフィルでないならば「あのＨＣＧは幼しし更に断り難い」ということは成り立たない fact2: あの戦争体験者はオートフィルでない
$facts$ = fact1: もしもあの戦争体験者はオートフィルでないならば「あのＨＣＧは幼しし更に断り難い」ということは成り立たない fact2: あの戦争体験者はオートフィルでない ; $hypothesis$ = 「あのＨＣＧは幼ししおまけに断り難い」ということは事実と異なる ; $proof$ = 
事実1: もしもあの戦争体験者はオートフィルでないならば「あのＨＣＧは幼しし更に断り難い」ということは成り立たない
事実2: あの戦争体験者はオートフィルでない

仮説: 「あのＨＣＧは幼ししおまけに断り難い」ということは事実と異なる