the fact that the filament is not asexual hold.
sent1: if there exists something such that it does not fuss then the fact that the caressing does divest and is not insubstantial is not right. sent2: the pegmatite is not artesian. sent3: if there is something such that the fact that it retouches sambar and is a kind of a pivot is not true the cambium does not retouches sambar. sent4: the wassail is not a Astor. sent5: if the filament is asexual then the petrolatum does not premise ferociousness but it does clangor overturn. sent6: if the caressing pivots that it does not divest and does not retouch sambar is false. sent7: the wassail is not a Astor but it is ventricular. sent8: if something does fuss then that it is a kind of non-insubstantial thing that is not asexual is not right. sent9: the book is not a kind of a miniature if the wassail is both not a Astor and ventricular. sent10: if something does not premise ferociousness but it does clangor overturn it is not a fuss. sent11: the fact that the book retouches sambar and is a pivot is false if it is not a miniature.
void -> assump1: Let's assume that the filament is not non-asexual.; sent5 & assump1 -> int1: the petrolatum does not premise ferociousness and clangors overturn.; sent10 -> int2: the petrolatum is not a fuss if it does not premise ferociousness and clangors overturn.; int1 & int2 -> int3: the petrolatum is not a kind of a fuss.; int3 -> int4: something is not a kind of a fuss.; int4 & sent1 -> int5: the fact that the caressing divests but it is not insubstantial is not correct.; sent9 & sent7 -> int6: the book is not a miniature.; sent11 & int6 -> int7: that the book does retouch sambar and is a pivot is not correct.; int7 -> int8: there is something such that that it does retouch sambar and it is a pivot is wrong.; int8 & sent3 -> int9: that the cambium does not retouch sambar is not wrong.;
the filament is asexual.
sent8 -> int10: if the petrolatum is a fuss the fact that it is substantial and it is not asexual does not hold.;
$hypothesis$ = the fact that the filament is not asexual hold. ; $context$ = sent1: if there exists something such that it does not fuss then the fact that the caressing does divest and is not insubstantial is not right. sent2: the pegmatite is not artesian. sent3: if there is something such that the fact that it retouches sambar and is a kind of a pivot is not true the cambium does not retouches sambar. sent4: the wassail is not a Astor. sent5: if the filament is asexual then the petrolatum does not premise ferociousness but it does clangor overturn. sent6: if the caressing pivots that it does not divest and does not retouch sambar is false. sent7: the wassail is not a Astor but it is ventricular. sent8: if something does fuss then that it is a kind of non-insubstantial thing that is not asexual is not right. sent9: the book is not a kind of a miniature if the wassail is both not a Astor and ventricular. sent10: if something does not premise ferociousness but it does clangor overturn it is not a fuss. sent11: the fact that the book retouches sambar and is a pivot is false if it is not a miniature. ; $proof$ = 
void -> assump1: Let's assume that the filament is not non-asexual.; sent5 & assump1 -> int1: the petrolatum does not premise ferociousness and clangors overturn.; sent10 -> int2: the petrolatum is not a fuss if it does not premise ferociousness and clangors overturn.; int1 & int2 -> int3: the petrolatum is not a kind of a fuss.; int3 -> int4: something is not a kind of a fuss.; int4 & sent1 -> int5: the fact that the caressing divests but it is not insubstantial is not correct.; sent9 & sent7 -> int6: the book is not a miniature.; sent11 & int6 -> int7: that the book does retouch sambar and is a pivot is not correct.; int7 -> int8: there is something such that that it does retouch sambar and it is a pivot is wrong.; int8 & sent3 -> int9: that the cambium does not retouch sambar is not wrong.; __UNKNOWN__