あの大石は大貴族達でないなら「ＡＤＲであるしかつそれは確認する」ということは嘘である
fact1: なにかは大貴族達でないとすると「それはＡＤＲだし確認する」ということは本当でない
$facts$ = fact1: なにかは大貴族達でないとすると「それはＡＤＲだし確認する」ということは本当でない ; $hypothesis$ = あの大石は大貴族達でないなら「ＡＤＲであるしかつそれは確認する」ということは嘘である ; $proof$ = 
事実1: なにかは大貴族達でないとすると「それはＡＤＲだし確認する」ということは本当でない

仮説: あの大石は大貴族達でないなら「ＡＤＲであるしかつそれは確認する」ということは嘘である