the anthurium is a kind of a retaliation and it is pianistic.
sent1: if something is not a kind of a Olympian it is a retaliation. sent2: something does not hedge metabolism but it cushions. sent3: the burqa is Parthian. sent4: the anthurium is not a Parthian if the burqa is both Olympian and a Parthian. sent5: if there is something such that the fact that it is not Parthian and is mini is not true the anthurium is not Olympian. sent6: the fact that something is a retaliation and pianistic is false if it is not a Parthian. sent7: the anthurium is pianistic and a waitress.
void -> assump1: Let's assume that the burqa is not Parthian but it is mini.; assump1 -> int1: that the burqa is not a kind of a Parthian is true.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the fact that the burqa is not Parthian but it is mini is correct does not hold hold.; int3 -> int4: there is something such that the fact that it is not a Parthian and it is mini is incorrect.; int4 & sent5 -> int5: the anthurium is not a kind of a Olympian.; sent1 -> int6: the anthurium is a retaliation if it is not Olympian.; int5 & int6 -> int7: the anthurium is a retaliation.; sent7 -> int8: the anthurium is pianistic.; int7 & int8 -> hypothesis;
that the anthurium is a kind of a retaliation that is pianistic is false.
sent6 -> int9: if the anthurium is not a Parthian then the fact that it is a kind of a retaliation and it is pianistic does not hold.;
$hypothesis$ = the anthurium is a kind of a retaliation and it is pianistic. ; $context$ = sent1: if something is not a kind of a Olympian it is a retaliation. sent2: something does not hedge metabolism but it cushions. sent3: the burqa is Parthian. sent4: the anthurium is not a Parthian if the burqa is both Olympian and a Parthian. sent5: if there is something such that the fact that it is not Parthian and is mini is not true the anthurium is not Olympian. sent6: the fact that something is a retaliation and pianistic is false if it is not a Parthian. sent7: the anthurium is pianistic and a waitress. ; $proof$ = 
void -> assump1: Let's assume that the burqa is not Parthian but it is mini.; assump1 -> int1: that the burqa is not a kind of a Parthian is true.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the fact that the burqa is not Parthian but it is mini is correct does not hold hold.; int3 -> int4: there is something such that the fact that it is not a Parthian and it is mini is incorrect.; int4 & sent5 -> int5: the anthurium is not a kind of a Olympian.; sent1 -> int6: the anthurium is a retaliation if it is not Olympian.; int5 & int6 -> int7: the anthurium is a retaliation.; sent7 -> int8: the anthurium is pianistic.; int7 & int8 -> hypothesis; __PROVED__