the condominium is a kind of a schizanthus and it does encrust laterite.
sent1: if the fact that something is inconvenient hold it does not encrust infuriation and it does not reship. sent2: if there exists something such that the fact that it reships and is inconvenient does not hold then the microtome does not reships. sent3: if the fact that something does not encrust laterite is right then it does not encrust infuriation. sent4: if that something bedews gasmask and it reships does not hold then it does not bedews gasmask. sent5: if something is not ponderable or it is a kind of a cabochon or both the chokedamp is not a schizanthus. sent6: that if there exists something such that either it is ponderable or it encrusts infuriation or both the TRH does encrusts infuriation is not false. sent7: that the condominium does not encrust infuriation and does not encrust laterite is incorrect if the gasmask does not bedew gasmask. sent8: if the fact that the condominium does not reship and it is not inconvenient is not true then it does encrust laterite. sent9: if the fact that the TRH is not ponderable is right then it does not encrust infuriation. sent10: either the gasmask is ponderable or it encrusts infuriation or both. sent11: something bedews gasmask if it is not a transubstantiation and it is violent. sent12: there exists something such that the fact that it is not ponderable and/or it is a kind of a cabochon is true. sent13: if that something is not a kind of a transubstantiation but it is violent is wrong it does not encrust infuriation. sent14: the fact that the condominium does not reship and is not inconvenient is not correct. sent15: if the condominium does not encrust infuriation and does not reship then it does not bedew gasmask. sent16: the condominium is a schizanthus if the TRH bedews gasmask. sent17: if the chokedamp is not a schizanthus then that it does reship and it is inconvenient does not hold. sent18: if the fact that the condominium is ponderable is not wrong then it encrusts laterite.
sent13 -> int1: if that the TRH is not a kind of a transubstantiation but it is violent is wrong then it does not encrust infuriation.; void -> assump1: Let's assume that that the TRH is not a transubstantiation but it is violent does not hold.; int1 & assump1 -> int2: the TRH does not encrust infuriation.; sent10 -> int3: there is something such that it is ponderable and/or it does encrust infuriation.; int3 & sent6 -> int4: the TRH encrusts infuriation.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the TRH is not a transubstantiation but it is violent.; sent11 -> int7: if the TRH is not a kind of a transubstantiation but it is violent it does bedew gasmask.; int6 & int7 -> int8: the TRH does bedew gasmask.; int8 & sent16 -> int9: the condominium is a schizanthus.; sent8 & sent14 -> int10: the condominium does encrust laterite.; int9 & int10 -> hypothesis;
the fact that the condominium is a kind of a schizanthus and it encrusts laterite does not hold.
sent1 -> int11: the gasmask does not encrust infuriation and it does not reship if that it is not convenient is not wrong.;
$hypothesis$ = the condominium is a kind of a schizanthus and it does encrust laterite. ; $context$ = sent1: if the fact that something is inconvenient hold it does not encrust infuriation and it does not reship. sent2: if there exists something such that the fact that it reships and is inconvenient does not hold then the microtome does not reships. sent3: if the fact that something does not encrust laterite is right then it does not encrust infuriation. sent4: if that something bedews gasmask and it reships does not hold then it does not bedews gasmask. sent5: if something is not ponderable or it is a kind of a cabochon or both the chokedamp is not a schizanthus. sent6: that if there exists something such that either it is ponderable or it encrusts infuriation or both the TRH does encrusts infuriation is not false. sent7: that the condominium does not encrust infuriation and does not encrust laterite is incorrect if the gasmask does not bedew gasmask. sent8: if the fact that the condominium does not reship and it is not inconvenient is not true then it does encrust laterite. sent9: if the fact that the TRH is not ponderable is right then it does not encrust infuriation. sent10: either the gasmask is ponderable or it encrusts infuriation or both. sent11: something bedews gasmask if it is not a transubstantiation and it is violent. sent12: there exists something such that the fact that it is not ponderable and/or it is a kind of a cabochon is true. sent13: if that something is not a kind of a transubstantiation but it is violent is wrong it does not encrust infuriation. sent14: the fact that the condominium does not reship and is not inconvenient is not correct. sent15: if the condominium does not encrust infuriation and does not reship then it does not bedew gasmask. sent16: the condominium is a schizanthus if the TRH bedews gasmask. sent17: if the chokedamp is not a schizanthus then that it does reship and it is inconvenient does not hold. sent18: if the fact that the condominium is ponderable is not wrong then it encrusts laterite. ; $proof$ = 
sent13 -> int1: if that the TRH is not a kind of a transubstantiation but it is violent is wrong then it does not encrust infuriation.; void -> assump1: Let's assume that that the TRH is not a transubstantiation but it is violent does not hold.; int1 & assump1 -> int2: the TRH does not encrust infuriation.; sent10 -> int3: there is something such that it is ponderable and/or it does encrust infuriation.; int3 & sent6 -> int4: the TRH encrusts infuriation.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the TRH is not a transubstantiation but it is violent.; sent11 -> int7: if the TRH is not a kind of a transubstantiation but it is violent it does bedew gasmask.; int6 & int7 -> int8: the TRH does bedew gasmask.; int8 & sent16 -> int9: the condominium is a schizanthus.; sent8 & sent14 -> int10: the condominium does encrust laterite.; int9 & int10 -> hypothesis; __PROVED__