「もし「この疑い有りは誇らしい一方でそれはペンタゴンでない」ということは間違いだとすれば「この疑い有りは比較し難くない」ということは成り立つ」ということは本当でない
fact1: もし「なんらかの物は誇らしいけどそれはペンタゴンでない」ということは誤っているとすれば「それは比較し難くない」ということは本当だ
$facts$ = fact1: もし「なんらかの物は誇らしいけどそれはペンタゴンでない」ということは誤っているとすれば「それは比較し難くない」ということは本当だ ; $hypothesis$ = 「もし「この疑い有りは誇らしい一方でそれはペンタゴンでない」ということは間違いだとすれば「この疑い有りは比較し難くない」ということは成り立つ」ということは本当でない ; $proof$ = 
事実1: もし「なんらかの物は誇らしいけどそれはペンタゴンでない」ということは誤っているとすれば「それは比較し難くない」ということは本当だ

仮説: 「もし「この疑い有りは誇らしい一方でそれはペンタゴンでない」ということは間違いだとすれば「この疑い有りは比較し難くない」ということは成り立つ」ということは本当でない