the master is not a Maundy.
sent1: the master is aeriferous. sent2: the master is non-anguine thing that is not a tape. sent3: the fact that the flower is not pemphigous hold. sent4: the master is branchy. sent5: the master is not incommutable. sent6: the source is branchy if the master is a kind of a Gilman. sent7: if the source is not pemphigous and it does not desquamate then it is not branchy. sent8: if something is not a kind of a Gilman it is a kind of a Maundy. sent9: if that the source is not an octet is not incorrect then it is branchy. sent10: the scuttle is not a Gilman. sent11: if the source is not non-pemphigous but it does not desquamate it is not branchy. sent12: that the neckpiece concretes hold if it is not branchy. sent13: the master is pemphigous. sent14: the master is a kind of an inside. sent15: if the source is not a kind of a Maundy and it is not branchy then that it is not pemphigous hold. sent16: the source is not a CEO. sent17: the source is not pemphigous and it does not desquamate. sent18: the source is not a kind of a familiar. sent19: the fact that the source is branchy and it is a Gilman does not hold if the subcontinent is not pemphigous. sent20: if the master is branchy the fact that the source is a kind of a Maundy is not false. sent21: the fact that the torch is not a Gilman is not false. sent22: the source is not pemphigous. sent23: the master is sinkable.
void -> assump1: Let's assume that the master is a kind of a Gilman.; sent6 & assump1 -> int1: the source is branchy.; sent7 & sent17 -> int2: the source is not branchy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the master is not a Gilman.; sent8 -> int5: if that the master is not a Gilman hold it is a Maundy.; int4 & int5 -> hypothesis;
the master is not a kind of a Maundy.
$hypothesis$ = the master is not a Maundy. ; $context$ = sent1: the master is aeriferous. sent2: the master is non-anguine thing that is not a tape. sent3: the fact that the flower is not pemphigous hold. sent4: the master is branchy. sent5: the master is not incommutable. sent6: the source is branchy if the master is a kind of a Gilman. sent7: if the source is not pemphigous and it does not desquamate then it is not branchy. sent8: if something is not a kind of a Gilman it is a kind of a Maundy. sent9: if that the source is not an octet is not incorrect then it is branchy. sent10: the scuttle is not a Gilman. sent11: if the source is not non-pemphigous but it does not desquamate it is not branchy. sent12: that the neckpiece concretes hold if it is not branchy. sent13: the master is pemphigous. sent14: the master is a kind of an inside. sent15: if the source is not a kind of a Maundy and it is not branchy then that it is not pemphigous hold. sent16: the source is not a CEO. sent17: the source is not pemphigous and it does not desquamate. sent18: the source is not a kind of a familiar. sent19: the fact that the source is branchy and it is a Gilman does not hold if the subcontinent is not pemphigous. sent20: if the master is branchy the fact that the source is a kind of a Maundy is not false. sent21: the fact that the torch is not a Gilman is not false. sent22: the source is not pemphigous. sent23: the master is sinkable. ; $proof$ = 
void -> assump1: Let's assume that the master is a kind of a Gilman.; sent6 & assump1 -> int1: the source is branchy.; sent7 & sent17 -> int2: the source is not branchy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the master is not a Gilman.; sent8 -> int5: if that the master is not a Gilman hold it is a Maundy.; int4 & int5 -> hypothesis; __DISPROVED__