the fact that the vesicle is not Parthian but it is a kind of a paperboard is not true.
sent1: the fact that the amphitheater is a kind of a paperboard and it is a niblick is wrong. sent2: the fact that the sightseer is a kind of Sudanese thing that is not a kind of a Stizostedion is not correct if the vesicle is not Lithuanian. sent3: the vesicle is not a Sudanese if the sightseer is not a Sudanese or is a Stizostedion or both. sent4: the sightseer is a Sudanese but it is not a Stizostedion. sent5: if the sightseer does shelve it ropes quincentennial and is not a modernity. sent6: the swimmeret is Lithuanian and does not rope quincentennial if it is not a kind of a modernity. sent7: the sightseer shelves if it is an aversion. sent8: if something shelves and it is an aversion it is not a modernity. sent9: the sightseer is a kind of a Stizostedion if it ropes quincentennial. sent10: something is not a kind of a Sudanese and/or it is a Stizostedion if it is not a Lithuanian. sent11: if something is non-Parthian thing that is a paperboard then it is not Lithuanian. sent12: something is both not caprine and plantal if it is not a Sudanese. sent13: if the swimmeret is Lithuanian thing that does not rope quincentennial then the sightseer is not a kind of a Lithuanian.
sent11 -> int1: if the vesicle is not Parthian but a paperboard it is not a kind of a Lithuanian.; void -> assump1: Let's assume that the vesicle is not a kind of a Parthian but it is a paperboard.; int1 & assump1 -> int2: the vesicle is not a Lithuanian.; int2 & sent2 -> int3: the fact that the sightseer is not non-Sudanese and is not a Stizostedion is not right.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the vesicle is not Parthian but it is a paperboard.
sent10 -> int5: the sightseer is not a Sudanese or it is a kind of a Stizostedion or both if it is not Lithuanian.; sent8 -> int6: if the Negress shelves and is a kind of an aversion then it is not a modernity.;
$hypothesis$ = the fact that the vesicle is not Parthian but it is a kind of a paperboard is not true. ; $context$ = sent1: the fact that the amphitheater is a kind of a paperboard and it is a niblick is wrong. sent2: the fact that the sightseer is a kind of Sudanese thing that is not a kind of a Stizostedion is not correct if the vesicle is not Lithuanian. sent3: the vesicle is not a Sudanese if the sightseer is not a Sudanese or is a Stizostedion or both. sent4: the sightseer is a Sudanese but it is not a Stizostedion. sent5: if the sightseer does shelve it ropes quincentennial and is not a modernity. sent6: the swimmeret is Lithuanian and does not rope quincentennial if it is not a kind of a modernity. sent7: the sightseer shelves if it is an aversion. sent8: if something shelves and it is an aversion it is not a modernity. sent9: the sightseer is a kind of a Stizostedion if it ropes quincentennial. sent10: something is not a kind of a Sudanese and/or it is a Stizostedion if it is not a Lithuanian. sent11: if something is non-Parthian thing that is a paperboard then it is not Lithuanian. sent12: something is both not caprine and plantal if it is not a Sudanese. sent13: if the swimmeret is Lithuanian thing that does not rope quincentennial then the sightseer is not a kind of a Lithuanian. ; $proof$ = 
sent11 -> int1: if the vesicle is not Parthian but a paperboard it is not a kind of a Lithuanian.; void -> assump1: Let's assume that the vesicle is not a kind of a Parthian but it is a paperboard.; int1 & assump1 -> int2: the vesicle is not a Lithuanian.; int2 & sent2 -> int3: the fact that the sightseer is not non-Sudanese and is not a Stizostedion is not right.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__