the matriculate tinsels matriculate but it is not a senator.
sent1: if the matriculate does brief drunk-and-disorderly then it is diocesan. sent2: the guillemot is not a kind of a senator. sent3: The drunk-and-disorderly does brief matriculate. sent4: the matriculate does brief drunk-and-disorderly.
void -> assump1: Let's assume that that the matriculate does tinsel matriculate but it is not a senator is incorrect.; sent1 & sent4 -> int1: the matriculate is a diocesan.;
$hypothesis$ = the matriculate tinsels matriculate but it is not a senator. ; $context$ = sent1: if the matriculate does brief drunk-and-disorderly then it is diocesan. sent2: the guillemot is not a kind of a senator. sent3: The drunk-and-disorderly does brief matriculate. sent4: the matriculate does brief drunk-and-disorderly. ; $proof$ = 
void -> assump1: Let's assume that that the matriculate does tinsel matriculate but it is not a senator is incorrect.; sent1 & sent4 -> int1: the matriculate is a diocesan.; __UNKNOWN__