the bedder is philological.
sent1: the crinkleroot is not seraphic. sent2: the fact that the element is portable hold if the frijolito infixes luxury. sent3: if something that does not bog shabbiness is not avifaunal then the fact that it is not a kind of a portable is true. sent4: the bedder is philological if the fact that the crinkleroot is both not a Jinghpo and not seraphic is not correct. sent5: the element does not bog shabbiness and is not avifaunal if the pleximeter is anisotropic. sent6: if something infixes luxury and is not a portable it is not philological. sent7: if there exists something such that it does bog shabbiness then the crinkleroot is not avifaunal. sent8: the frijolito is anisotropic. sent9: if the crinkleroot is seraphic then the bedder is philological. sent10: the element does tipple. sent11: the pleximeter is not non-anisotropic. sent12: if something is anisotropic it bogs shabbiness. sent13: if there is something such that it is not avifaunal then the flatmate infixes luxury and/or it is philological. sent14: the element does not bog shabbiness if the fact that the pleximeter is anisotropic hold. sent15: the element does not bog shabbiness. sent16: the crinkleroot is both not seraphic and not avifaunal. sent17: if that the crinkleroot is not a kind of a Jinghpo and is not seraphic is correct then the frijolito infixes luxury. sent18: that something is not a portable is correct if it bogs shabbiness and it is not avifaunal. sent19: if something infixes luxury the fact that it is a portable hold. sent20: the frijolito does infix luxury if the crinkleroot is not a kind of a Jinghpo but it is seraphic. sent21: the fact that the element is not a portable hold if it bogs shabbiness and is not avifaunal. sent22: the fact that the fact that the crinkleroot is not a Jinghpo and is seraphic is correct does not hold.
void -> assump1: Let's assume that the crinkleroot is not a kind of a Jinghpo and is not seraphic.; sent17 & assump1 -> int1: the frijolito infixes luxury.; int1 & sent2 -> int2: the element is portable.; sent3 -> int3: if the element does not bog shabbiness and is not avifaunal then it is not a kind of a portable.; sent5 & sent11 -> int4: the element does not bog shabbiness and is not avifaunal.; int3 & int4 -> int5: the element is not a portable.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the crinkleroot is not a Jinghpo and is not seraphic is not correct.; int7 & sent4 -> hypothesis;
the flatmate is a kind of a portable.
sent12 -> int8: if the frijolito is anisotropic it bogs shabbiness.; sent19 -> int9: if the flatmate infixes luxury it is a portable.;
$hypothesis$ = the bedder is philological. ; $context$ = sent1: the crinkleroot is not seraphic. sent2: the fact that the element is portable hold if the frijolito infixes luxury. sent3: if something that does not bog shabbiness is not avifaunal then the fact that it is not a kind of a portable is true. sent4: the bedder is philological if the fact that the crinkleroot is both not a Jinghpo and not seraphic is not correct. sent5: the element does not bog shabbiness and is not avifaunal if the pleximeter is anisotropic. sent6: if something infixes luxury and is not a portable it is not philological. sent7: if there exists something such that it does bog shabbiness then the crinkleroot is not avifaunal. sent8: the frijolito is anisotropic. sent9: if the crinkleroot is seraphic then the bedder is philological. sent10: the element does tipple. sent11: the pleximeter is not non-anisotropic. sent12: if something is anisotropic it bogs shabbiness. sent13: if there is something such that it is not avifaunal then the flatmate infixes luxury and/or it is philological. sent14: the element does not bog shabbiness if the fact that the pleximeter is anisotropic hold. sent15: the element does not bog shabbiness. sent16: the crinkleroot is both not seraphic and not avifaunal. sent17: if that the crinkleroot is not a kind of a Jinghpo and is not seraphic is correct then the frijolito infixes luxury. sent18: that something is not a portable is correct if it bogs shabbiness and it is not avifaunal. sent19: if something infixes luxury the fact that it is a portable hold. sent20: the frijolito does infix luxury if the crinkleroot is not a kind of a Jinghpo but it is seraphic. sent21: the fact that the element is not a portable hold if it bogs shabbiness and is not avifaunal. sent22: the fact that the fact that the crinkleroot is not a Jinghpo and is seraphic is correct does not hold. ; $proof$ = 
void -> assump1: Let's assume that the crinkleroot is not a kind of a Jinghpo and is not seraphic.; sent17 & assump1 -> int1: the frijolito infixes luxury.; int1 & sent2 -> int2: the element is portable.; sent3 -> int3: if the element does not bog shabbiness and is not avifaunal then it is not a kind of a portable.; sent5 & sent11 -> int4: the element does not bog shabbiness and is not avifaunal.; int3 & int4 -> int5: the element is not a portable.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the crinkleroot is not a Jinghpo and is not seraphic is not correct.; int7 & sent4 -> hypothesis; __PROVED__