the trailer is Democratic.
sent1: something is a Q. sent2: the trailer is diatomic. sent3: if there exists something such that it is a Q then the trailer is a kind of a Isopyrum and it is diatomic. sent4: the mulatto is not Democratic. sent5: the fact that that the trailer is not the Haitian is not wrong if the trailer does bead celibacy is right. sent6: the trailer is not Democratic if that the Saxon is not a kind of a Q or it is Democratic or both is false. sent7: something is not Democratic or not a Isopyrum or both if it is not a Q. sent8: something is Democratic if it is not a Haitian. sent9: if the luminescence does not bead celibacy then the fact that the fact that the subdeacon is not diatomic but it is a Q is not right is not wrong.
sent1 & sent3 -> int1: the trailer is a Isopyrum and is diatomic.; int1 -> int2: the trailer is a Isopyrum.; int2 -> int3: the trailer is a kind of a Isopyrum and/or it does bead celibacy.; sent8 -> int4: if the fact that the trailer is not a Haitian is not wrong it is Democratic.;
the trailer is not Democratic.
$hypothesis$ = the trailer is Democratic. ; $context$ = sent1: something is a Q. sent2: the trailer is diatomic. sent3: if there exists something such that it is a Q then the trailer is a kind of a Isopyrum and it is diatomic. sent4: the mulatto is not Democratic. sent5: the fact that that the trailer is not the Haitian is not wrong if the trailer does bead celibacy is right. sent6: the trailer is not Democratic if that the Saxon is not a kind of a Q or it is Democratic or both is false. sent7: something is not Democratic or not a Isopyrum or both if it is not a Q. sent8: something is Democratic if it is not a Haitian. sent9: if the luminescence does not bead celibacy then the fact that the fact that the subdeacon is not diatomic but it is a Q is not right is not wrong. ; $proof$ = 
sent1 & sent3 -> int1: the trailer is a Isopyrum and is diatomic.; int1 -> int2: the trailer is a Isopyrum.; int2 -> int3: the trailer is a kind of a Isopyrum and/or it does bead celibacy.; sent8 -> int4: if the fact that the trailer is not a Haitian is not wrong it is Democratic.; __UNKNOWN__