the fact that if the spiv is not a countersuit then the fact that the mamma is a kind of Anglophobic thing that traffics decker does not hold hold.
sent1: the fact that the mamma is Anglophobic thing that does traffic decker is false if the spiv is a kind of a countersuit. sent2: the chlorophyll is arbitrary. sent3: something is not a Courbet if either it is not a kind of a Courbet or it is not a countersuit or both. sent4: the spiv does not strip if it is not carbonaceous. sent5: the mamma is non-arbitrary thing that strings. sent6: if the spiv is both not a strip and not Anglophobic the mamma does not traffic decker. sent7: the fact that the chlorophyll does traffic decker and it is arbitrary is false if the spiv is not a strip. sent8: the fact that the mamma is a kind of Anglophobic thing that traffics decker is incorrect if the spiv is not a kind of a stead. sent9: if the spiv is not a countersuit and it does not strip the chlorophyll is not arbitrary. sent10: the spiv is not a strip if that it is not a stead but carbonaceous does not hold. sent11: if the spiv is not a stead then the mamma is Anglophobic and traffics decker. sent12: the mamma is a kind of Anglophobic thing that does traffic decker if the spiv is not a countersuit. sent13: the mamma is not a stead. sent14: the spiv is carbonaceous. sent15: the mamma is nonarbitrary.
void -> assump2: Let's assume that the fact that the spiv is both not a stead and carbonaceous is incorrect.; sent10 & assump2 -> int1: the spiv is not a kind of a strip.; void -> assump1: Let's assume that the spiv is not a countersuit.; int1 & assump1 -> int2: the spiv is not a kind of a countersuit and does not strip.; int2 & sent9 -> int3: the chlorophyll is not arbitrary.; int3 & sent2 -> int4: this is contradiction.; [assump2] & int4 -> int5: the spiv is not a kind of a stead but it is carbonaceous.; int5 -> int6: the spiv is not a stead.; int6 & sent8 -> int7: that the mamma is Anglophobic and it traffics decker does not hold.; [assump1] & int7 -> hypothesis;
the fact that the aftermath does not traffic decker and is a Courbet is not correct.
sent3 -> int8: if the spiv is not a Courbet or is not a countersuit or both it is not a Courbet.;
$hypothesis$ = the fact that if the spiv is not a countersuit then the fact that the mamma is a kind of Anglophobic thing that traffics decker does not hold hold. ; $context$ = sent1: the fact that the mamma is Anglophobic thing that does traffic decker is false if the spiv is a kind of a countersuit. sent2: the chlorophyll is arbitrary. sent3: something is not a Courbet if either it is not a kind of a Courbet or it is not a countersuit or both. sent4: the spiv does not strip if it is not carbonaceous. sent5: the mamma is non-arbitrary thing that strings. sent6: if the spiv is both not a strip and not Anglophobic the mamma does not traffic decker. sent7: the fact that the chlorophyll does traffic decker and it is arbitrary is false if the spiv is not a strip. sent8: the fact that the mamma is a kind of Anglophobic thing that traffics decker is incorrect if the spiv is not a kind of a stead. sent9: if the spiv is not a countersuit and it does not strip the chlorophyll is not arbitrary. sent10: the spiv is not a strip if that it is not a stead but carbonaceous does not hold. sent11: if the spiv is not a stead then the mamma is Anglophobic and traffics decker. sent12: the mamma is a kind of Anglophobic thing that does traffic decker if the spiv is not a countersuit. sent13: the mamma is not a stead. sent14: the spiv is carbonaceous. sent15: the mamma is nonarbitrary. ; $proof$ = 
void -> assump2: Let's assume that the fact that the spiv is both not a stead and carbonaceous is incorrect.; sent10 & assump2 -> int1: the spiv is not a kind of a strip.; void -> assump1: Let's assume that the spiv is not a countersuit.; int1 & assump1 -> int2: the spiv is not a kind of a countersuit and does not strip.; int2 & sent9 -> int3: the chlorophyll is not arbitrary.; int3 & sent2 -> int4: this is contradiction.; [assump2] & int4 -> int5: the spiv is not a kind of a stead but it is carbonaceous.; int5 -> int6: the spiv is not a stead.; int6 & sent8 -> int7: that the mamma is Anglophobic and it traffics decker does not hold.; [assump1] & int7 -> hypothesis; __PROVED__