the thymosin is a Skopje if the bramble greens.
sent1: that the thymosin is a kind of a Skopje that is a kind of a Dover is not right if it is not a OS. sent2: something is unexportable. sent3: if something is both greens and a shrink-wrap the thymosin is a Skopje. sent4: the fact that something is a shrink-wrap but it is not unexportable is incorrect if it is not pectineal. sent5: everything is non-pectineal. sent6: that the bramble is a shrink-wrap hold if something that advertises is unexportable. sent7: the dad is unexportable if the fact that the bramble is a kind of a shrink-wrap that is not unexportable does not hold. sent8: there is something such that it does advertise and it is not exportable. sent9: the thymosin is not a OS.
void -> assump1: Let's assume that the bramble is a kind of a greens.; sent8 & sent6 -> int1: the fact that the bramble is a shrink-wrap hold.; assump1 & int1 -> int2: the fact that the bramble does green and it is a shrink-wrap is not incorrect.; int2 -> int3: there is something such that it greens and it is a shrink-wrap.; int3 & sent3 -> int4: the thymosin is a Skopje.; [assump1] & int4 -> hypothesis;
the dad is unexportable and it falsifies bigheaded.
sent4 -> int5: if the attester is not pectineal then that it is a shrink-wrap but not unexportable is incorrect.; sent5 -> int6: the attester is not pectineal.; int5 & int6 -> int7: that the attester is a shrink-wrap that is not unexportable is not true.; int7 -> int8: there is nothing that is a shrink-wrap that is not unexportable.; int8 -> int9: that the bramble is a shrink-wrap and is not unexportable is wrong.; int9 & sent7 -> int10: the dad is unexportable.; sent1 & sent9 -> int11: the fact that the fact that the thymosin is a Skopje and it is a Dover is wrong hold.;
$hypothesis$ = the thymosin is a Skopje if the bramble greens. ; $context$ = sent1: that the thymosin is a kind of a Skopje that is a kind of a Dover is not right if it is not a OS. sent2: something is unexportable. sent3: if something is both greens and a shrink-wrap the thymosin is a Skopje. sent4: the fact that something is a shrink-wrap but it is not unexportable is incorrect if it is not pectineal. sent5: everything is non-pectineal. sent6: that the bramble is a shrink-wrap hold if something that advertises is unexportable. sent7: the dad is unexportable if the fact that the bramble is a kind of a shrink-wrap that is not unexportable does not hold. sent8: there is something such that it does advertise and it is not exportable. sent9: the thymosin is not a OS. ; $proof$ = 
void -> assump1: Let's assume that the bramble is a kind of a greens.; sent8 & sent6 -> int1: the fact that the bramble is a shrink-wrap hold.; assump1 & int1 -> int2: the fact that the bramble does green and it is a shrink-wrap is not incorrect.; int2 -> int3: there is something such that it greens and it is a shrink-wrap.; int3 & sent3 -> int4: the thymosin is a Skopje.; [assump1] & int4 -> hypothesis; __PROVED__