if the tutu is not a kind of a jointed either the blackcap does not top phosphocreatine or it is not non-round or both.
sent1: the blackcap tops phosphocreatine and/or it is round. sent2: if the takin is not attractive but it is not non-pro-choice the molester is unmown. sent3: there is something such that it does malt outcaste. sent4: if the tutu does not joint either the blackcap does top phosphocreatine or it does round or both. sent5: something is Soviet. sent6: if the tutu is not a jointed the takin is not attractive. sent7: the molester is Soviet and/or it does not exclude if there exists something such that it malts outcaste. sent8: if there exists something such that it is unmown and it is Soviet then the phosphocreatine is an attribute. sent9: the takin is both not attractive and pro-choice if the tutu is not a kind of a jointed. sent10: that the molester is unmown hold if the takin is attractive and it is pro-choice. sent11: the takin is not attractive but pro-choice if the tutu is not non-jointed. sent12: if the phosphocreatine is an attribute then the blackcap does not top phosphocreatine and/or is a round. sent13: if something is a kind of an attribute it is a dacryon. sent14: the blackcap does top phosphocreatine and/or it does round if the phosphocreatine is a kind of an attribute. sent15: there are pro-choice things. sent16: that something is unmown is true. sent17: something that is not unmown is Soviet and is jointed. sent18: the blackcap does not top phosphocreatine and/or it is round if the tutu is a kind of a jointed. sent19: if something is Soviet and/or does not exclude the fact that it is Soviet hold. sent20: the takin is not attractive. sent21: the alehouse is not unmown. sent22: either the phosphocreatine does not joint or it tops phosphocreatine or both if the blackcap is an attribute.
void -> assump1: Let's assume that the tutu is not a jointed.; sent9 & assump1 -> int1: the takin is a kind of unattractive thing that is not non-pro-choice.; int1 & sent2 -> int2: the molester is unmown.; sent19 -> int3: if the molester either is Soviet or does not exclude or both it is Soviet.; sent3 & sent7 -> int4: either the molester is not non-Soviet or it does not exclude or both.; int3 & int4 -> int5: the molester is Soviet.; int2 & int5 -> int6: the molester is unmown and is Soviet.; int6 -> int7: there is something such that it is unmown and is Soviet.; int7 & sent8 -> int8: the phosphocreatine is a kind of an attribute.; int8 & sent12 -> int9: that the blackcap does not top phosphocreatine and/or it is a round is true.; [assump1] & int9 -> hypothesis;
the alehouse is a dacryon that is Soviet.
sent17 -> int10: the alehouse is Soviet and does joint if that it is not unmown is not false.; sent21 & int10 -> int11: the alehouse is Soviet and it is jointed.; int11 -> int12: the alehouse is Soviet.; sent13 -> int13: if the fact that the tutu is an attribute is not incorrect that it is a kind of a dacryon is true.;
$hypothesis$ = if the tutu is not a kind of a jointed either the blackcap does not top phosphocreatine or it is not non-round or both. ; $context$ = sent1: the blackcap tops phosphocreatine and/or it is round. sent2: if the takin is not attractive but it is not non-pro-choice the molester is unmown. sent3: there is something such that it does malt outcaste. sent4: if the tutu does not joint either the blackcap does top phosphocreatine or it does round or both. sent5: something is Soviet. sent6: if the tutu is not a jointed the takin is not attractive. sent7: the molester is Soviet and/or it does not exclude if there exists something such that it malts outcaste. sent8: if there exists something such that it is unmown and it is Soviet then the phosphocreatine is an attribute. sent9: the takin is both not attractive and pro-choice if the tutu is not a kind of a jointed. sent10: that the molester is unmown hold if the takin is attractive and it is pro-choice. sent11: the takin is not attractive but pro-choice if the tutu is not non-jointed. sent12: if the phosphocreatine is an attribute then the blackcap does not top phosphocreatine and/or is a round. sent13: if something is a kind of an attribute it is a dacryon. sent14: the blackcap does top phosphocreatine and/or it does round if the phosphocreatine is a kind of an attribute. sent15: there are pro-choice things. sent16: that something is unmown is true. sent17: something that is not unmown is Soviet and is jointed. sent18: the blackcap does not top phosphocreatine and/or it is round if the tutu is a kind of a jointed. sent19: if something is Soviet and/or does not exclude the fact that it is Soviet hold. sent20: the takin is not attractive. sent21: the alehouse is not unmown. sent22: either the phosphocreatine does not joint or it tops phosphocreatine or both if the blackcap is an attribute. ; $proof$ = 
void -> assump1: Let's assume that the tutu is not a jointed.; sent9 & assump1 -> int1: the takin is a kind of unattractive thing that is not non-pro-choice.; int1 & sent2 -> int2: the molester is unmown.; sent19 -> int3: if the molester either is Soviet or does not exclude or both it is Soviet.; sent3 & sent7 -> int4: either the molester is not non-Soviet or it does not exclude or both.; int3 & int4 -> int5: the molester is Soviet.; int2 & int5 -> int6: the molester is unmown and is Soviet.; int6 -> int7: there is something such that it is unmown and is Soviet.; int7 & sent8 -> int8: the phosphocreatine is a kind of an attribute.; int8 & sent12 -> int9: that the blackcap does not top phosphocreatine and/or it is a round is true.; [assump1] & int9 -> hypothesis; __PROVED__