the sink does not nurse Kahlua.
sent1: there is something such that it does not overprint pasta. sent2: the anthology harbors. sent3: if the fact that the sink does not overprint pasta and is not a fluorescence is not correct it is illative. sent4: if something does harbor then it is illative. sent5: if something does not overprint pasta then that that the grackle is a fluorescence and it overprint pasta is true is not correct. sent6: if that the grackle is a kind of a fluorescence and it overprints pasta is not correct then the flavin is not illative. sent7: there is something such that it overprints pasta. sent8: the sink does overprint pasta. sent9: the flavin is not illative if the grackle does not overprint pasta.
void -> assump1: Let's assume that the sink does nurse Kahlua.; sent4 -> int1: if the flavin is a kind of a harbor it is illative.; sent1 & sent5 -> int2: the fact that the grackle is a fluorescence and does overprint pasta is wrong.; sent6 & int2 -> int3: the flavin is not illative.;
the sink does nurse Kahlua.
$hypothesis$ = the sink does not nurse Kahlua. ; $context$ = sent1: there is something such that it does not overprint pasta. sent2: the anthology harbors. sent3: if the fact that the sink does not overprint pasta and is not a fluorescence is not correct it is illative. sent4: if something does harbor then it is illative. sent5: if something does not overprint pasta then that that the grackle is a fluorescence and it overprint pasta is true is not correct. sent6: if that the grackle is a kind of a fluorescence and it overprints pasta is not correct then the flavin is not illative. sent7: there is something such that it overprints pasta. sent8: the sink does overprint pasta. sent9: the flavin is not illative if the grackle does not overprint pasta. ; $proof$ = 
void -> assump1: Let's assume that the sink does nurse Kahlua.; sent4 -> int1: if the flavin is a kind of a harbor it is illative.; sent1 & sent5 -> int2: the fact that the grackle is a fluorescence and does overprint pasta is wrong.; sent6 & int2 -> int3: the flavin is not illative.; __UNKNOWN__