that the votary is non-impartial thing that is a antheridium is not correct.
sent1: that the votary does not furlough rhodolite if the fact that the roughness is a werewolf is right is not false. sent2: the fact that the muzhik is an inch that is a kind of an atom is not true. sent3: the advancer is not a kind of a Jap. sent4: the roughness is not a lipoprotein and it is uncommunicative if the advancer is uncommunicative. sent5: if that the muzhik is an inch and not an atom does not hold the advancer is communicative. sent6: if the muzhik is a kind of a second-in-command that the fact that it is an inch and it is not an atom hold is not right. sent7: if the roughness is not a Jap the votary does not furlough rhodolite. sent8: if the roughness is not a kind of a lipoprotein it is either a werewolf or not a Jap or both. sent9: something is not impartial if the fact that it is not a lipoprotein but impartial does not hold. sent10: the fact that something is not impartial and is a antheridium is wrong if the fact that it does not furlough rhodolite is correct. sent11: that something is impartial thing that does furlough rhodolite does not hold if it is not a kind of a second-in-command. sent12: the muzhik is a second-in-command. sent13: the advancer is not uncommunicative if the muzhik is an atom.
sent6 & sent12 -> int1: the fact that that the muzhik is both an inch and not an atom is false hold.; int1 & sent5 -> int2: the advancer is communicative.; int2 & sent4 -> int3: the roughness is not a lipoprotein but uncommunicative.; int3 -> int4: the roughness is not a lipoprotein.; int4 & sent8 -> int5: the fact that the roughness is a kind of a werewolf and/or it is not a Jap is not incorrect.; int5 & sent1 & sent7 -> int6: the votary does not furlough rhodolite.; sent10 -> int7: if the votary does not furlough rhodolite the fact that it is non-impartial thing that is a antheridium is not right.; int6 & int7 -> hypothesis;
the votary is not impartial but it is a antheridium.
sent9 -> int8: the votary is not impartial if that it is not a kind of a lipoprotein and is impartial does not hold.;
$hypothesis$ = that the votary is non-impartial thing that is a antheridium is not correct. ; $context$ = sent1: that the votary does not furlough rhodolite if the fact that the roughness is a werewolf is right is not false. sent2: the fact that the muzhik is an inch that is a kind of an atom is not true. sent3: the advancer is not a kind of a Jap. sent4: the roughness is not a lipoprotein and it is uncommunicative if the advancer is uncommunicative. sent5: if that the muzhik is an inch and not an atom does not hold the advancer is communicative. sent6: if the muzhik is a kind of a second-in-command that the fact that it is an inch and it is not an atom hold is not right. sent7: if the roughness is not a Jap the votary does not furlough rhodolite. sent8: if the roughness is not a kind of a lipoprotein it is either a werewolf or not a Jap or both. sent9: something is not impartial if the fact that it is not a lipoprotein but impartial does not hold. sent10: the fact that something is not impartial and is a antheridium is wrong if the fact that it does not furlough rhodolite is correct. sent11: that something is impartial thing that does furlough rhodolite does not hold if it is not a kind of a second-in-command. sent12: the muzhik is a second-in-command. sent13: the advancer is not uncommunicative if the muzhik is an atom. ; $proof$ = 
sent6 & sent12 -> int1: the fact that that the muzhik is both an inch and not an atom is false hold.; int1 & sent5 -> int2: the advancer is communicative.; int2 & sent4 -> int3: the roughness is not a lipoprotein but uncommunicative.; int3 -> int4: the roughness is not a lipoprotein.; int4 & sent8 -> int5: the fact that the roughness is a kind of a werewolf and/or it is not a Jap is not incorrect.; int5 & sent1 & sent7 -> int6: the votary does not furlough rhodolite.; sent10 -> int7: if the votary does not furlough rhodolite the fact that it is non-impartial thing that is a antheridium is not right.; int6 & int7 -> hypothesis; __PROVED__