the pierid is a theophany if the rent is multidimensional.
sent1: the rent is a Ataturk. sent2: that the pierid is a theophany is correct if it is a sunbonnet. sent3: if the rightist is not a window and/or it is not a sunbonnet then the pierid is a theophany. sent4: the pierid is a theophany if the rightist is not a kind of a sunbonnet. sent5: the rightist is not a sunbonnet or it is a kind of a theophany or both. sent6: the rent is not a window if the rightist attends and is not a sunbonnet. sent7: the rent either is not a sunbonnet or attends or both. sent8: the pierid is a Ataturk and is not a curvaceousness. sent9: that if the rightist is not a kind of a sunbonnet and/or it does not attend the rent is a kind of a Ataturk is right. sent10: the rightist is not a Ataturk and/or it is a window. sent11: if the rent is multidimensional it is a Ataturk. sent12: either the rightist is not a kind of a window or it is a sunbonnet or both. sent13: the rightist is a debut. sent14: the rightist is a kind of a window and does not attend if it is multidimensional. sent15: if the rent is a Ataturk that does not attend then the rightist is not a window. sent16: if the rent is multidimensional then it is a Ataturk and it does not attend.
void -> assump1: Let's assume that the fact that the rent is multidimensional is not incorrect.; sent16 & assump1 -> int1: the rent is a Ataturk that does not attend.; sent15 & int1 -> int2: the rightist is not a window.; int2 -> int3: the rightist is not a kind of a window and/or it is not a sunbonnet.; sent3 & int3 -> int4: the pierid is a theophany.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the pierid is a theophany if the rent is multidimensional. ; $context$ = sent1: the rent is a Ataturk. sent2: that the pierid is a theophany is correct if it is a sunbonnet. sent3: if the rightist is not a window and/or it is not a sunbonnet then the pierid is a theophany. sent4: the pierid is a theophany if the rightist is not a kind of a sunbonnet. sent5: the rightist is not a sunbonnet or it is a kind of a theophany or both. sent6: the rent is not a window if the rightist attends and is not a sunbonnet. sent7: the rent either is not a sunbonnet or attends or both. sent8: the pierid is a Ataturk and is not a curvaceousness. sent9: that if the rightist is not a kind of a sunbonnet and/or it does not attend the rent is a kind of a Ataturk is right. sent10: the rightist is not a Ataturk and/or it is a window. sent11: if the rent is multidimensional it is a Ataturk. sent12: either the rightist is not a kind of a window or it is a sunbonnet or both. sent13: the rightist is a debut. sent14: the rightist is a kind of a window and does not attend if it is multidimensional. sent15: if the rent is a Ataturk that does not attend then the rightist is not a window. sent16: if the rent is multidimensional then it is a Ataturk and it does not attend. ; $proof$ = 
void -> assump1: Let's assume that the fact that the rent is multidimensional is not incorrect.; sent16 & assump1 -> int1: the rent is a Ataturk that does not attend.; sent15 & int1 -> int2: the rightist is not a window.; int2 -> int3: the rightist is not a kind of a window and/or it is not a sunbonnet.; sent3 & int3 -> int4: the pierid is a theophany.; [assump1] & int4 -> hypothesis; __PROVED__