that the warship is a Asteridae but it does not unbutton warship is incorrect.
sent1: if the warship is a Asteridae and does not unbutton warship it does not unbutton astronaut. sent2: the warship does unbutton astronaut and it is metamorphic.
void -> assump1: Let's assume that the warship is a Asteridae and does not unbutton warship.; sent1 & assump1 -> int1: the warship does not unbutton astronaut.; sent2 -> int2: the warship unbuttons astronaut.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the warship is a Asteridae but it does not unbutton warship is incorrect. ; $context$ = sent1: if the warship is a Asteridae and does not unbutton warship it does not unbutton astronaut. sent2: the warship does unbutton astronaut and it is metamorphic. ; $proof$ = 
void -> assump1: Let's assume that the warship is a Asteridae and does not unbutton warship.; sent1 & assump1 -> int1: the warship does not unbutton astronaut.; sent2 -> int2: the warship unbuttons astronaut.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__