if the eclectic is a riel then that the penne is not simian but it is nonspatial is incorrect.
sent1: that the bismuth is not a Swietinia but a makeup is not true if the penne skirts. sent2: the fact that the bismuth is not a kind of a Swietinia but it is nonspatial is incorrect. sent3: if the bismuth is a riel that it is nonspatial and is a Swietinia is not right. sent4: the penne is not a simian but it is a Swietinia. sent5: the fact that the calcium-cyanamide does not skirt but it is a kind of a riel is incorrect. sent6: that the penne is a makeup if the calcium-cyanamide is a Swietinia is true. sent7: if the calcium-cyanamide is not a skirt or it is a Swietinia or both then that the penne is a makeup is right. sent8: the eclectic is not a riel if the bismuth is not a Swietinia. sent9: the endosperm is a kind of a skirt. sent10: the penne is not simian and is nonspatial if it is a kind of a makeup. sent11: if the calcium-cyanamide is a riel then the eclectic is not a Swietinia and/or it is a riel. sent12: the fact that the bismuth is not a kind of a skirt but it is a Swietinia is not correct. sent13: that the calcium-cyanamide is not a Swietinia and is a riel is wrong. sent14: the fact that the penne is non-simian thing that is nonspatial is incorrect if it is a kind of a makeup.
void -> assump1: Let's assume that the bismuth is not a Swietinia.; sent8 & assump1 -> int1: the eclectic is not a riel.; void -> assump2: Let's assume that the eclectic is a kind of a riel.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bismuth is a kind of a Swietinia.;
$hypothesis$ = if the eclectic is a riel then that the penne is not simian but it is nonspatial is incorrect. ; $context$ = sent1: that the bismuth is not a Swietinia but a makeup is not true if the penne skirts. sent2: the fact that the bismuth is not a kind of a Swietinia but it is nonspatial is incorrect. sent3: if the bismuth is a riel that it is nonspatial and is a Swietinia is not right. sent4: the penne is not a simian but it is a Swietinia. sent5: the fact that the calcium-cyanamide does not skirt but it is a kind of a riel is incorrect. sent6: that the penne is a makeup if the calcium-cyanamide is a Swietinia is true. sent7: if the calcium-cyanamide is not a skirt or it is a Swietinia or both then that the penne is a makeup is right. sent8: the eclectic is not a riel if the bismuth is not a Swietinia. sent9: the endosperm is a kind of a skirt. sent10: the penne is not simian and is nonspatial if it is a kind of a makeup. sent11: if the calcium-cyanamide is a riel then the eclectic is not a Swietinia and/or it is a riel. sent12: the fact that the bismuth is not a kind of a skirt but it is a Swietinia is not correct. sent13: that the calcium-cyanamide is not a Swietinia and is a riel is wrong. sent14: the fact that the penne is non-simian thing that is nonspatial is incorrect if it is a kind of a makeup. ; $proof$ = 
void -> assump1: Let's assume that the bismuth is not a Swietinia.; sent8 & assump1 -> int1: the eclectic is not a riel.; void -> assump2: Let's assume that the eclectic is a kind of a riel.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bismuth is a kind of a Swietinia.; __UNKNOWN__