the fact that the liverwort is both a mythologization and prosthetic is not right.
sent1: the liverwort is a mythologization if it is not chylific and it does not malinger screwball. sent2: the staffer is not a intercostal if the fact that the liverwort bops devotion and is not Cambodian is incorrect. sent3: the betaine malingers screwball. sent4: the liverwort is prosthetic. sent5: the staffer is intercostal. sent6: if something does bop devotion and is not prosthetic then it does not malinger screwball. sent7: The screwball does not malinger liverwort. sent8: the liverwort is not chylific if it does bop devotion and is Cambodian. sent9: if something that does not malinger screwball is a intercostal then it is chylific. sent10: if something bops devotion and is a kind of a Cambodian then it is not chylific. sent11: the liverwort does not malinger screwball. sent12: the staffer is not a kind of a Cambodian. sent13: something is non-chylific if it bops devotion and it is not a Cambodian.
void -> assump1: Let's assume that the fact that the liverwort bops devotion but it is not a kind of a Cambodian is not correct.; sent2 & assump1 -> int1: that the staffer is not a kind of a intercostal is not false.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the liverwort does bop devotion and is not a Cambodian is correct.; sent13 -> int4: the liverwort is not chylific if it does bop devotion and is not a Cambodian.; int3 & int4 -> int5: the liverwort is not chylific.; int5 & sent11 -> int6: that the liverwort is not chylific and it does not malinger screwball is not false.; int6 & sent1 -> int7: the liverwort is a mythologization.; int7 & sent4 -> hypothesis;
the fact that the liverwort is a mythologization and it is prosthetic is wrong.
sent9 -> int8: the staffer is chylific if it does not malinger screwball and it is a intercostal.;
$hypothesis$ = the fact that the liverwort is both a mythologization and prosthetic is not right. ; $context$ = sent1: the liverwort is a mythologization if it is not chylific and it does not malinger screwball. sent2: the staffer is not a intercostal if the fact that the liverwort bops devotion and is not Cambodian is incorrect. sent3: the betaine malingers screwball. sent4: the liverwort is prosthetic. sent5: the staffer is intercostal. sent6: if something does bop devotion and is not prosthetic then it does not malinger screwball. sent7: The screwball does not malinger liverwort. sent8: the liverwort is not chylific if it does bop devotion and is Cambodian. sent9: if something that does not malinger screwball is a intercostal then it is chylific. sent10: if something bops devotion and is a kind of a Cambodian then it is not chylific. sent11: the liverwort does not malinger screwball. sent12: the staffer is not a kind of a Cambodian. sent13: something is non-chylific if it bops devotion and it is not a Cambodian. ; $proof$ = 
void -> assump1: Let's assume that the fact that the liverwort bops devotion but it is not a kind of a Cambodian is not correct.; sent2 & assump1 -> int1: that the staffer is not a kind of a intercostal is not false.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the liverwort does bop devotion and is not a Cambodian is correct.; sent13 -> int4: the liverwort is not chylific if it does bop devotion and is not a Cambodian.; int3 & int4 -> int5: the liverwort is not chylific.; int5 & sent11 -> int6: that the liverwort is not chylific and it does not malinger screwball is not false.; int6 & sent1 -> int7: the liverwort is a mythologization.; int7 & sent4 -> hypothesis; __DISPROVED__