「そのデメ竹は着易い」ということは成り立つ
fact1: 「仮にそのデメ竹が勢至菩薩であるならばそのデメ竹は着易い」ということは事実である fact2: そのデメ竹は勢至菩薩だ
$facts$ = fact1: 「仮にそのデメ竹が勢至菩薩であるならばそのデメ竹は着易い」ということは事実である fact2: そのデメ竹は勢至菩薩だ ; $hypothesis$ = 「そのデメ竹は着易い」ということは成り立つ ; $proof$ = 
事実1: 「仮にそのデメ竹が勢至菩薩であるならばそのデメ竹は着易い」ということは事実である
事実2: そのデメ竹は勢至菩薩だ

仮説: 「そのデメ竹は着易い」ということは成り立つ