the nevirapine is not a Washington.
sent1: That the Jagger does theme nevirapine is not false. sent2: the tobogganist themes muskiness. sent3: the rope does not theme unoriginality if that the narco-state theme unoriginality and does not theme muskiness does not hold. sent4: if something that is a Washington themes Jagger then the rope themes unoriginality. sent5: something themes Jagger and/or it does theme unoriginality if it does not theme muskiness. sent6: if the rope is not a inflater and is a quinone then it does not theme muskiness. sent7: there exists something such that it is an eczema. sent8: The muskiness themes tobogganist. sent9: that the nevirapine does theme Jagger is not false.
void -> assump1: Let's assume that that the nevirapine is a Washington is not wrong.; assump1 & sent9 -> int1: the nevirapine is a Washington and it does theme Jagger.; int1 -> int2: there exists something such that it is a Washington and it themes Jagger.; int2 & sent4 -> int3: the rope themes unoriginality.; sent2 -> int4: something themes muskiness.;
the nevirapine is a Washington.
sent5 -> int5: the rope themes Jagger and/or it does theme unoriginality if it does not theme muskiness.;
$hypothesis$ = the nevirapine is not a Washington. ; $context$ = sent1: That the Jagger does theme nevirapine is not false. sent2: the tobogganist themes muskiness. sent3: the rope does not theme unoriginality if that the narco-state theme unoriginality and does not theme muskiness does not hold. sent4: if something that is a Washington themes Jagger then the rope themes unoriginality. sent5: something themes Jagger and/or it does theme unoriginality if it does not theme muskiness. sent6: if the rope is not a inflater and is a quinone then it does not theme muskiness. sent7: there exists something such that it is an eczema. sent8: The muskiness themes tobogganist. sent9: that the nevirapine does theme Jagger is not false. ; $proof$ = 
void -> assump1: Let's assume that that the nevirapine is a Washington is not wrong.; assump1 & sent9 -> int1: the nevirapine is a Washington and it does theme Jagger.; int1 -> int2: there exists something such that it is a Washington and it themes Jagger.; int2 & sent4 -> int3: the rope themes unoriginality.; sent2 -> int4: something themes muskiness.; __UNKNOWN__