the fact that the roundsman is a kind of a icehouse if the vasoconstrictor is not non-bridal is not right.
sent1: the roundsman is a bridal. sent2: the vasoconstrictor is a kind of a bolivar if it is a icehouse. sent3: if the vasoconstrictor is a bolivar the roundsman is a icehouse. sent4: the aigrette is a icehouse. sent5: if the vasoconstrictor is bridal then it is a kind of a bolivar.
void -> assump1: Let's assume that the vasoconstrictor is a bridal.; sent5 & assump1 -> int1: the vasoconstrictor is a bolivar.; sent3 & int1 -> int2: the roundsman is a icehouse.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the roundsman is a kind of a icehouse if the vasoconstrictor is not non-bridal is not right. ; $context$ = sent1: the roundsman is a bridal. sent2: the vasoconstrictor is a kind of a bolivar if it is a icehouse. sent3: if the vasoconstrictor is a bolivar the roundsman is a icehouse. sent4: the aigrette is a icehouse. sent5: if the vasoconstrictor is bridal then it is a kind of a bolivar. ; $proof$ = 
void -> assump1: Let's assume that the vasoconstrictor is a bridal.; sent5 & assump1 -> int1: the vasoconstrictor is a bolivar.; sent3 & int1 -> int2: the roundsman is a icehouse.; [assump1] & int2 -> hypothesis; __DISPROVED__