the fact that the fact that the anti does fidget utilization and it is homocercal is not correct is not false.
sent1: if the anti is not low-resolution then it fidgets utilization. sent2: the anti is homocercal. sent3: the anti fidgets Lycopus if that it is not low-resolution is right. sent4: that the antlion does not fidget Lycopus is correct. sent5: that the fact that the holdover fidgets Lycopus or chords or both is not true is true. sent6: something is low-resolution. sent7: The fact that the holdover sighs holdover is true. sent8: if there exists something such that it does sigh holdover and it is not a Vilnius the anti is not low-resolution. sent9: the PSA is not a chord. sent10: the fact that the holdover sighs holdover is true. sent11: the holdover does not fidget utilization if the fact that either it is a kind of a methylenedioxymethamphetamine or it does level Pyrex or both is not true. sent12: there is something such that that it does not retrain is not false. sent13: something is not a Vilnius if that it fidgets Lycopus or does chord or both is not correct. sent14: the fact that the holdover does fidget Lycopus and/or is homocercal is wrong.
sent13 -> int1: that the holdover is not a Vilnius is not false if that it does fidget Lycopus and/or does chord is not right.; int1 & sent5 -> int2: the holdover is not a Vilnius.; int2 & sent10 -> int3: the holdover sighs holdover but it is not a kind of a Vilnius.; int3 -> int4: something does sigh holdover and is not a Vilnius.; int4 & sent8 -> int5: the anti is not low-resolution.; int5 & sent1 -> int6: the anti fidgets utilization.; int6 & sent2 -> hypothesis;
$hypothesis$ = the fact that the fact that the anti does fidget utilization and it is homocercal is not correct is not false. ; $context$ = sent1: if the anti is not low-resolution then it fidgets utilization. sent2: the anti is homocercal. sent3: the anti fidgets Lycopus if that it is not low-resolution is right. sent4: that the antlion does not fidget Lycopus is correct. sent5: that the fact that the holdover fidgets Lycopus or chords or both is not true is true. sent6: something is low-resolution. sent7: The fact that the holdover sighs holdover is true. sent8: if there exists something such that it does sigh holdover and it is not a Vilnius the anti is not low-resolution. sent9: the PSA is not a chord. sent10: the fact that the holdover sighs holdover is true. sent11: the holdover does not fidget utilization if the fact that either it is a kind of a methylenedioxymethamphetamine or it does level Pyrex or both is not true. sent12: there is something such that that it does not retrain is not false. sent13: something is not a Vilnius if that it fidgets Lycopus or does chord or both is not correct. sent14: the fact that the holdover does fidget Lycopus and/or is homocercal is wrong. ; $proof$ = 
sent13 -> int1: that the holdover is not a Vilnius is not false if that it does fidget Lycopus and/or does chord is not right.; int1 & sent5 -> int2: the holdover is not a Vilnius.; int2 & sent10 -> int3: the holdover sighs holdover but it is not a kind of a Vilnius.; int3 -> int4: something does sigh holdover and is not a Vilnius.; int4 & sent8 -> int5: the anti is not low-resolution.; int5 & sent1 -> int6: the anti fidgets utilization.; int6 & sent2 -> hypothesis; __DISPROVED__