the shield is a kind of a taurine and does not pitch internship.
sent1: if the fact that something does discourage and/or it does squeegee testament is wrong then it does not let. sent2: the flag is a let if it pitches internship. sent3: if the shield does pitch deckle and is a kind of a silviculture then it does not pitch internship. sent4: the shield is a silviculture. sent5: the shield does discourage. sent6: the shield does let. sent7: the shield does not let if that it discourages or it squeegees testament or both does not hold. sent8: the peen squeegees tread. sent9: if the fact that the peen squeegees tread is right then the morgue rafters Chamaedaphne and is not a kind of a Romany. sent10: if the shield does not discourage it pitches deckle. sent11: the stockholder is a silviculture but it is not a let if there is something such that it does rafter Chamaedaphne. sent12: the shield is a kind of a taurine. sent13: the fact that the shield pitches deckle is not false if either it does not discourage or it squeegees testament or both. sent14: if that something does not discourage and/or does squeegee testament is not true it is not a kind of a let. sent15: the shield is not a guanaco. sent16: the shield either discourages or squeegees testament or both. sent17: the hotplate does not pitch internship and/or it pitches unperceptiveness.
sent14 -> int1: the shield is not a let if the fact that it does not discourage and/or does squeegee testament is not correct.; void -> assump1: Let's assume that the fact that the shield does not discourage and/or squeegees testament is not true.; int1 & assump1 -> int2: the shield is not a let.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the shield does not discourage and/or squeegees testament.; int4 & sent13 -> int5: the shield does pitch deckle.; int5 & sent4 -> int6: the shield pitches deckle and it is a silviculture.; int6 & sent3 -> int7: the shield does not pitch internship.; int7 & sent12 -> hypothesis;
the taper is not a silviculture.
$hypothesis$ = the shield is a kind of a taurine and does not pitch internship. ; $context$ = sent1: if the fact that something does discourage and/or it does squeegee testament is wrong then it does not let. sent2: the flag is a let if it pitches internship. sent3: if the shield does pitch deckle and is a kind of a silviculture then it does not pitch internship. sent4: the shield is a silviculture. sent5: the shield does discourage. sent6: the shield does let. sent7: the shield does not let if that it discourages or it squeegees testament or both does not hold. sent8: the peen squeegees tread. sent9: if the fact that the peen squeegees tread is right then the morgue rafters Chamaedaphne and is not a kind of a Romany. sent10: if the shield does not discourage it pitches deckle. sent11: the stockholder is a silviculture but it is not a let if there is something such that it does rafter Chamaedaphne. sent12: the shield is a kind of a taurine. sent13: the fact that the shield pitches deckle is not false if either it does not discourage or it squeegees testament or both. sent14: if that something does not discourage and/or does squeegee testament is not true it is not a kind of a let. sent15: the shield is not a guanaco. sent16: the shield either discourages or squeegees testament or both. sent17: the hotplate does not pitch internship and/or it pitches unperceptiveness. ; $proof$ = 
sent14 -> int1: the shield is not a let if the fact that it does not discourage and/or does squeegee testament is not correct.; void -> assump1: Let's assume that the fact that the shield does not discourage and/or squeegees testament is not true.; int1 & assump1 -> int2: the shield is not a let.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the shield does not discourage and/or squeegees testament.; int4 & sent13 -> int5: the shield does pitch deckle.; int5 & sent4 -> int6: the shield pitches deckle and it is a silviculture.; int6 & sent3 -> int7: the shield does not pitch internship.; int7 & sent12 -> hypothesis; __PROVED__