そのパッケージソフトウェアは賛成し難くない
fact1: もし仮に「そのパッケージソフトウェアは総力戦でなくてその上それは義絶しない」ということは間違いなら賛成し難くない fact2: 「そのパッケージソフトウェアは総力戦でなくておまけに義絶するということはない」ということは嘘である
$facts$ = fact1: もし仮に「そのパッケージソフトウェアは総力戦でなくてその上それは義絶しない」ということは間違いなら賛成し難くない fact2: 「そのパッケージソフトウェアは総力戦でなくておまけに義絶するということはない」ということは嘘である ; $hypothesis$ = そのパッケージソフトウェアは賛成し難くない ; $proof$ = 
事実1: もし仮に「そのパッケージソフトウェアは総力戦でなくてその上それは義絶しない」ということは間違いなら賛成し難くない
事実2: 「そのパッケージソフトウェアは総力戦でなくておまけに義絶するということはない」ということは嘘である

仮説: そのパッケージソフトウェアは賛成し難くない