「「もし「プレムダンでない一方でシャオジェだ」ということは誤りであるとすれば評言である」ものはある」ということは嘘だ
fact1: 「「このマニュアル通りはプレムダンであるということはないがしかしそれはシャオジェだ」ということは確かである」ということは間違いだとすれば評言である
$facts$ = fact1: 「「このマニュアル通りはプレムダンであるということはないがしかしそれはシャオジェだ」ということは確かである」ということは間違いだとすれば評言である ; $hypothesis$ = 「「もし「プレムダンでない一方でシャオジェだ」ということは誤りであるとすれば評言である」ものはある」ということは嘘だ ; $proof$ = 
事実1: 「「このマニュアル通りはプレムダンであるということはないがしかしそれはシャオジェだ」ということは確かである」ということは間違いだとすれば評言である

仮説: 「「もし「プレムダンでない一方でシャオジェだ」ということは誤りであるとすれば評言である」ものはある」ということは嘘だ