the ice is thoughtless or it does divert or both.
sent1: the ice does divert if the fact that that the Sicilian is not unitary and does uplift telemetry is not right is not wrong. sent2: if the Sicilian does not uplift telemetry the ice does divert. sent3: if the fact that something is not a knit and it is not a pumpkin is wrong then that it is a knit hold. sent4: that something is non-unitary thing that uplifts telemetry is not right if it pets. sent5: the Sicilian is a sow. sent6: the Sicilian is a kind of a cultivation. sent7: that either something is thoughtless or it does divert or both is not correct if it does not uplift telemetry. sent8: if that the mutant does not blacken and/or it is a kind of a tiepin is not correct the Monophysite is a traveler. sent9: the tsetse is a taffrail if that the Sicilian is not a kind of a pet but it does divert is not right. sent10: if the tsetse is thoughtless and it is unitary then the Sicilian is a taffrail. sent11: the ice does not uplift telemetry if that the tsetse is not a pet and is non-unitary is not correct. sent12: either the Sicilian does pet or it is a kind of a taffrail or both. sent13: if the tsetse does not sow but it is a kind of a taffrail the Sicilian does pet. sent14: that the tsetse is not a knit but it pets is not true. sent15: the tsetse does not sow but it is a taffrail. sent16: that the tsetse does not pet and is not unitary is not correct if the Sicilian is a kind of a knit. sent17: that the Sicilian does not uplift telemetry and is thoughtless is false. sent18: the fact that that the mutant does not blacken and/or it is a tiepin is incorrect hold if it does not dwarf shamefacedness. sent19: the ice is a taffrail if the tsetse does not uplift telemetry but it does divert.
sent13 & sent15 -> int1: the Sicilian does pet.; sent4 -> int2: if the Sicilian is a pet that it is a kind of non-unitary thing that does uplift telemetry is not true.; int1 & int2 -> int3: the fact that the Sicilian is a kind of non-unitary thing that does uplift telemetry is not right.; int3 & sent1 -> int4: the ice does divert.; int4 -> hypothesis;
that the ice is thoughtless or does divert or both is not true.
sent7 -> int5: the fact that that either the ice is thoughtless or it diverts or both is incorrect hold if it does not uplift telemetry.; sent3 -> int6: if the fact that the Sicilian is not a knit and it is not a kind of a pumpkin is not true then it is a kind of a knit.;
$hypothesis$ = the ice is thoughtless or it does divert or both. ; $context$ = sent1: the ice does divert if the fact that that the Sicilian is not unitary and does uplift telemetry is not right is not wrong. sent2: if the Sicilian does not uplift telemetry the ice does divert. sent3: if the fact that something is not a knit and it is not a pumpkin is wrong then that it is a knit hold. sent4: that something is non-unitary thing that uplifts telemetry is not right if it pets. sent5: the Sicilian is a sow. sent6: the Sicilian is a kind of a cultivation. sent7: that either something is thoughtless or it does divert or both is not correct if it does not uplift telemetry. sent8: if that the mutant does not blacken and/or it is a kind of a tiepin is not correct the Monophysite is a traveler. sent9: the tsetse is a taffrail if that the Sicilian is not a kind of a pet but it does divert is not right. sent10: if the tsetse is thoughtless and it is unitary then the Sicilian is a taffrail. sent11: the ice does not uplift telemetry if that the tsetse is not a pet and is non-unitary is not correct. sent12: either the Sicilian does pet or it is a kind of a taffrail or both. sent13: if the tsetse does not sow but it is a kind of a taffrail the Sicilian does pet. sent14: that the tsetse is not a knit but it pets is not true. sent15: the tsetse does not sow but it is a taffrail. sent16: that the tsetse does not pet and is not unitary is not correct if the Sicilian is a kind of a knit. sent17: that the Sicilian does not uplift telemetry and is thoughtless is false. sent18: the fact that that the mutant does not blacken and/or it is a tiepin is incorrect hold if it does not dwarf shamefacedness. sent19: the ice is a taffrail if the tsetse does not uplift telemetry but it does divert. ; $proof$ = 
sent13 & sent15 -> int1: the Sicilian does pet.; sent4 -> int2: if the Sicilian is a pet that it is a kind of non-unitary thing that does uplift telemetry is not true.; int1 & int2 -> int3: the fact that the Sicilian is a kind of non-unitary thing that does uplift telemetry is not right.; int3 & sent1 -> int4: the ice does divert.; int4 -> hypothesis; __PROVED__