the fact that the khan shines Fosbury and is a viewer does not hold.
sent1: the fact that the effector is a mammy is false if it fences. sent2: something reddens effector and reddens diazepam. sent3: the khan shines Fosbury if there is something such that it is introspective and it is not unpreventable. sent4: if something is not a kind of a mammy it is introspective. sent5: the effector is not a reversible if it is not a kind of a fencing. sent6: there is something such that that it is a reversible hold. sent7: if the effector is not reversible then that the khan does shine Fosbury and it is a viewer does not hold. sent8: the fact that if that the khan is not myotonic is not false the khan is not a Electrophorus is not wrong. sent9: something is not a mammy if the fact that it is not a fencing and it is unnatural is not right. sent10: there is something such that it is introspective. sent11: the fact that the effector is not a fencing but unnatural is incorrect if there exists something such that it is a reversible. sent12: something that is not a mammy is both introspective and not unpreventable. sent13: the khan is a viewer and a work if it is not a kind of a Electrophorus. sent14: the khan is not myotonic.
sent6 & sent11 -> int1: the fact that the effector is not a kind of a fencing but it is unnatural is incorrect.; sent9 -> int2: the effector is not a kind of a mammy if the fact that it is not a fencing and it is unnatural is wrong.; int1 & int2 -> int3: the effector is not a kind of a mammy.; sent12 -> int4: the effector is introspective but it is not unpreventable if it is not a mammy.; int3 & int4 -> int5: the effector is introspective but not unpreventable.; int5 -> int6: there are introspective and preventable things.; int6 & sent3 -> int7: the fact that the khan does shine Fosbury hold.; sent8 & sent14 -> int8: the khan is not a kind of a Electrophorus.; sent13 & int8 -> int9: the khan is both a viewer and a work.; int9 -> int10: the khan is a viewer.; int7 & int10 -> hypothesis;
that the khan does shine Fosbury and is a viewer does not hold.
$hypothesis$ = the fact that the khan shines Fosbury and is a viewer does not hold. ; $context$ = sent1: the fact that the effector is a mammy is false if it fences. sent2: something reddens effector and reddens diazepam. sent3: the khan shines Fosbury if there is something such that it is introspective and it is not unpreventable. sent4: if something is not a kind of a mammy it is introspective. sent5: the effector is not a reversible if it is not a kind of a fencing. sent6: there is something such that that it is a reversible hold. sent7: if the effector is not reversible then that the khan does shine Fosbury and it is a viewer does not hold. sent8: the fact that if that the khan is not myotonic is not false the khan is not a Electrophorus is not wrong. sent9: something is not a mammy if the fact that it is not a fencing and it is unnatural is not right. sent10: there is something such that it is introspective. sent11: the fact that the effector is not a fencing but unnatural is incorrect if there exists something such that it is a reversible. sent12: something that is not a mammy is both introspective and not unpreventable. sent13: the khan is a viewer and a work if it is not a kind of a Electrophorus. sent14: the khan is not myotonic. ; $proof$ = 
sent6 & sent11 -> int1: the fact that the effector is not a kind of a fencing but it is unnatural is incorrect.; sent9 -> int2: the effector is not a kind of a mammy if the fact that it is not a fencing and it is unnatural is wrong.; int1 & int2 -> int3: the effector is not a kind of a mammy.; sent12 -> int4: the effector is introspective but it is not unpreventable if it is not a mammy.; int3 & int4 -> int5: the effector is introspective but not unpreventable.; int5 -> int6: there are introspective and preventable things.; int6 & sent3 -> int7: the fact that the khan does shine Fosbury hold.; sent8 & sent14 -> int8: the khan is not a kind of a Electrophorus.; sent13 & int8 -> int9: the khan is both a viewer and a work.; int9 -> int10: the khan is a viewer.; int7 & int10 -> hypothesis; __DISPROVED__