the zygospore is a Oleandraceae.
sent1: if the fact that the foreperson is both not a polarity and not apiarian is not true then that the corkwood is not a kind of an attainment hold. sent2: the zygospore is a kind of a Oleandraceae if it is not a kind of an attainment and it is not a Slovenian. sent3: something is mecopterous or it is a guama or both. sent4: if the zygospore is an attainment and it does compromise protest then the integrator is not a polarity. sent5: the fact that the integrator ambushes code and it is a kind of a averageness is not correct. sent6: if something is not a averageness the fact that it is not a kind of a polarity and is not apiarian is incorrect. sent7: if something is not a polarity then the fact that it is not a averageness and/or it is not apiarian is not correct. sent8: the zygospore is non-Slovenian if that the foreperson does not ambush code and is a non-Slovenian is wrong. sent9: that the zygospore does compromise heterometabolism is correct. sent10: the corkwood compromises heterometabolism and is an intersection. sent11: the Cantabrigian is a rent and a begonia. sent12: the fact that the foreperson does not ambush code but it is a kind of a Slovenian is not right if it does not capitulate. sent13: something that is not a gleaner is a connection. sent14: the foreperson does not capitulate. sent15: the fact that the integrator is a guama and does not compromise protest is not true if the corkwood is not an attainment. sent16: if the fact that something is non-mecopterous but it is a Oleandraceae is not true it is not a Oleandraceae. sent17: if that either something is mecopterous or it is a guama or both is not wrong then the zygospore compromises protest. sent18: the fact that the foreperson does not ambush code or is not apiarian or both is incorrect if it is not a kind of a Slovenian. sent19: something is not a guama if the fact that it is a guama and it does not compromise protest is incorrect. sent20: that the integrator is a Slovenian is correct.
sent3 & sent17 -> int1: the zygospore compromises protest.; void -> assump1: Let's assume that the zygospore is an attainment.; int1 & assump1 -> int2: the zygospore is an attainment that compromises protest.; int2 & sent4 -> int3: the integrator is not a polarity.; sent7 -> int4: if the integrator is not a kind of a polarity then that it either is not a kind of a averageness or is not apiarian or both is false.; int3 & int4 -> int5: the fact that that the integrator either is not a kind of a averageness or is non-apiarian or both is incorrect is not wrong.; sent10 -> int6: the corkwood compromises heterometabolism.; sent12 & sent14 -> int7: the fact that the foreperson does not ambush code and is Slovenian does not hold.; sent8 & int7 -> int8: the zygospore is not a kind of a Slovenian.;
the zygospore is not a Oleandraceae.
sent16 -> int9: the zygospore is not a Oleandraceae if that it is non-mecopterous thing that is a Oleandraceae does not hold.; sent19 -> int10: the integrator is not a kind of a guama if the fact that it is a guama that does not compromise protest is not true.; sent6 -> int11: if the foreperson is not a averageness that it is both not a polarity and not apiarian is incorrect.;
$hypothesis$ = the zygospore is a Oleandraceae. ; $context$ = sent1: if the fact that the foreperson is both not a polarity and not apiarian is not true then that the corkwood is not a kind of an attainment hold. sent2: the zygospore is a kind of a Oleandraceae if it is not a kind of an attainment and it is not a Slovenian. sent3: something is mecopterous or it is a guama or both. sent4: if the zygospore is an attainment and it does compromise protest then the integrator is not a polarity. sent5: the fact that the integrator ambushes code and it is a kind of a averageness is not correct. sent6: if something is not a averageness the fact that it is not a kind of a polarity and is not apiarian is incorrect. sent7: if something is not a polarity then the fact that it is not a averageness and/or it is not apiarian is not correct. sent8: the zygospore is non-Slovenian if that the foreperson does not ambush code and is a non-Slovenian is wrong. sent9: that the zygospore does compromise heterometabolism is correct. sent10: the corkwood compromises heterometabolism and is an intersection. sent11: the Cantabrigian is a rent and a begonia. sent12: the fact that the foreperson does not ambush code but it is a kind of a Slovenian is not right if it does not capitulate. sent13: something that is not a gleaner is a connection. sent14: the foreperson does not capitulate. sent15: the fact that the integrator is a guama and does not compromise protest is not true if the corkwood is not an attainment. sent16: if the fact that something is non-mecopterous but it is a Oleandraceae is not true it is not a Oleandraceae. sent17: if that either something is mecopterous or it is a guama or both is not wrong then the zygospore compromises protest. sent18: the fact that the foreperson does not ambush code or is not apiarian or both is incorrect if it is not a kind of a Slovenian. sent19: something is not a guama if the fact that it is a guama and it does not compromise protest is incorrect. sent20: that the integrator is a Slovenian is correct. ; $proof$ = 
sent3 & sent17 -> int1: the zygospore compromises protest.; void -> assump1: Let's assume that the zygospore is an attainment.; int1 & assump1 -> int2: the zygospore is an attainment that compromises protest.; int2 & sent4 -> int3: the integrator is not a polarity.; sent7 -> int4: if the integrator is not a kind of a polarity then that it either is not a kind of a averageness or is not apiarian or both is false.; int3 & int4 -> int5: the fact that that the integrator either is not a kind of a averageness or is non-apiarian or both is incorrect is not wrong.; sent10 -> int6: the corkwood compromises heterometabolism.; sent12 & sent14 -> int7: the fact that the foreperson does not ambush code and is Slovenian does not hold.; sent8 & int7 -> int8: the zygospore is not a kind of a Slovenian.; __UNKNOWN__