the sari is traceable.
sent1: the subdivision is not traceable. sent2: if the calk is a kind of a testiness then the fact that the hearse is a houseguest is not false. sent3: something that is a kind of a houseguest is biocatalytic. sent4: the hearse is nidicolous. sent5: if the sari is not a Liberian that it is not a houseguest and not biocatalytic is wrong. sent6: the subdivision is biocatalytic if it schools malaise. sent7: the subdivision strangulates evening-snow. sent8: the subdivision does not strangulate trademark and/or it is nidicolous. sent9: that the sari is not boronic is right if the subdivision is a kind of a testiness that is not traceable. sent10: the subdivision does school malaise but it is not a lobe if the sari is untraceable. sent11: if something schools malaise and is not a kind of a lobe then the calk is a testiness. sent12: if the hearse is Liberian then that the calk is not biocatalytic is not right. sent13: something that is a kind of Liberian thing that is nidicolous is not biocatalytic. sent14: if the hearse is not a testiness then the calk is not a Liberian. sent15: if something is traceable and it is a kind of a lobe it is not biocatalytic. sent16: the subdivision is a kind of a penetrator. sent17: if the subdivision is not a houseguest that it is not a testiness but traceable is wrong. sent18: the hearse is a Liberian. sent19: if either the subdivision does not strangulate trademark or it is nidicolous or both it is a testiness.
void -> assump1: Let's assume that the sari is not traceable.; sent10 & assump1 -> int1: the subdivision does school malaise and is not a lobe.; int1 -> int2: there exists something such that it does school malaise and it is not a lobe.; int2 & sent11 -> int3: the calk is a testiness.; int3 & sent2 -> int4: the hearse is a houseguest.; sent3 -> int5: if the hearse is a houseguest that it is biocatalytic is not wrong.; int4 & int5 -> int6: the hearse is biocatalytic.; sent13 -> int7: if the hearse is Liberian and nidicolous it is not biocatalytic.; sent18 & sent4 -> int8: the hearse is a kind of a Liberian and it is nidicolous.; int7 & int8 -> int9: the hearse is not biocatalytic.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
something is a typewriter that is not boronic.
sent8 & sent19 -> int11: the subdivision is a testiness.; int11 & sent1 -> int12: the subdivision is a kind of a testiness and is untraceable.; int12 & sent9 -> int13: the sari is not boronic.;
$hypothesis$ = the sari is traceable. ; $context$ = sent1: the subdivision is not traceable. sent2: if the calk is a kind of a testiness then the fact that the hearse is a houseguest is not false. sent3: something that is a kind of a houseguest is biocatalytic. sent4: the hearse is nidicolous. sent5: if the sari is not a Liberian that it is not a houseguest and not biocatalytic is wrong. sent6: the subdivision is biocatalytic if it schools malaise. sent7: the subdivision strangulates evening-snow. sent8: the subdivision does not strangulate trademark and/or it is nidicolous. sent9: that the sari is not boronic is right if the subdivision is a kind of a testiness that is not traceable. sent10: the subdivision does school malaise but it is not a lobe if the sari is untraceable. sent11: if something schools malaise and is not a kind of a lobe then the calk is a testiness. sent12: if the hearse is Liberian then that the calk is not biocatalytic is not right. sent13: something that is a kind of Liberian thing that is nidicolous is not biocatalytic. sent14: if the hearse is not a testiness then the calk is not a Liberian. sent15: if something is traceable and it is a kind of a lobe it is not biocatalytic. sent16: the subdivision is a kind of a penetrator. sent17: if the subdivision is not a houseguest that it is not a testiness but traceable is wrong. sent18: the hearse is a Liberian. sent19: if either the subdivision does not strangulate trademark or it is nidicolous or both it is a testiness. ; $proof$ = 
void -> assump1: Let's assume that the sari is not traceable.; sent10 & assump1 -> int1: the subdivision does school malaise and is not a lobe.; int1 -> int2: there exists something such that it does school malaise and it is not a lobe.; int2 & sent11 -> int3: the calk is a testiness.; int3 & sent2 -> int4: the hearse is a houseguest.; sent3 -> int5: if the hearse is a houseguest that it is biocatalytic is not wrong.; int4 & int5 -> int6: the hearse is biocatalytic.; sent13 -> int7: if the hearse is Liberian and nidicolous it is not biocatalytic.; sent18 & sent4 -> int8: the hearse is a kind of a Liberian and it is nidicolous.; int7 & int8 -> int9: the hearse is not biocatalytic.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__