「その政府は空々しかないけれど古書店主である」ということは本当でない
fact1: その政府は現代科学でない fact2: その政府が現代科学でないならば空々しいということはなくてそれは古書店主だ
$facts$ = fact1: その政府は現代科学でない fact2: その政府が現代科学でないならば空々しいということはなくてそれは古書店主だ ; $hypothesis$ = 「その政府は空々しかないけれど古書店主である」ということは本当でない ; $proof$ = 
事実1: その政府は現代科学でない
事実2: その政府が現代科学でないならば空々しいということはなくてそれは古書店主だ

仮説: 「その政府は空々しかないけれど古書店主である」ということは本当でない