that the cayuse retires and it is not non-small is not correct.
sent1: that the gyrocompass does not severalize pedicure and it is not nice does not hold if the fact that the active does severalize pedicure is right. sent2: the oleander is not a bookworm. sent3: if the active severalizes pedicure that the gyrocompass does not severalizes pedicure and is nice does not hold. sent4: that the turnoff is indoor and it does tat is wrong if the oleander is not a kind of a bookworm. sent5: the fact that if the fact that the active is not a kind of a bookworm and it is not nice is incorrect then the Burnside severalizes pedicure is not wrong. sent6: the active does retire if the cayuse is small. sent7: if the fact that something does not manhandle khanate but it is a kind of an imprint is not correct it severalizes pedicure. sent8: the fact that the cayuse does retire is not incorrect if the Burnside is a kind of a bookworm. sent9: if the gyrocompass is not a schlock the active is not a small. sent10: the gnatcatcher manhandles khanate and is not an imprint if there is something such that it does severalize pedicure. sent11: if the gyrocompass is nice it imprints. sent12: the fact that the cayuse is a small is true. sent13: the fact that something is not nice and does not severalize pedicure is wrong if it is not indoor. sent14: that the active severalizes pedicure and does not retire is not right if the cayuse does severalizes pedicure. sent15: the fact that the Burnside does not severalize pedicure and it is not a bookworm is wrong. sent16: if the fact that something is a kind of non-nice thing that does not severalize pedicure does not hold it severalize pedicure. sent17: if the gnatcatcher manhandles khanate but it is not an imprint the gyrocompass is not a schlock. sent18: the fact that the Burnside is a kind of a bookworm is not false if the gnatcatcher is indoor. sent19: if that the gyrocompass does not severalize pedicure and is not nice is false then the gnatcatcher is indoor. sent20: there is something such that it is a schlock. sent21: if there exists something such that the fact that it is a kind of indoor thing that does tat does not hold the Burnside is not indoor. sent22: the fact that the active does not manhandle khanate and is an imprint is incorrect if there exists something such that it is a schlock.
sent20 & sent22 -> int1: that the active does not manhandle khanate and imprints is wrong.; sent7 -> int2: the active does severalize pedicure if the fact that it does not manhandle khanate and imprints is not true.; int1 & int2 -> int3: the active does severalize pedicure.; int3 & sent1 -> int4: that the gyrocompass does not severalize pedicure and it is not nice is wrong.; int4 & sent19 -> int5: the gnatcatcher is indoor.; int5 & sent18 -> int6: the Burnside is a bookworm.; int6 & sent8 -> int7: the cayuse retires.; int7 & sent12 -> hypothesis;
the fact that the cayuse does retire and it is a small does not hold.
sent16 -> int8: if the fact that the Burnside is a kind of non-nice thing that does not severalize pedicure does not hold it does severalize pedicure.; sent13 -> int9: that the Burnside is a kind of non-nice thing that does not severalize pedicure is not correct if it is not indoor.; sent4 & sent2 -> int10: the fact that the turnoff is indoor thing that does tat is false.; int10 -> int11: there is something such that that it is a kind of indoor thing that does tat does not hold.; int11 & sent21 -> int12: the Burnside is not indoor.; int9 & int12 -> int13: that the Burnside is not nice and does not severalize pedicure is wrong.; int8 & int13 -> int14: the Burnside severalizes pedicure.; int14 -> int15: there exists something such that it severalizes pedicure.; int15 & sent10 -> int16: the gnatcatcher does manhandle khanate but it is not an imprint.; sent17 & int16 -> int17: the gyrocompass is not a kind of a schlock.; sent9 & int17 -> int18: the active is not a small.; int18 -> int19: there exists something such that it is not small.;
$hypothesis$ = that the cayuse retires and it is not non-small is not correct. ; $context$ = sent1: that the gyrocompass does not severalize pedicure and it is not nice does not hold if the fact that the active does severalize pedicure is right. sent2: the oleander is not a bookworm. sent3: if the active severalizes pedicure that the gyrocompass does not severalizes pedicure and is nice does not hold. sent4: that the turnoff is indoor and it does tat is wrong if the oleander is not a kind of a bookworm. sent5: the fact that if the fact that the active is not a kind of a bookworm and it is not nice is incorrect then the Burnside severalizes pedicure is not wrong. sent6: the active does retire if the cayuse is small. sent7: if the fact that something does not manhandle khanate but it is a kind of an imprint is not correct it severalizes pedicure. sent8: the fact that the cayuse does retire is not incorrect if the Burnside is a kind of a bookworm. sent9: if the gyrocompass is not a schlock the active is not a small. sent10: the gnatcatcher manhandles khanate and is not an imprint if there is something such that it does severalize pedicure. sent11: if the gyrocompass is nice it imprints. sent12: the fact that the cayuse is a small is true. sent13: the fact that something is not nice and does not severalize pedicure is wrong if it is not indoor. sent14: that the active severalizes pedicure and does not retire is not right if the cayuse does severalizes pedicure. sent15: the fact that the Burnside does not severalize pedicure and it is not a bookworm is wrong. sent16: if the fact that something is a kind of non-nice thing that does not severalize pedicure does not hold it severalize pedicure. sent17: if the gnatcatcher manhandles khanate but it is not an imprint the gyrocompass is not a schlock. sent18: the fact that the Burnside is a kind of a bookworm is not false if the gnatcatcher is indoor. sent19: if that the gyrocompass does not severalize pedicure and is not nice is false then the gnatcatcher is indoor. sent20: there is something such that it is a schlock. sent21: if there exists something such that the fact that it is a kind of indoor thing that does tat does not hold the Burnside is not indoor. sent22: the fact that the active does not manhandle khanate and is an imprint is incorrect if there exists something such that it is a schlock. ; $proof$ = 
sent20 & sent22 -> int1: that the active does not manhandle khanate and imprints is wrong.; sent7 -> int2: the active does severalize pedicure if the fact that it does not manhandle khanate and imprints is not true.; int1 & int2 -> int3: the active does severalize pedicure.; int3 & sent1 -> int4: that the gyrocompass does not severalize pedicure and it is not nice is wrong.; int4 & sent19 -> int5: the gnatcatcher is indoor.; int5 & sent18 -> int6: the Burnside is a bookworm.; int6 & sent8 -> int7: the cayuse retires.; int7 & sent12 -> hypothesis; __DISPROVED__