the flower is not a kind of a obliqueness.
sent1: the scorpionfish does not carjack oscilloscope. sent2: if a non-maxillofacial thing is not mecopterous then the scorpionfish does not flock asymptote. sent3: the scorpionfish is not a wiseacre if there exists something such that it is both not a obliqueness and not maxillofacial. sent4: everything flocks asymptote and it is a kind of a wiseacre. sent5: the flower is non-maxillofacial and it is not mecopterous if it is a obliqueness.
void -> assump1: Let's assume that the flower is a obliqueness.; sent5 & assump1 -> int1: the flower is not maxillofacial and is not mecopterous.; int1 -> int2: there are non-maxillofacial and non-mecopterous things.; int2 & sent2 -> int3: the scorpionfish does not flock asymptote.; sent4 -> int4: the scorpionfish flocks asymptote and is a wiseacre.; int4 -> int5: the scorpionfish does flock asymptote.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the flower is not a kind of a obliqueness. ; $context$ = sent1: the scorpionfish does not carjack oscilloscope. sent2: if a non-maxillofacial thing is not mecopterous then the scorpionfish does not flock asymptote. sent3: the scorpionfish is not a wiseacre if there exists something such that it is both not a obliqueness and not maxillofacial. sent4: everything flocks asymptote and it is a kind of a wiseacre. sent5: the flower is non-maxillofacial and it is not mecopterous if it is a obliqueness. ; $proof$ = 
void -> assump1: Let's assume that the flower is a obliqueness.; sent5 & assump1 -> int1: the flower is not maxillofacial and is not mecopterous.; int1 -> int2: there are non-maxillofacial and non-mecopterous things.; int2 & sent2 -> int3: the scorpionfish does not flock asymptote.; sent4 -> int4: the scorpionfish flocks asymptote and is a wiseacre.; int4 -> int5: the scorpionfish does flock asymptote.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__