the fact that the searcher is a Yuan is not wrong.
sent1: the perceiver is not zygomatic but it is an articulation. sent2: the fact that the gridiron is a Yuan but it does not kennel Hypsiglena is wrong. sent3: if the gridiron is a kind of an articulation the fact that the searcher is a kind of a Yuan is true. sent4: the gridiron is low-level. sent5: if the fact that the gridiron is a Yuan is not wrong then that the searcher is a kind of an articulation that is not a Yuan is false. sent6: the perceiver does disappear. sent7: if something that is not a isobutylene does kennel seventy it is a lockstitch. sent8: the perceiver does kennel Hypsiglena if it is a kind of a Yuan. sent9: the searcher trisects packsaddle if there is something such that it is not obvious. sent10: if that the perceiver is not zygomatic and kennels fender does not hold then it is not a calyptra. sent11: the fact that that the perceiver is not an articulation and does not kennel fender is wrong if the gridiron does kennel fender hold. sent12: the fact that the searcher kennels fender and it is a kind of a Yuan is not right. sent13: the searcher is a calyptra. sent14: if the gridiron is both a commonalty and a Yuan then it does kennel Hypsiglena. sent15: if the searcher kennels fender and it is an articulation it is a Yuan. sent16: the horse-pistol is not a kind of a calyptra. sent17: something kennels fender if that it is an articulation and a Yuan is not wrong. sent18: something is a calyptra if the fact that it is not zygomatic and does not kennel fender is wrong. sent19: the perceiver is a kind of a calyptra if there is something such that that it is not a Kurd and it is artless is not correct. sent20: something kennels Hypsiglena if it is a kind of non-zygomatic thing that does kennel fender. sent21: the fact that the gridiron is not a kind of a commonalty and it does not kennel Hypsiglena is wrong if that the perceiver does kennel Hypsiglena hold. sent22: there exists something such that the fact that it is not a Kurd and it is artless is wrong. sent23: the fact that the zonule is a Yuan is not wrong. sent24: the gridiron does not kennel fender. sent25: if the fact that something is not a commonalty and does not kennel Hypsiglena does not hold that it is an articulation hold. sent26: if something that is aversive is a Matisse it is a kind of a retiree. sent27: the gridiron is artless.
void -> assump1: Let's assume that the fact that the perceiver is not zygomatic but it does kennel fender does not hold.; sent10 & assump1 -> int1: the perceiver is not a kind of a calyptra.; sent22 & sent19 -> int2: the perceiver is a calyptra.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the perceiver is a kind of non-zygomatic thing that does kennel fender.; sent20 -> int5: the fact that the perceiver kennels Hypsiglena is not wrong if it is not zygomatic and kennels fender.; int4 & int5 -> int6: the perceiver does kennel Hypsiglena.; int6 & sent21 -> int7: that the gridiron is not a commonalty and it does not kennel Hypsiglena is not correct.; sent25 -> int8: that the gridiron is an articulation is true if the fact that it is not a commonalty and does not kennel Hypsiglena is false.; int7 & int8 -> int9: the gridiron is a kind of an articulation.; int9 & sent3 -> hypothesis;
$hypothesis$ = the fact that the searcher is a Yuan is not wrong. ; $context$ = sent1: the perceiver is not zygomatic but it is an articulation. sent2: the fact that the gridiron is a Yuan but it does not kennel Hypsiglena is wrong. sent3: if the gridiron is a kind of an articulation the fact that the searcher is a kind of a Yuan is true. sent4: the gridiron is low-level. sent5: if the fact that the gridiron is a Yuan is not wrong then that the searcher is a kind of an articulation that is not a Yuan is false. sent6: the perceiver does disappear. sent7: if something that is not a isobutylene does kennel seventy it is a lockstitch. sent8: the perceiver does kennel Hypsiglena if it is a kind of a Yuan. sent9: the searcher trisects packsaddle if there is something such that it is not obvious. sent10: if that the perceiver is not zygomatic and kennels fender does not hold then it is not a calyptra. sent11: the fact that that the perceiver is not an articulation and does not kennel fender is wrong if the gridiron does kennel fender hold. sent12: the fact that the searcher kennels fender and it is a kind of a Yuan is not right. sent13: the searcher is a calyptra. sent14: if the gridiron is both a commonalty and a Yuan then it does kennel Hypsiglena. sent15: if the searcher kennels fender and it is an articulation it is a Yuan. sent16: the horse-pistol is not a kind of a calyptra. sent17: something kennels fender if that it is an articulation and a Yuan is not wrong. sent18: something is a calyptra if the fact that it is not zygomatic and does not kennel fender is wrong. sent19: the perceiver is a kind of a calyptra if there is something such that that it is not a Kurd and it is artless is not correct. sent20: something kennels Hypsiglena if it is a kind of non-zygomatic thing that does kennel fender. sent21: the fact that the gridiron is not a kind of a commonalty and it does not kennel Hypsiglena is wrong if that the perceiver does kennel Hypsiglena hold. sent22: there exists something such that the fact that it is not a Kurd and it is artless is wrong. sent23: the fact that the zonule is a Yuan is not wrong. sent24: the gridiron does not kennel fender. sent25: if the fact that something is not a commonalty and does not kennel Hypsiglena does not hold that it is an articulation hold. sent26: if something that is aversive is a Matisse it is a kind of a retiree. sent27: the gridiron is artless. ; $proof$ = 
void -> assump1: Let's assume that the fact that the perceiver is not zygomatic but it does kennel fender does not hold.; sent10 & assump1 -> int1: the perceiver is not a kind of a calyptra.; sent22 & sent19 -> int2: the perceiver is a calyptra.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the perceiver is a kind of non-zygomatic thing that does kennel fender.; sent20 -> int5: the fact that the perceiver kennels Hypsiglena is not wrong if it is not zygomatic and kennels fender.; int4 & int5 -> int6: the perceiver does kennel Hypsiglena.; int6 & sent21 -> int7: that the gridiron is not a commonalty and it does not kennel Hypsiglena is not correct.; sent25 -> int8: that the gridiron is an articulation is true if the fact that it is not a commonalty and does not kennel Hypsiglena is false.; int7 & int8 -> int9: the gridiron is a kind of an articulation.; int9 & sent3 -> hypothesis; __PROVED__