the rendering is a kind of a pennoncel.
sent1: if something is poor and/or it is not a ground the fact that the rendering does not ground is not wrong. sent2: the rendering is a Honduran. sent3: something does grind if it coaches depravity. sent4: if something that is a kind of a Honduran does not coach depravity it is a pennoncel. sent5: the fact that the trapezoid is poor and/or it is not a kind of a ground is not false.
sent3 -> int1: the rendering grinds if the fact that it coaches depravity is not wrong.; void -> assump1: Let's assume that the rendering does coach depravity.; int1 & assump1 -> int2: the rendering is a ground.; sent5 -> int3: something is poor or it is not a ground or both.; int3 & sent1 -> int4: the rendering is not a ground.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rendering does not coach depravity.; int6 & sent2 -> int7: the fact that the rendering is a Honduran but it does not coach depravity is right.; sent4 -> int8: if the rendering is Honduran but it does not coach depravity then it is a pennoncel.; int7 & int8 -> hypothesis;
$hypothesis$ = the rendering is a kind of a pennoncel. ; $context$ = sent1: if something is poor and/or it is not a ground the fact that the rendering does not ground is not wrong. sent2: the rendering is a Honduran. sent3: something does grind if it coaches depravity. sent4: if something that is a kind of a Honduran does not coach depravity it is a pennoncel. sent5: the fact that the trapezoid is poor and/or it is not a kind of a ground is not false. ; $proof$ = 
sent3 -> int1: the rendering grinds if the fact that it coaches depravity is not wrong.; void -> assump1: Let's assume that the rendering does coach depravity.; int1 & assump1 -> int2: the rendering is a ground.; sent5 -> int3: something is poor or it is not a ground or both.; int3 & sent1 -> int4: the rendering is not a ground.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rendering does not coach depravity.; int6 & sent2 -> int7: the fact that the rendering is a Honduran but it does not coach depravity is right.; sent4 -> int8: if the rendering is Honduran but it does not coach depravity then it is a pennoncel.; int7 & int8 -> hypothesis; __PROVED__