that the rep is both bardic and not a crop does not hold.
sent1: the fact that the rep is bardic and is not a kind of a crop is not true if the colobus is not a sheik. sent2: the Kafir is nonfinancial if there is something such that it does not slight rupture and it is a kind of a wedge. sent3: if something does wedge it is bardic. sent4: the fact that the colobus does not slight rupture is not false if it is a wedge and a sheik. sent5: if the rep is not a crop then that it does not slight rupture is right. sent6: there is something such that it is not a Skopje. sent7: the Kafir is not insentient. sent8: if something is not a Skopje then the rep is a kind of a sheik that does wedge. sent9: the colobus is a wedge if something does not patrol gram but it is a load. sent10: if the colobus does not slight rupture the fact that the Kafir is a kind of nonfinancial thing that slight rupture is incorrect. sent11: there is something such that it does not patrol gram and it is a load. sent12: if the fact that the colobus is non-nonfinancial thing that does not reunify is wrong it does slight rupture. sent13: the Kafir is a Skopje. sent14: if that the Kafir is nonfinancial and it does slight rupture is not right then it is not a Skopje.
sent11 & sent9 -> int1: the colobus is a kind of a wedge.; void -> assump1: Let's assume that the colobus is a sheik.; int1 & assump1 -> int2: the colobus is a wedge and a sheik.; int2 & sent4 -> int3: the colobus does not slight rupture.; int3 & sent10 -> int4: the fact that the Kafir is nonfinancial and slights rupture is not right.; int4 & sent14 -> int5: the Kafir is not a Skopje.; int5 & sent13 -> int6: this is contradiction.; [assump1] & int6 -> int7: the colobus is not a sheik.; int7 & sent1 -> hypothesis;
the rep is bardic but it does not crop.
sent3 -> int8: the rep is bardic if it is a wedge.; sent6 & sent8 -> int9: the rep is a kind of a sheik and it does wedge.; int9 -> int10: the rep is a kind of a wedge.; int8 & int10 -> int11: the rep is bardic.;
$hypothesis$ = that the rep is both bardic and not a crop does not hold. ; $context$ = sent1: the fact that the rep is bardic and is not a kind of a crop is not true if the colobus is not a sheik. sent2: the Kafir is nonfinancial if there is something such that it does not slight rupture and it is a kind of a wedge. sent3: if something does wedge it is bardic. sent4: the fact that the colobus does not slight rupture is not false if it is a wedge and a sheik. sent5: if the rep is not a crop then that it does not slight rupture is right. sent6: there is something such that it is not a Skopje. sent7: the Kafir is not insentient. sent8: if something is not a Skopje then the rep is a kind of a sheik that does wedge. sent9: the colobus is a wedge if something does not patrol gram but it is a load. sent10: if the colobus does not slight rupture the fact that the Kafir is a kind of nonfinancial thing that slight rupture is incorrect. sent11: there is something such that it does not patrol gram and it is a load. sent12: if the fact that the colobus is non-nonfinancial thing that does not reunify is wrong it does slight rupture. sent13: the Kafir is a Skopje. sent14: if that the Kafir is nonfinancial and it does slight rupture is not right then it is not a Skopje. ; $proof$ = 
sent11 & sent9 -> int1: the colobus is a kind of a wedge.; void -> assump1: Let's assume that the colobus is a sheik.; int1 & assump1 -> int2: the colobus is a wedge and a sheik.; int2 & sent4 -> int3: the colobus does not slight rupture.; int3 & sent10 -> int4: the fact that the Kafir is nonfinancial and slights rupture is not right.; int4 & sent14 -> int5: the Kafir is not a Skopje.; int5 & sent13 -> int6: this is contradiction.; [assump1] & int6 -> int7: the colobus is not a sheik.; int7 & sent1 -> hypothesis; __PROVED__