その物体Ａは御戻りに成る
fact1: その物体Ａは未練がましかない fact2: もし「その物体Ａが未練はましくらない」ということは本当であるとしたら御戻りに成らない
$facts$ = fact1: その物体Ａは未練がましかない fact2: もし「その物体Ａが未練はましくらない」ということは本当であるとしたら御戻りに成らない ; $hypothesis$ = その物体Ａは御戻りに成る ; $proof$ = 
事実1: その物体Ａは未練がましかない
事実2: もし「その物体Ａが未練はましくらない」ということは本当であるとしたら御戻りに成らない

仮説: その物体Ａは御戻りに成る