the roly-poly is a Alecto and is not a Khachaturian.
sent1: if that something does snuff Girru is right it does let. sent2: the radon does not snuff timeline if the weigela is a let that is not a kind of an enthusiasm. sent3: if something does snuff Girru and is a Alecto the radon snuffs timeline. sent4: that the roly-poly does not snuff timeline if the fact that the whiting is an enthusiasm and it does snuff timeline is incorrect is not wrong. sent5: if the whiting is not a Alecto that the roly-poly is a Alecto but it is not a Khachaturian does not hold. sent6: The Girru snuffs whiting. sent7: the weigela is a kind of a let but it is not a kind of an enthusiasm if it is not biotypic. sent8: everything is not biotypic. sent9: the whiting snuffs Girru.
void -> assump1: Let's assume that the whiting is a Alecto.; sent9 & assump1 -> int1: the whiting snuffs Girru and is a Alecto.; int1 -> int2: there exists something such that that it snuffs Girru and is a Alecto hold.; int2 & sent3 -> int3: the radon snuffs timeline.; sent8 -> int4: the fact that the weigela is non-biotypic is true.; sent7 & int4 -> int5: the weigela lets but it is not an enthusiasm.; sent2 & int5 -> int6: the radon does not snuff timeline.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the whiting is not a kind of a Alecto.; int8 & sent5 -> hypothesis;
the roly-poly does let.
sent1 -> int9: the fact that if the roly-poly does snuff Girru the roly-poly is a let hold.;
$hypothesis$ = the roly-poly is a Alecto and is not a Khachaturian. ; $context$ = sent1: if that something does snuff Girru is right it does let. sent2: the radon does not snuff timeline if the weigela is a let that is not a kind of an enthusiasm. sent3: if something does snuff Girru and is a Alecto the radon snuffs timeline. sent4: that the roly-poly does not snuff timeline if the fact that the whiting is an enthusiasm and it does snuff timeline is incorrect is not wrong. sent5: if the whiting is not a Alecto that the roly-poly is a Alecto but it is not a Khachaturian does not hold. sent6: The Girru snuffs whiting. sent7: the weigela is a kind of a let but it is not a kind of an enthusiasm if it is not biotypic. sent8: everything is not biotypic. sent9: the whiting snuffs Girru. ; $proof$ = 
void -> assump1: Let's assume that the whiting is a Alecto.; sent9 & assump1 -> int1: the whiting snuffs Girru and is a Alecto.; int1 -> int2: there exists something such that that it snuffs Girru and is a Alecto hold.; int2 & sent3 -> int3: the radon snuffs timeline.; sent8 -> int4: the fact that the weigela is non-biotypic is true.; sent7 & int4 -> int5: the weigela lets but it is not an enthusiasm.; sent2 & int5 -> int6: the radon does not snuff timeline.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the whiting is not a kind of a Alecto.; int8 & sent5 -> hypothesis; __DISPROVED__