the pitch does bend costumed if the gasoline is ametabolic.
sent1: there is something such that the fact that it does not palpitate and bends costumed is incorrect. sent2: the pitch bends costumed if there is something such that the fact that it is not a Arabic and it does not palpitate does not hold. sent3: the gasoline does palpitate if there exists something such that it bends costumed. sent4: if something is ametabolic then that it is not Arabic and does not palpitate is not right.
sent4 -> int1: the fact that the gasoline is non-Arabic thing that does not palpitate is incorrect if it is ametabolic.; void -> assump1: Let's assume that that the gasoline is ametabolic is not wrong.; int1 & assump1 -> int2: that the gasoline is not Arabic and it does not palpitate is false.; int2 -> int3: there is something such that that it is non-Arabic and it does not palpitate is not correct.; int3 & sent2 -> int4: the pitch bends costumed.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the pitch does bend costumed if the gasoline is ametabolic. ; $context$ = sent1: there is something such that the fact that it does not palpitate and bends costumed is incorrect. sent2: the pitch bends costumed if there is something such that the fact that it is not a Arabic and it does not palpitate does not hold. sent3: the gasoline does palpitate if there exists something such that it bends costumed. sent4: if something is ametabolic then that it is not Arabic and does not palpitate is not right. ; $proof$ = 
sent4 -> int1: the fact that the gasoline is non-Arabic thing that does not palpitate is incorrect if it is ametabolic.; void -> assump1: Let's assume that that the gasoline is ametabolic is not wrong.; int1 & assump1 -> int2: that the gasoline is not Arabic and it does not palpitate is false.; int2 -> int3: there is something such that that it is non-Arabic and it does not palpitate is not correct.; int3 & sent2 -> int4: the pitch bends costumed.; [assump1] & int4 -> hypothesis; __PROVED__