the yardarm does not breed.
sent1: the semitrailer swelters flume if the fact that the Anchorage is not a dime and it does not swelters flume is not correct. sent2: the semitrailer does not swelter flume if the yardarm swelters timber and is a kind of a breeding. sent3: that the yardarm is a sgraffito and is transcendental is wrong. sent4: the yardarm swelters timber if it is transcendental. sent5: the fact that the yardarm is a kind of a sgraffito but it is not transcendental is false. sent6: the fact that the semitrailer does swelter flume is not false if the Anchorage swelter flume. sent7: that the Anchorage is not a dime and it does not swelter flume is false.
void -> assump1: Let's assume that the yardarm is a breeding.; sent1 & sent7 -> int1: the semitrailer does swelter flume.;
$hypothesis$ = the yardarm does not breed. ; $context$ = sent1: the semitrailer swelters flume if the fact that the Anchorage is not a dime and it does not swelters flume is not correct. sent2: the semitrailer does not swelter flume if the yardarm swelters timber and is a kind of a breeding. sent3: that the yardarm is a sgraffito and is transcendental is wrong. sent4: the yardarm swelters timber if it is transcendental. sent5: the fact that the yardarm is a kind of a sgraffito but it is not transcendental is false. sent6: the fact that the semitrailer does swelter flume is not false if the Anchorage swelter flume. sent7: that the Anchorage is not a dime and it does not swelter flume is false. ; $proof$ = 
void -> assump1: Let's assume that the yardarm is a breeding.; sent1 & sent7 -> int1: the semitrailer does swelter flume.; __UNKNOWN__