the lot is both a bubble and not a participle.
sent1: something does slope if it is a foliation. sent2: if the Pyrethrum bubbles then the tisane is not Gallic but it does nag Trotskyism. sent3: the fact that the lot does bubble but it is not a participle is wrong if the sharpie is not a foliation. sent4: if there is something such that that it is virile and slopes does not hold the swizzle is not a kind of a slopes. sent5: if there is something such that the fact that it is a foliation hold then the fact that the sharpie is anhydrous and Incan is not correct. sent6: if there exists something such that it is not a kind of a slope then the lot is a foliation and a financing. sent7: the lot is not a participle. sent8: if that the Pyrethrum is not a participle and is not virile is not right it is a kind of a bubble. sent9: that the curler is virile and it is a slope does not hold. sent10: that the Pyrethrum is not a participle and it is not virile is incorrect. sent11: something nags Trotskyism if it is Gallic. sent12: if there exists something such that it is not a kind of a foliation then that the sharpie is a kind of non-Gallic thing that does not finance is incorrect. sent13: if that the sharpie nags Trotskyism hold the lot does bubble.
sent1 -> int1: if the swizzle is a foliation then it slopes.; void -> assump1: Let's assume that the fact that the swizzle is a foliation is not false.; int1 & assump1 -> int2: the swizzle is a slope.; sent9 -> int3: there exists something such that that it is not non-virile and it does slope is not true.; int3 & sent4 -> int4: the fact that the swizzle is not a kind of a slope is not incorrect.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the swizzle is not a foliation.; int6 -> int7: there is something such that it is not a foliation.; int7 & sent12 -> int8: that the sharpie is non-Gallic thing that does not finance is not right.;
the fact that the lot is both a bubble and not a participle does not hold.
$hypothesis$ = the lot is both a bubble and not a participle. ; $context$ = sent1: something does slope if it is a foliation. sent2: if the Pyrethrum bubbles then the tisane is not Gallic but it does nag Trotskyism. sent3: the fact that the lot does bubble but it is not a participle is wrong if the sharpie is not a foliation. sent4: if there is something such that that it is virile and slopes does not hold the swizzle is not a kind of a slopes. sent5: if there is something such that the fact that it is a foliation hold then the fact that the sharpie is anhydrous and Incan is not correct. sent6: if there exists something such that it is not a kind of a slope then the lot is a foliation and a financing. sent7: the lot is not a participle. sent8: if that the Pyrethrum is not a participle and is not virile is not right it is a kind of a bubble. sent9: that the curler is virile and it is a slope does not hold. sent10: that the Pyrethrum is not a participle and it is not virile is incorrect. sent11: something nags Trotskyism if it is Gallic. sent12: if there exists something such that it is not a kind of a foliation then that the sharpie is a kind of non-Gallic thing that does not finance is incorrect. sent13: if that the sharpie nags Trotskyism hold the lot does bubble. ; $proof$ = 
sent1 -> int1: if the swizzle is a foliation then it slopes.; void -> assump1: Let's assume that the fact that the swizzle is a foliation is not false.; int1 & assump1 -> int2: the swizzle is a slope.; sent9 -> int3: there exists something such that that it is not non-virile and it does slope is not true.; int3 & sent4 -> int4: the fact that the swizzle is not a kind of a slope is not incorrect.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the swizzle is not a foliation.; int6 -> int7: there is something such that it is not a foliation.; int7 & sent12 -> int8: that the sharpie is non-Gallic thing that does not finance is not right.; __UNKNOWN__