either the sceneshifter is not mesic or it scouts static or both.
sent1: if the fact that something is sadomasochistic and/or is not a kind of a Byron is not true it does not consolidate virility. sent2: something does not pile but it is calligraphic if it is a kind of a depression. sent3: that either something is non-mesic or it scouts static or both does not hold if it does not consolidate virility. sent4: if the skeleton is not a koruna then either the sceneshifter is a Warwick or it is mesic or both. sent5: the sceneshifter is not unanimated if the skeleton is not a laparotomy and it is not a Colette. sent6: if the bravo is both not a pile and calligraphic the fact that the untouchable is calligraphic is not incorrect. sent7: the skeleton does not consolidate virility if the fact that the untouchable is not sadomasochistic and/or does not consolidate virility is wrong. sent8: the bravo is a depression if the fact that it is both not a depression and not a modeling is incorrect. sent9: the skeleton does consolidate virility if that it is not a koruna is not false. sent10: the fact that the skeleton is a Warwick but not non-sadomasochistic does not hold. sent11: the skeleton does not scout static. sent12: if something does animate the fact that it is sadomasochistic and/or it is not a Byron is not right. sent13: if the skeleton is not sadomasochistic either the untouchable is not a koruna or it scouts static or both. sent14: that either the untouchable is not sadomasochistic or it does not consolidate virility or both does not hold. sent15: if the fact that the skeleton is not a Warwick but it is a koruna is not right it consolidates virility. sent16: the sceneshifter is mesic and/or it scouts static. sent17: if the untouchable is calligraphic then the skeleton is not a laparotomy and is not a Colette.
void -> assump1: Let's assume that the fact that the skeleton is not a kind of a Warwick and is a kind of a koruna is wrong.; sent15 & assump1 -> int1: the skeleton consolidates virility.; sent7 & sent14 -> int2: the fact that the skeleton does not consolidate virility hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the skeleton is not a Warwick but it is a koruna.; int4 -> int5: the skeleton is not a Warwick.;
that either the sceneshifter is not mesic or it scouts static or both does not hold.
sent3 -> int6: the fact that the sceneshifter is not mesic or it does scout static or both is false if the fact that it does not consolidate virility is right.; sent1 -> int7: the sceneshifter does not consolidate virility if the fact that it is sadomasochistic and/or not a Byron is incorrect.; sent12 -> int8: the fact that that the sceneshifter is sadomasochistic or it is not a kind of a Byron or both is correct is false if it animates.; sent2 -> int9: the bravo is not a kind of a pile but it is calligraphic if it is a depression.;
$hypothesis$ = either the sceneshifter is not mesic or it scouts static or both. ; $context$ = sent1: if the fact that something is sadomasochistic and/or is not a kind of a Byron is not true it does not consolidate virility. sent2: something does not pile but it is calligraphic if it is a kind of a depression. sent3: that either something is non-mesic or it scouts static or both does not hold if it does not consolidate virility. sent4: if the skeleton is not a koruna then either the sceneshifter is a Warwick or it is mesic or both. sent5: the sceneshifter is not unanimated if the skeleton is not a laparotomy and it is not a Colette. sent6: if the bravo is both not a pile and calligraphic the fact that the untouchable is calligraphic is not incorrect. sent7: the skeleton does not consolidate virility if the fact that the untouchable is not sadomasochistic and/or does not consolidate virility is wrong. sent8: the bravo is a depression if the fact that it is both not a depression and not a modeling is incorrect. sent9: the skeleton does consolidate virility if that it is not a koruna is not false. sent10: the fact that the skeleton is a Warwick but not non-sadomasochistic does not hold. sent11: the skeleton does not scout static. sent12: if something does animate the fact that it is sadomasochistic and/or it is not a Byron is not right. sent13: if the skeleton is not sadomasochistic either the untouchable is not a koruna or it scouts static or both. sent14: that either the untouchable is not sadomasochistic or it does not consolidate virility or both does not hold. sent15: if the fact that the skeleton is not a Warwick but it is a koruna is not right it consolidates virility. sent16: the sceneshifter is mesic and/or it scouts static. sent17: if the untouchable is calligraphic then the skeleton is not a laparotomy and is not a Colette. ; $proof$ = 
void -> assump1: Let's assume that the fact that the skeleton is not a kind of a Warwick and is a kind of a koruna is wrong.; sent15 & assump1 -> int1: the skeleton consolidates virility.; sent7 & sent14 -> int2: the fact that the skeleton does not consolidate virility hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the skeleton is not a Warwick but it is a koruna.; int4 -> int5: the skeleton is not a Warwick.; __UNKNOWN__