if the asthmatic is a kind of a saraband the waterfowl is not a kind of a trouper and it is not a Thessalian.
sent1: the asthmatic is a Mackenzie. sent2: the waterfowl is not a kind of a trouper and it is not a Thessalian if the mew is not a trouper.
void -> assump1: Let's assume that the asthmatic is a saraband.; sent1 & assump1 -> int1: that the asthmatic is a Mackenzie and is a saraband is true.;
$hypothesis$ = if the asthmatic is a kind of a saraband the waterfowl is not a kind of a trouper and it is not a Thessalian. ; $context$ = sent1: the asthmatic is a Mackenzie. sent2: the waterfowl is not a kind of a trouper and it is not a Thessalian if the mew is not a trouper. ; $proof$ = 
void -> assump1: Let's assume that the asthmatic is a saraband.; sent1 & assump1 -> int1: that the asthmatic is a Mackenzie and is a saraband is true.; __UNKNOWN__