the broadbill is a shoji.
sent1: the broadbill is a kind of a shoji and is a good.
sent1 -> hypothesis;
$hypothesis$ = the broadbill is a shoji. ; $context$ = sent1: the broadbill is a kind of a shoji and is a good. ; $proof$ = 
sent1 -> hypothesis; __PROVED__