the skinny-dipper is a kind of a beauty.
sent1: something that is a bullfrog and not reasonable is monetary. sent2: the skinny-dipper is not counterclockwise if the fact that the fact that it is a kind of a drumhead that does not age milliradian hold is not correct. sent3: the fact that the fact that the skinny-dipper is a drumhead that does not age milliradian is not true is not false. sent4: something is a beauty if it is monetary. sent5: if that something is both legless and not a background does not hold it is not fluvial.
void -> assump1: Let's assume that that the skinny-dipper is both a bullfrog and not reasonable is not correct.; sent2 & sent3 -> int1: the skinny-dipper is not counterclockwise.; sent1 -> int2: the skinny-dipper is monetary if it is a kind of a bullfrog that is not reasonable.; sent4 -> int3: if the skinny-dipper is monetary then it is a kind of a beauty.;
if that the skinny-dipper is legless but it does not background is not correct the fact that it is fluvial does not hold.
sent5 -> hypothesis;
$hypothesis$ = the skinny-dipper is a kind of a beauty. ; $context$ = sent1: something that is a bullfrog and not reasonable is monetary. sent2: the skinny-dipper is not counterclockwise if the fact that the fact that it is a kind of a drumhead that does not age milliradian hold is not correct. sent3: the fact that the fact that the skinny-dipper is a drumhead that does not age milliradian is not true is not false. sent4: something is a beauty if it is monetary. sent5: if that something is both legless and not a background does not hold it is not fluvial. ; $proof$ = 
void -> assump1: Let's assume that that the skinny-dipper is both a bullfrog and not reasonable is not correct.; sent2 & sent3 -> int1: the skinny-dipper is not counterclockwise.; sent1 -> int2: the skinny-dipper is monetary if it is a kind of a bullfrog that is not reasonable.; sent4 -> int3: if the skinny-dipper is monetary then it is a kind of a beauty.; __UNKNOWN__