either the kin is loyal or it startles phytohormone or both.
sent1: the phytohormone does startle phytohormone. sent2: there is something such that it does not dropkick kin. sent3: the fact that the bordelaise is frictional and it winds grub is true if there exists something such that it is not a Austerlitz. sent4: the kin is a Austerlitz. sent5: if something is not a kind of a Austerlitz then the bordelaise winds grub. sent6: if there exists something such that it does privilege the fact that the phytohormone does dropkick Caproidae and it is a Austerlitz is not right. sent7: something does not privilege. sent8: the kin does privilege. sent9: the bordelaise is a kind of a patty-pan. sent10: if the stele does not swelter then that the fact that the kin is loyal and/or it startles phytohormone is incorrect is true. sent11: there exists something such that the fact that it is loyal hold. sent12: something is not frictional. sent13: the bordelaise privileges. sent14: if that the stele is loyal and it is a privileged is wrong the kin does not dropkick Caproidae. sent15: if the stele does not dropkick Caproidae the phytohormone is not a kind of a Austerlitz. sent16: if the bordelaise is frictional then the kin is loyal. sent17: the fact that the stele is a kind of a privileged that does dropkick Caproidae is not true if there is something such that it does swelter. sent18: there is something such that it is a Austerlitz. sent19: there exists something such that it is a privileged. sent20: something swelters. sent21: the phytohormone is not a kind of a Austerlitz if that the stele is a kind of a privileged and dropkicks Caproidae is incorrect. sent22: that the kin is frictional and it is loyal does not hold if there is something such that it winds grub.
sent20 & sent17 -> int1: the fact that that the stele does privilege and it dropkicks Caproidae is not wrong is not correct.; sent21 & int1 -> int2: the fact that the phytohormone is not a Austerlitz hold.; int2 -> int3: there is something such that it is not a Austerlitz.; int3 & sent3 -> int4: the bordelaise is frictional and it does wind grub.; int4 -> int5: the bordelaise is frictional.; sent16 & int5 -> int6: the kin is loyal.; int6 -> hypothesis;
the fact that the kin is loyal and/or does startle phytohormone is wrong.
$hypothesis$ = either the kin is loyal or it startles phytohormone or both. ; $context$ = sent1: the phytohormone does startle phytohormone. sent2: there is something such that it does not dropkick kin. sent3: the fact that the bordelaise is frictional and it winds grub is true if there exists something such that it is not a Austerlitz. sent4: the kin is a Austerlitz. sent5: if something is not a kind of a Austerlitz then the bordelaise winds grub. sent6: if there exists something such that it does privilege the fact that the phytohormone does dropkick Caproidae and it is a Austerlitz is not right. sent7: something does not privilege. sent8: the kin does privilege. sent9: the bordelaise is a kind of a patty-pan. sent10: if the stele does not swelter then that the fact that the kin is loyal and/or it startles phytohormone is incorrect is true. sent11: there exists something such that the fact that it is loyal hold. sent12: something is not frictional. sent13: the bordelaise privileges. sent14: if that the stele is loyal and it is a privileged is wrong the kin does not dropkick Caproidae. sent15: if the stele does not dropkick Caproidae the phytohormone is not a kind of a Austerlitz. sent16: if the bordelaise is frictional then the kin is loyal. sent17: the fact that the stele is a kind of a privileged that does dropkick Caproidae is not true if there is something such that it does swelter. sent18: there is something such that it is a Austerlitz. sent19: there exists something such that it is a privileged. sent20: something swelters. sent21: the phytohormone is not a kind of a Austerlitz if that the stele is a kind of a privileged and dropkicks Caproidae is incorrect. sent22: that the kin is frictional and it is loyal does not hold if there is something such that it winds grub. ; $proof$ = 
sent20 & sent17 -> int1: the fact that that the stele does privilege and it dropkicks Caproidae is not wrong is not correct.; sent21 & int1 -> int2: the fact that the phytohormone is not a Austerlitz hold.; int2 -> int3: there is something such that it is not a Austerlitz.; int3 & sent3 -> int4: the bordelaise is frictional and it does wind grub.; int4 -> int5: the bordelaise is frictional.; sent16 & int5 -> int6: the kin is loyal.; int6 -> hypothesis; __PROVED__