the matron does not overreach kylie.
sent1: the fact that the detour is non-distributional a Satie is incorrect if the fact that it overreaches rubdown is not incorrect. sent2: if the detour does overreach rubdown then that it is not distributional and not a Satie is not right. sent3: The rubdown overreaches detour. sent4: if the fact that the oxyphenbutazone does not overreach rubdown and it does not overreach oxyphenbutazone does not hold then the detour does not overreach kylie. sent5: the matron overreaches kylie if it shuns catafalque. sent6: the fact that the detour is distributional but it is not a kind of a Satie is incorrect. sent7: the detour overreaches rubdown. sent8: if something is a dirndl it overreaches oxyphenbutazone. sent9: the fact that the matron does not overreach kylie if the detour does not overreach kylie is true. sent10: if the matron is a Witherspoon then it shuns catafalque. sent11: the matron overreaches oxyphenbutazone if that the detour is not distributional and it is not a Satie is wrong. sent12: the matron is a kind of a dirndl if it overreaches oxyphenbutazone. sent13: the matron is a Witherspoon if it is a dirndl.
sent2 & sent7 -> int1: that the detour is a kind of non-distributional thing that is not a Satie is wrong.; int1 & sent11 -> int2: the matron does overreach oxyphenbutazone.; int2 & sent12 -> int3: the matron is a kind of a dirndl.; int3 & sent13 -> int4: the matron is a Witherspoon.; int4 & sent10 -> int5: the matron shuns catafalque.; int5 & sent5 -> hypothesis;
the matron does not overreach kylie.
$hypothesis$ = the matron does not overreach kylie. ; $context$ = sent1: the fact that the detour is non-distributional a Satie is incorrect if the fact that it overreaches rubdown is not incorrect. sent2: if the detour does overreach rubdown then that it is not distributional and not a Satie is not right. sent3: The rubdown overreaches detour. sent4: if the fact that the oxyphenbutazone does not overreach rubdown and it does not overreach oxyphenbutazone does not hold then the detour does not overreach kylie. sent5: the matron overreaches kylie if it shuns catafalque. sent6: the fact that the detour is distributional but it is not a kind of a Satie is incorrect. sent7: the detour overreaches rubdown. sent8: if something is a dirndl it overreaches oxyphenbutazone. sent9: the fact that the matron does not overreach kylie if the detour does not overreach kylie is true. sent10: if the matron is a Witherspoon then it shuns catafalque. sent11: the matron overreaches oxyphenbutazone if that the detour is not distributional and it is not a Satie is wrong. sent12: the matron is a kind of a dirndl if it overreaches oxyphenbutazone. sent13: the matron is a Witherspoon if it is a dirndl. ; $proof$ = 
sent2 & sent7 -> int1: that the detour is a kind of non-distributional thing that is not a Satie is wrong.; int1 & sent11 -> int2: the matron does overreach oxyphenbutazone.; int2 & sent12 -> int3: the matron is a kind of a dirndl.; int3 & sent13 -> int4: the matron is a Witherspoon.; int4 & sent10 -> int5: the matron shuns catafalque.; int5 & sent5 -> hypothesis; __DISPROVED__