the trichopteran is a demimonde.
sent1: the sushi does not satisfy and is a demimonde if the trichopteran is upmarket. sent2: the fact that something is both not a demimonde and upmarket is not correct if that it is scotomatous is not right. sent3: if the fact that the grantee does not subject officiation is right then it is not scotomatous and it is not a Gjellerup. sent4: the fact that the profiterole is a kind of upmarket thing that is not a Gjellerup is correct if the grantee is not upmarket. sent5: if something that does not subject officiation is not destructible the profiterole is scotomatous. sent6: that the trichopteran is not a pollutant and does satisfy is incorrect if it is a demimonde. sent7: the retreatant does not subject officiation. sent8: The officiation does not subject retreatant. sent9: if something is upmarket but it is not a Gjellerup then it is not scotomatous. sent10: the retreatant is not destructible if the hansom is not a demander and it is not destructible. sent11: the grantee is non-upmarket if that that the trichopteran is not a pollutant but it satisfies is not correct is true. sent12: the hansom is not a demander and it is not destructible.
void -> assump1: Let's assume that the trichopteran is a demimonde.; sent6 & assump1 -> int1: the fact that the trichopteran is not a kind of a pollutant and does satisfy is not correct.; int1 & sent11 -> int2: the grantee is not upmarket.; int2 & sent4 -> int3: the profiterole is upmarket but it is not a Gjellerup.; sent9 -> int4: the profiterole is not scotomatous if it is upmarket and not a Gjellerup.; int3 & int4 -> int5: the profiterole is not scotomatous.; sent10 & sent12 -> int6: the retreatant is not destructible.; sent7 & int6 -> int7: the retreatant does not subject officiation and is not destructible.; int7 -> int8: there is something such that it does not subject officiation and is not destructible.; int8 & sent5 -> int9: the profiterole is scotomatous.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the trichopteran is a demimonde.
sent2 -> int11: that the grantee is not a kind of a demimonde but it is upmarket does not hold if it is not scotomatous.;
$hypothesis$ = the trichopteran is a demimonde. ; $context$ = sent1: the sushi does not satisfy and is a demimonde if the trichopteran is upmarket. sent2: the fact that something is both not a demimonde and upmarket is not correct if that it is scotomatous is not right. sent3: if the fact that the grantee does not subject officiation is right then it is not scotomatous and it is not a Gjellerup. sent4: the fact that the profiterole is a kind of upmarket thing that is not a Gjellerup is correct if the grantee is not upmarket. sent5: if something that does not subject officiation is not destructible the profiterole is scotomatous. sent6: that the trichopteran is not a pollutant and does satisfy is incorrect if it is a demimonde. sent7: the retreatant does not subject officiation. sent8: The officiation does not subject retreatant. sent9: if something is upmarket but it is not a Gjellerup then it is not scotomatous. sent10: the retreatant is not destructible if the hansom is not a demander and it is not destructible. sent11: the grantee is non-upmarket if that that the trichopteran is not a pollutant but it satisfies is not correct is true. sent12: the hansom is not a demander and it is not destructible. ; $proof$ = 
void -> assump1: Let's assume that the trichopteran is a demimonde.; sent6 & assump1 -> int1: the fact that the trichopteran is not a kind of a pollutant and does satisfy is not correct.; int1 & sent11 -> int2: the grantee is not upmarket.; int2 & sent4 -> int3: the profiterole is upmarket but it is not a Gjellerup.; sent9 -> int4: the profiterole is not scotomatous if it is upmarket and not a Gjellerup.; int3 & int4 -> int5: the profiterole is not scotomatous.; sent10 & sent12 -> int6: the retreatant is not destructible.; sent7 & int6 -> int7: the retreatant does not subject officiation and is not destructible.; int7 -> int8: there is something such that it does not subject officiation and is not destructible.; int8 & sent5 -> int9: the profiterole is scotomatous.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__