the fact that the philter is not a Florey and is not a propositus is not right.
sent1: something is close or a divot or both. sent2: the fact that there exists something such that either it is micaceous or it does not target capful or both is true. sent3: the fact that the philter is not micaceous but it is a kind of a propositus is wrong. sent4: the pipistrelle is a kind of a strapless if the dormer is not unaware and does not target capful. sent5: that the Mojave is a kind of a strapless that is not resistible does not hold. sent6: the pipistrelle is unaware and is blue-collar. sent7: the philter is unaware. sent8: the philter is not a grant if that the pouter does not target capful is not false. sent9: that the philter is both not a Florey and not a propositus is false if the fact that it does not target capful hold. sent10: if the pipistrelle is not aware and is blue-collar the Mojave is not a kind of a divot. sent11: the dormer is hydropathic. sent12: something targets capful if it is resistible. sent13: the pouter is micaceous if the Mojave is not a kind of a divot and it is not resistible. sent14: if something is not non-micaceous then it is a grant. sent15: if something grants or it is not close or both the philter does not target capful. sent16: if the fact that the dormer is both a strapless and a ferry is not correct the fact that the Mojave is not resistible is not incorrect. sent17: that the dormer is a strapless and is a ferry is false. sent18: the pipistrelle is not unaware if the Mojave is a kind of resistible thing that is a Florey. sent19: something is not a clouded and does not stomp if it is not resistible. sent20: the pouter is a divot if it does close. sent21: the philter is not a strapless. sent22: the philter is not a kind of a propositus if the pipistrelle is blue-collar and it is a Florey.
sent10 & sent6 -> int1: the Mojave is not a divot.; sent16 & sent17 -> int2: the Mojave is not resistible.; int1 & int2 -> int3: the Mojave is both not a divot and not resistible.; int3 & sent13 -> int4: the pouter is micaceous.; sent14 -> int5: if the pouter is micaceous then the fact that it is not a grant does not hold.; int4 & int5 -> int6: the pouter is a kind of a grant.; int6 -> int7: the pouter is a grant and/or not close.; int7 -> int8: there is something such that the fact that it grants and/or it does not close is correct.; int8 & sent15 -> int9: the philter does not target capful.; int9 & sent9 -> hypothesis;
the gummite is not a clouded and is not a kind of a stomp.
sent19 -> int10: the gummite is not a clouded and it is not a kind of a stomp if it is irresistible.;
$hypothesis$ = the fact that the philter is not a Florey and is not a propositus is not right. ; $context$ = sent1: something is close or a divot or both. sent2: the fact that there exists something such that either it is micaceous or it does not target capful or both is true. sent3: the fact that the philter is not micaceous but it is a kind of a propositus is wrong. sent4: the pipistrelle is a kind of a strapless if the dormer is not unaware and does not target capful. sent5: that the Mojave is a kind of a strapless that is not resistible does not hold. sent6: the pipistrelle is unaware and is blue-collar. sent7: the philter is unaware. sent8: the philter is not a grant if that the pouter does not target capful is not false. sent9: that the philter is both not a Florey and not a propositus is false if the fact that it does not target capful hold. sent10: if the pipistrelle is not aware and is blue-collar the Mojave is not a kind of a divot. sent11: the dormer is hydropathic. sent12: something targets capful if it is resistible. sent13: the pouter is micaceous if the Mojave is not a kind of a divot and it is not resistible. sent14: if something is not non-micaceous then it is a grant. sent15: if something grants or it is not close or both the philter does not target capful. sent16: if the fact that the dormer is both a strapless and a ferry is not correct the fact that the Mojave is not resistible is not incorrect. sent17: that the dormer is a strapless and is a ferry is false. sent18: the pipistrelle is not unaware if the Mojave is a kind of resistible thing that is a Florey. sent19: something is not a clouded and does not stomp if it is not resistible. sent20: the pouter is a divot if it does close. sent21: the philter is not a strapless. sent22: the philter is not a kind of a propositus if the pipistrelle is blue-collar and it is a Florey. ; $proof$ = 
sent10 & sent6 -> int1: the Mojave is not a divot.; sent16 & sent17 -> int2: the Mojave is not resistible.; int1 & int2 -> int3: the Mojave is both not a divot and not resistible.; int3 & sent13 -> int4: the pouter is micaceous.; sent14 -> int5: if the pouter is micaceous then the fact that it is not a grant does not hold.; int4 & int5 -> int6: the pouter is a kind of a grant.; int6 -> int7: the pouter is a grant and/or not close.; int7 -> int8: there is something such that the fact that it grants and/or it does not close is correct.; int8 & sent15 -> int9: the philter does not target capful.; int9 & sent9 -> hypothesis; __PROVED__