the fact that the microspore does not set stile is correct.
sent1: the fact that the microspore is not a kind of a quartzite and it does not set stile is incorrect if the rheumatic is a gesture. sent2: if the rheumatic does not set stile and/or it educes then the fact that the microspore is a quartzite is not false. sent3: something that is socioeconomic is not a kind of a gesture and does not direct. sent4: something does not extinguish aircrew and/or it is a Lufkin if it sets stile. sent5: if something is a quartzite then that it sets stile is not wrong. sent6: that the microspore does not set Benedictine is not incorrect if it is both air-to-surface and not non-doctoral. sent7: something that does not set Benedictine is socioeconomic and is a Arapaho. sent8: the corncob is not a gesture if the fact that it is not a Lufkin and does not direct is not correct. sent9: everything is doctoral. sent10: if the microspore does not educe and/or is fatty then the rheumatic is a quartzite. sent11: if the fact that something is not a kind of a quartzite and it does not set stile does not hold then that it does set stile is right. sent12: the corncob is a kind of a gesture if the rheumatic is a kind of a quartzite. sent13: the microspore does not educe and/or it is fatty if it does set stile. sent14: if the microspore is not a gesture and it does not direct then the stile is a quartzite. sent15: everything is air-to-surface. sent16: that the corncob is a kind of a Lufkin but it does not direct does not hold. sent17: the rheumatic is directed. sent18: the corncob is not a gesture if it is a kind of a Lufkin. sent19: the rheumatic is a quartzite if that the microspore is fatty is not wrong. sent20: the leaker is a quartzite.
void -> assump1: Let's assume that the microspore sets stile.; sent13 & assump1 -> int1: the microspore does not educe and/or it is fatty.; int1 & sent10 -> int2: the rheumatic is a kind of a quartzite.; int2 & sent12 -> int3: the corncob is a gesture.;
the stile either does not extinguish aircrew or is a Lufkin or both.
sent4 -> int4: the stile does not extinguish aircrew and/or it is a kind of a Lufkin if it does set stile.; sent3 -> int5: the microspore is not a kind of a gesture and it does not direct if the fact that it is socioeconomic is not wrong.; sent7 -> int6: if the microspore does not set Benedictine then it is a kind of socioeconomic a Arapaho.; sent15 -> int7: the rheumatic is air-to-surface.; sent9 -> int8: the rheumatic is doctoral.; int7 & int8 -> int9: the rheumatic is both not non-air-to-surface and doctoral.; int9 -> int10: everything is a kind of air-to-surface thing that is doctoral.; int10 -> int11: the fact that the microspore is air-to-surface and it is doctoral is right.; int11 & sent6 -> int12: the microspore does not set Benedictine.; int6 & int12 -> int13: that the microspore is socioeconomic and it is a Arapaho is correct.; int13 -> int14: that the microspore is not non-socioeconomic is true.; int5 & int14 -> int15: the microspore is not a kind of a gesture and it does not direct.; sent14 & int15 -> int16: the stile is a quartzite.; sent5 -> int17: if the stile is a quartzite then it sets stile.; int16 & int17 -> int18: the stile sets stile.; int4 & int18 -> hypothesis;
$hypothesis$ = the fact that the microspore does not set stile is correct. ; $context$ = sent1: the fact that the microspore is not a kind of a quartzite and it does not set stile is incorrect if the rheumatic is a gesture. sent2: if the rheumatic does not set stile and/or it educes then the fact that the microspore is a quartzite is not false. sent3: something that is socioeconomic is not a kind of a gesture and does not direct. sent4: something does not extinguish aircrew and/or it is a Lufkin if it sets stile. sent5: if something is a quartzite then that it sets stile is not wrong. sent6: that the microspore does not set Benedictine is not incorrect if it is both air-to-surface and not non-doctoral. sent7: something that does not set Benedictine is socioeconomic and is a Arapaho. sent8: the corncob is not a gesture if the fact that it is not a Lufkin and does not direct is not correct. sent9: everything is doctoral. sent10: if the microspore does not educe and/or is fatty then the rheumatic is a quartzite. sent11: if the fact that something is not a kind of a quartzite and it does not set stile does not hold then that it does set stile is right. sent12: the corncob is a kind of a gesture if the rheumatic is a kind of a quartzite. sent13: the microspore does not educe and/or it is fatty if it does set stile. sent14: if the microspore is not a gesture and it does not direct then the stile is a quartzite. sent15: everything is air-to-surface. sent16: that the corncob is a kind of a Lufkin but it does not direct does not hold. sent17: the rheumatic is directed. sent18: the corncob is not a gesture if it is a kind of a Lufkin. sent19: the rheumatic is a quartzite if that the microspore is fatty is not wrong. sent20: the leaker is a quartzite. ; $proof$ = 
void -> assump1: Let's assume that the microspore sets stile.; sent13 & assump1 -> int1: the microspore does not educe and/or it is fatty.; int1 & sent10 -> int2: the rheumatic is a kind of a quartzite.; int2 & sent12 -> int3: the corncob is a gesture.; __UNKNOWN__