if the vivarium does not demise bachelor then the hotspot is catechismal or not high-resolution or both.
sent1: if a pyridine is non-inspiratory then it does not thrill. sent2: if the vivarium demises bachelor it is a computerization or it does not demise wood-fern or both. sent3: the wood-fern does quench roundness and/or it does not enact cockatoo. sent4: if the vivarium demises bachelor the hotspot is catechismal and/or it is not high-resolution. sent5: if the hotspot is not a kind of a computerization then it is high-resolution and/or it is not catechismal. sent6: the hotspot does demise wood-fern and/or it is not catechismal. sent7: if the vivarium does not demise wood-fern the counterstain is high-resolution. sent8: the vivarium does oblige and/or it is not a kind of a computerization if the counterstain does demise bachelor. sent9: if the fact that the vivarium is catechismal hold then that the hotspot does demise bachelor hold. sent10: the hotspot is catechismal and/or it is high-resolution if the counterstain is high-resolution. sent11: if the franklin does not stampede promising then it is non-far a trade. sent12: the counterstain is high-resolution or it is not catechismal or both. sent13: if the vivarium does not demise bachelor then it is a computerization or it does not demise wood-fern or both. sent14: the hotspot is catechismal and/or is high-resolution if the vivarium does not demise bachelor. sent15: if the franklin is non-far thing that is a kind of a trade then the cockatoo is not a trade. sent16: the franklin does not stampede promising. sent17: the fact that something is catechismal and is a rhinencephalon is not right if it does not thrill. sent18: the hotspot is catechismal or it is not high-resolution or both if the counterstain is high-resolution. sent19: the hotspot is either not non-catechismal or not non-high-resolution or both. sent20: the counterstain demises bachelor if there is something such that that it is not high-resolution hold. sent21: the kingfish is a pyridine and is not inspiratory if something is not a trade.
void -> assump1: Let's assume that the vivarium does not demise bachelor.; sent13 & assump1 -> int1: the vivarium is a computerization and/or it does not demise wood-fern.;
the vivarium obliges and/or is not a computerization.
sent17 -> int2: if the kingfish does not thrill the fact that it is catechismal and is a rhinencephalon does not hold.; sent1 -> int3: if the kingfish is a kind of a pyridine but it is not inspiratory it is not a thrilling.; sent11 & sent16 -> int4: the franklin is not far but it trades.; sent15 & int4 -> int5: the cockatoo does not trade.; int5 -> int6: there is something such that it is not a trade.; int6 & sent21 -> int7: the kingfish is a kind of a pyridine but it is not inspiratory.; int3 & int7 -> int8: the kingfish does not thrill.; int2 & int8 -> int9: the fact that the kingfish is a kind of catechismal thing that is a rhinencephalon is false.; int9 -> int10: there is something such that the fact that it is catechismal and a rhinencephalon is not correct.;
$hypothesis$ = if the vivarium does not demise bachelor then the hotspot is catechismal or not high-resolution or both. ; $context$ = sent1: if a pyridine is non-inspiratory then it does not thrill. sent2: if the vivarium demises bachelor it is a computerization or it does not demise wood-fern or both. sent3: the wood-fern does quench roundness and/or it does not enact cockatoo. sent4: if the vivarium demises bachelor the hotspot is catechismal and/or it is not high-resolution. sent5: if the hotspot is not a kind of a computerization then it is high-resolution and/or it is not catechismal. sent6: the hotspot does demise wood-fern and/or it is not catechismal. sent7: if the vivarium does not demise wood-fern the counterstain is high-resolution. sent8: the vivarium does oblige and/or it is not a kind of a computerization if the counterstain does demise bachelor. sent9: if the fact that the vivarium is catechismal hold then that the hotspot does demise bachelor hold. sent10: the hotspot is catechismal and/or it is high-resolution if the counterstain is high-resolution. sent11: if the franklin does not stampede promising then it is non-far a trade. sent12: the counterstain is high-resolution or it is not catechismal or both. sent13: if the vivarium does not demise bachelor then it is a computerization or it does not demise wood-fern or both. sent14: the hotspot is catechismal and/or is high-resolution if the vivarium does not demise bachelor. sent15: if the franklin is non-far thing that is a kind of a trade then the cockatoo is not a trade. sent16: the franklin does not stampede promising. sent17: the fact that something is catechismal and is a rhinencephalon is not right if it does not thrill. sent18: the hotspot is catechismal or it is not high-resolution or both if the counterstain is high-resolution. sent19: the hotspot is either not non-catechismal or not non-high-resolution or both. sent20: the counterstain demises bachelor if there is something such that that it is not high-resolution hold. sent21: the kingfish is a pyridine and is not inspiratory if something is not a trade. ; $proof$ = 
void -> assump1: Let's assume that the vivarium does not demise bachelor.; sent13 & assump1 -> int1: the vivarium is a computerization and/or it does not demise wood-fern.; __UNKNOWN__