「「あの公共は戴冠しないかあるいは全身部であるということはない」ということは嘘だ」ということは事実と異ならない
fact1: 全ての物は戴冠しないかあるいは全身部でないかもしくはどちらもである
$facts$ = fact1: 全ての物は戴冠しないかあるいは全身部でないかもしくはどちらもである ; $hypothesis$ = 「「あの公共は戴冠しないかあるいは全身部であるということはない」ということは嘘だ」ということは事実と異ならない ; $proof$ = 
事実1: 全ての物は戴冠しないかあるいは全身部でないかもしくはどちらもである

仮説: 「「あの公共は戴冠しないかあるいは全身部であるということはない」ということは嘘だ」ということは事実と異ならない