the lowerclassman is not a matador and is a Sirius if the Apostle is a GCA.
sent1: if the basil is a kind of a Sirius that the defoliant is not nonreturnable but it is a Plautus is false. sent2: if the Apostle is an exponential then it is non-syphilitic thing that is not a kind of a Nepalese. sent3: the lowerclassman is a matador and is a Sirius. sent4: the Apostle is an exponential if the fact that the defoliant is not nonreturnable but it is a Plautus is not correct. sent5: that something is not a kind of a Nepalese but it is a Sirius is false if it is not a syphilitic. sent6: if there is something such that it is not a matador and is not a GCA the millboard is not a syphilitic. sent7: if the basil is not a Sirius the lowerclassman is not a kind of a matador and is a Sirius. sent8: if the Apostle is not a kind of a syphilitic and it is not a kind of a Nepalese then it is not a kind of a GCA. sent9: if the fact that something is a kind of non-Nepalese thing that is a kind of a Sirius is incorrect it is an exponential.
void -> assump1: Let's assume that the basil is a Sirius.; sent1 & assump1 -> int1: that the defoliant is a kind of non-nonreturnable thing that is a kind of a Plautus is not correct.; int1 & sent4 -> int2: the Apostle is an exponential.; int2 & sent2 -> int3: the Apostle is not a syphilitic and it is not Nepalese.; int3 & sent8 -> int4: the Apostle is not a GCA.; void -> assump2: Let's assume that the Apostle is a GCA.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the basil is not a kind of a Sirius.; int6 & sent7 -> int7: the lowerclassman is both not a matador and a Sirius.; [assump2] & int7 -> hypothesis;
the millboard is exponential.
sent9 -> int8: if the fact that the millboard is non-Nepalese thing that is a Sirius is not right it is a kind of an exponential.; sent5 -> int9: that the millboard is not Nepalese but it is a Sirius is wrong if it is not a syphilitic.;
$hypothesis$ = the lowerclassman is not a matador and is a Sirius if the Apostle is a GCA. ; $context$ = sent1: if the basil is a kind of a Sirius that the defoliant is not nonreturnable but it is a Plautus is false. sent2: if the Apostle is an exponential then it is non-syphilitic thing that is not a kind of a Nepalese. sent3: the lowerclassman is a matador and is a Sirius. sent4: the Apostle is an exponential if the fact that the defoliant is not nonreturnable but it is a Plautus is not correct. sent5: that something is not a kind of a Nepalese but it is a Sirius is false if it is not a syphilitic. sent6: if there is something such that it is not a matador and is not a GCA the millboard is not a syphilitic. sent7: if the basil is not a Sirius the lowerclassman is not a kind of a matador and is a Sirius. sent8: if the Apostle is not a kind of a syphilitic and it is not a kind of a Nepalese then it is not a kind of a GCA. sent9: if the fact that something is a kind of non-Nepalese thing that is a kind of a Sirius is incorrect it is an exponential. ; $proof$ = 
void -> assump1: Let's assume that the basil is a Sirius.; sent1 & assump1 -> int1: that the defoliant is a kind of non-nonreturnable thing that is a kind of a Plautus is not correct.; int1 & sent4 -> int2: the Apostle is an exponential.; int2 & sent2 -> int3: the Apostle is not a syphilitic and it is not Nepalese.; int3 & sent8 -> int4: the Apostle is not a GCA.; void -> assump2: Let's assume that the Apostle is a GCA.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the basil is not a kind of a Sirius.; int6 & sent7 -> int7: the lowerclassman is both not a matador and a Sirius.; [assump2] & int7 -> hypothesis; __PROVED__