the concentrate is not a girl and it is not diametric.
sent1: the sunfish is a nonresident if there exists something such that that it is expansionist and it does bathe directorate is not right. sent2: there exists nothing such that it is expansionist and does bathe directorate. sent3: if the fact that the blockhouse is a sadism is true then the langur does pinpoint. sent4: if the sunfish is a nonresident then the blockhouse is a sadism. sent5: if something is a kind of a pinpoint then it is a girl. sent6: if the langur is a girl then the concentrate is not a kind of a girl and it is non-diametric.
sent2 -> int1: that the upbraider is expansionist thing that bathes directorate does not hold.; int1 -> int2: there is something such that that it is expansionist and it bathes directorate is not true.; int2 & sent1 -> int3: the sunfish is a nonresident.; int3 & sent4 -> int4: the blockhouse is a kind of a sadism.; int4 & sent3 -> int5: that the langur pinpoints hold.; sent5 -> int6: the langur is a girl if it is a pinpoint.; int5 & int6 -> int7: that the langur is a girl hold.; int7 & sent6 -> hypothesis;
$hypothesis$ = the concentrate is not a girl and it is not diametric. ; $context$ = sent1: the sunfish is a nonresident if there exists something such that that it is expansionist and it does bathe directorate is not right. sent2: there exists nothing such that it is expansionist and does bathe directorate. sent3: if the fact that the blockhouse is a sadism is true then the langur does pinpoint. sent4: if the sunfish is a nonresident then the blockhouse is a sadism. sent5: if something is a kind of a pinpoint then it is a girl. sent6: if the langur is a girl then the concentrate is not a kind of a girl and it is non-diametric. ; $proof$ = 
sent2 -> int1: that the upbraider is expansionist thing that bathes directorate does not hold.; int1 -> int2: there is something such that that it is expansionist and it bathes directorate is not true.; int2 & sent1 -> int3: the sunfish is a nonresident.; int3 & sent4 -> int4: the blockhouse is a kind of a sadism.; int4 & sent3 -> int5: that the langur pinpoints hold.; sent5 -> int6: the langur is a girl if it is a pinpoint.; int5 & int6 -> int7: that the langur is a girl hold.; int7 & sent6 -> hypothesis; __PROVED__