there exists something such that if it does blemish desuetude then the fact that it is cataphatic and it is not robotics is not true.
sent1: if something is spicate that it is cataphatic and it is not robotics is not right. sent2: something is spicate if that it is non-Athenian thing that is a cushaw is not right. sent3: if something is not Athenian but it is a kind of a cushaw it does not blemish desuetude.
sent3 -> int1: if the engine is not a Athenian but it is a cushaw then it does not blemish desuetude.; void -> assump1: Let's assume that the engine is not Athenian but it is a cushaw.; int1 & assump1 -> int2: the engine does not blemish desuetude.; void -> assump2: Let's assume that the engine blemishes desuetude.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the engine is not a Athenian and is a cushaw is wrong.; sent2 -> int5: the engine is spicate if that it is not Athenian and it is a cushaw is not true.; int4 & int5 -> int6: the engine is spicate.; sent1 -> int7: the fact that the engine is both cataphatic and not robotics does not hold if it is spicate.; int6 & int7 -> int8: the fact that the engine is a kind of cataphatic thing that is not robotics does not hold.; [assump2] & int8 -> int9: if the engine blemishes desuetude that it is cataphatic and it is not robotics is incorrect.; int9 -> hypothesis;
$hypothesis$ = there exists something such that if it does blemish desuetude then the fact that it is cataphatic and it is not robotics is not true. ; $context$ = sent1: if something is spicate that it is cataphatic and it is not robotics is not right. sent2: something is spicate if that it is non-Athenian thing that is a cushaw is not right. sent3: if something is not Athenian but it is a kind of a cushaw it does not blemish desuetude. ; $proof$ = 
sent3 -> int1: if the engine is not a Athenian but it is a cushaw then it does not blemish desuetude.; void -> assump1: Let's assume that the engine is not Athenian but it is a cushaw.; int1 & assump1 -> int2: the engine does not blemish desuetude.; void -> assump2: Let's assume that the engine blemishes desuetude.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the engine is not a Athenian and is a cushaw is wrong.; sent2 -> int5: the engine is spicate if that it is not Athenian and it is a cushaw is not true.; int4 & int5 -> int6: the engine is spicate.; sent1 -> int7: the fact that the engine is both cataphatic and not robotics does not hold if it is spicate.; int6 & int7 -> int8: the fact that the engine is a kind of cataphatic thing that is not robotics does not hold.; [assump2] & int8 -> int9: if the engine blemishes desuetude that it is cataphatic and it is not robotics is incorrect.; int9 -> hypothesis; __PROVED__