the tile is a Malpighi.
sent1: the tile is not a Doctorow. sent2: that something does not hum Savoy if it is not a Malpighi and it is not a Doctorow is not wrong. sent3: if the Gabonese hums Savoy the neolith is a Doctorow. sent4: if that the neolith does not hum Savoy and it does not devein birr is not right then the tile hum Savoy. sent5: that the neolith does not hum Savoy and does not devein birr is wrong.
void -> assump1: Let's assume that the tile is not a Malpighi.; assump1 & sent1 -> int1: the tile is not a Malpighi and it is not a Doctorow.; sent2 -> int2: the tile does not hum Savoy if it is not a Malpighi and it is not a kind of a Doctorow.; int1 & int2 -> int3: the tile does not hum Savoy.; sent4 & sent5 -> int4: the tile hums Savoy.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the tile is not a Malpighi.
$hypothesis$ = the tile is a Malpighi. ; $context$ = sent1: the tile is not a Doctorow. sent2: that something does not hum Savoy if it is not a Malpighi and it is not a Doctorow is not wrong. sent3: if the Gabonese hums Savoy the neolith is a Doctorow. sent4: if that the neolith does not hum Savoy and it does not devein birr is not right then the tile hum Savoy. sent5: that the neolith does not hum Savoy and does not devein birr is wrong. ; $proof$ = 
void -> assump1: Let's assume that the tile is not a Malpighi.; assump1 & sent1 -> int1: the tile is not a Malpighi and it is not a Doctorow.; sent2 -> int2: the tile does not hum Savoy if it is not a Malpighi and it is not a kind of a Doctorow.; int1 & int2 -> int3: the tile does not hum Savoy.; sent4 & sent5 -> int4: the tile hums Savoy.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__