「「もしも太り難いということはないとしたら出没しないかまたは歴史シリーズでないかどちらもである」物はある」ということは誤っている
fact1: 仮に「そのＭＬは太り難いということはない」ということは成り立てば「出没しないかまたは歴史シリーズでないかあるいは両方ともである」ということは確かである
$facts$ = fact1: 仮に「そのＭＬは太り難いということはない」ということは成り立てば「出没しないかまたは歴史シリーズでないかあるいは両方ともである」ということは確かである ; $hypothesis$ = 「「もしも太り難いということはないとしたら出没しないかまたは歴史シリーズでないかどちらもである」物はある」ということは誤っている ; $proof$ = 
事実1: 仮に「そのＭＬは太り難いということはない」ということは成り立てば「出没しないかまたは歴史シリーズでないかあるいは両方ともである」ということは確かである

仮説: 「「もしも太り難いということはないとしたら出没しないかまたは歴史シリーズでないかどちらもである」物はある」ということは誤っている