「あの到達状況は根株でなくてまた偉くない」ということは嘘である
fact1: それは根株でなくて偉くないというものはない
$facts$ = fact1: それは根株でなくて偉くないというものはない ; $hypothesis$ = 「あの到達状況は根株でなくてまた偉くない」ということは嘘である ; $proof$ = 
事実1: それは根株でなくて偉くないというものはない

仮説: 「あの到達状況は根株でなくてまた偉くない」ということは嘘である