the fore-and-after is a kind of a Custer but it is not a lined.
sent1: if something is a kind of a melanin and/or it does doodle the schoolfriend is a patronymic. sent2: if the schoolfriend does not limp it does not perseverate lebensraum. sent3: that the schoolfriend perseverates lebensraum if the schoolfriend suggests fore-and-after hold. sent4: if the schoolfriend is patronymic then it does not limp. sent5: The fore-and-after suggests schoolfriend. sent6: if something is not a melanin then it is a kind of a Custer that is not a kind of a Taney. sent7: the schoolfriend suggests fore-and-after. sent8: the fact that if the fact that something does not doodle and is not a patronymic does not hold then it is a melanin hold. sent9: the stentor does not suggest stentor and is bathymetric. sent10: the fore-and-after is not a kind of a lined if the stentor does not suggest stentor and is bathymetric.
void -> assump1: Let's assume that the fore-and-after is a melanin.; assump1 -> int1: either the fore-and-after is a melanin or it doodles or both.; int1 -> int2: either something is a melanin or it doodles or both.; int2 & sent1 -> int3: the schoolfriend is patronymic.; int3 & sent4 -> int4: the schoolfriend does not limp.; int4 & sent2 -> int5: the schoolfriend does not perseverate lebensraum.; sent3 & sent7 -> int6: the schoolfriend perseverates lebensraum.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fore-and-after is not a melanin.; sent6 -> int9: the fore-and-after is a Custer but it is not a Taney if it is not a melanin.; int8 & int9 -> int10: the fore-and-after is a Custer but it is not a Taney.; int10 -> int11: the fore-and-after is a Custer.; sent10 & sent9 -> int12: the fore-and-after does not line.; int11 & int12 -> hypothesis;
the fact that the fore-and-after is a Custer but it is not a lined is not correct.
sent8 -> int13: if that that that the schoolfriend does not doodle and is not a patronymic is true is not true is correct then it is a melanin.;
$hypothesis$ = the fore-and-after is a kind of a Custer but it is not a lined. ; $context$ = sent1: if something is a kind of a melanin and/or it does doodle the schoolfriend is a patronymic. sent2: if the schoolfriend does not limp it does not perseverate lebensraum. sent3: that the schoolfriend perseverates lebensraum if the schoolfriend suggests fore-and-after hold. sent4: if the schoolfriend is patronymic then it does not limp. sent5: The fore-and-after suggests schoolfriend. sent6: if something is not a melanin then it is a kind of a Custer that is not a kind of a Taney. sent7: the schoolfriend suggests fore-and-after. sent8: the fact that if the fact that something does not doodle and is not a patronymic does not hold then it is a melanin hold. sent9: the stentor does not suggest stentor and is bathymetric. sent10: the fore-and-after is not a kind of a lined if the stentor does not suggest stentor and is bathymetric. ; $proof$ = 
void -> assump1: Let's assume that the fore-and-after is a melanin.; assump1 -> int1: either the fore-and-after is a melanin or it doodles or both.; int1 -> int2: either something is a melanin or it doodles or both.; int2 & sent1 -> int3: the schoolfriend is patronymic.; int3 & sent4 -> int4: the schoolfriend does not limp.; int4 & sent2 -> int5: the schoolfriend does not perseverate lebensraum.; sent3 & sent7 -> int6: the schoolfriend perseverates lebensraum.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fore-and-after is not a melanin.; sent6 -> int9: the fore-and-after is a Custer but it is not a Taney if it is not a melanin.; int8 & int9 -> int10: the fore-and-after is a Custer but it is not a Taney.; int10 -> int11: the fore-and-after is a Custer.; sent10 & sent9 -> int12: the fore-and-after does not line.; int11 & int12 -> hypothesis; __PROVED__