the crape is a Phyllostomus.
sent1: if the fact that that the purser is a Phyllostomus or it is not a calcium-cyanamide or both does not hold is not false it does expatriate. sent2: the plumb is a kind of a calcium-cyanamide. sent3: the crape is hooflike if the fact that it does expatriate and/or is a Phyllostomus is not right. sent4: if the fact that the crape expatriates and/or it is a Phyllostomus is not right it braids tenpence. sent5: the purser is not a calcium-cyanamide. sent6: if something is hooflike thing that does expatriate the fact that it is not a kind of a Phyllostomus is correct. sent7: the purser does not expatriate if that the crape is hooflike hold. sent8: the crape does not expatriate if the purser does braid tenpence. sent9: the fact that the purser is not a kind of a Phyllostomus is true. sent10: the crape is a Phyllostomus if that it braids tenpence or is not a kind of a calcium-cyanamide or both is incorrect. sent11: that the crape braids tenpence and/or it is not a kind of a calcium-cyanamide is not right if it is not hooflike. sent12: the fact that the crape is a future or not a Nummulitidae or both is incorrect. sent13: if the agent-in-place does not expatriate it inhabits. sent14: the sap is not hooflike. sent15: the crape is not a Milanese. sent16: if the crape does not expatriate then it is a Phyllostomus. sent17: the purser is not a straitjacket. sent18: if that the purser braids velodrome or it is not hooflike or both is false it does braid combined. sent19: the purser is hooflike. sent20: the purser expatriates. sent21: if the fact that that the crape braids tenpence or it is not hooflike or both is true is incorrect then it expatriates. sent22: if the crape is not non-hooflike the purser is not a Phyllostomus.
void -> assump1: Let's assume that the crape is hooflike.; sent7 & assump1 -> int1: the purser does not expatriate.; int1 & sent20 -> int2: this is contradiction.; [assump1] & int2 -> int3: the crape is non-hooflike.; int3 & sent11 -> int4: the fact that the crape does braid tenpence and/or is not a calcium-cyanamide is incorrect.; int4 & sent10 -> hypothesis;
the crape is not a Phyllostomus.
sent6 -> int5: the crape is not a Phyllostomus if it is hooflike and expatriates.;
$hypothesis$ = the crape is a Phyllostomus. ; $context$ = sent1: if the fact that that the purser is a Phyllostomus or it is not a calcium-cyanamide or both does not hold is not false it does expatriate. sent2: the plumb is a kind of a calcium-cyanamide. sent3: the crape is hooflike if the fact that it does expatriate and/or is a Phyllostomus is not right. sent4: if the fact that the crape expatriates and/or it is a Phyllostomus is not right it braids tenpence. sent5: the purser is not a calcium-cyanamide. sent6: if something is hooflike thing that does expatriate the fact that it is not a kind of a Phyllostomus is correct. sent7: the purser does not expatriate if that the crape is hooflike hold. sent8: the crape does not expatriate if the purser does braid tenpence. sent9: the fact that the purser is not a kind of a Phyllostomus is true. sent10: the crape is a Phyllostomus if that it braids tenpence or is not a kind of a calcium-cyanamide or both is incorrect. sent11: that the crape braids tenpence and/or it is not a kind of a calcium-cyanamide is not right if it is not hooflike. sent12: the fact that the crape is a future or not a Nummulitidae or both is incorrect. sent13: if the agent-in-place does not expatriate it inhabits. sent14: the sap is not hooflike. sent15: the crape is not a Milanese. sent16: if the crape does not expatriate then it is a Phyllostomus. sent17: the purser is not a straitjacket. sent18: if that the purser braids velodrome or it is not hooflike or both is false it does braid combined. sent19: the purser is hooflike. sent20: the purser expatriates. sent21: if the fact that that the crape braids tenpence or it is not hooflike or both is true is incorrect then it expatriates. sent22: if the crape is not non-hooflike the purser is not a Phyllostomus. ; $proof$ = 
void -> assump1: Let's assume that the crape is hooflike.; sent7 & assump1 -> int1: the purser does not expatriate.; int1 & sent20 -> int2: this is contradiction.; [assump1] & int2 -> int3: the crape is non-hooflike.; int3 & sent11 -> int4: the fact that the crape does braid tenpence and/or is not a calcium-cyanamide is incorrect.; int4 & sent10 -> hypothesis; __PROVED__