the antiproton is not bivalent.
sent1: if the antiproton is a bridle it is a Veratrum. sent2: if the fact that the preparation does bridle is not wrong it is not a sociable. sent3: something does outgeneral gargle and/or it does not outgeneral multivitamin if it is not a kind of a sociable. sent4: if something does ding Monopoly that it is not hydrodynamics and it is not a kind of a Veratrum does not hold. sent5: if something dings Monopoly then that that it is hydrodynamics and is not a Veratrum is not incorrect is false. sent6: that the preparation does not ding Monopoly and it is not a Serranus is wrong if it is a sociable. sent7: the viewers is not a Serranus if there is something such that it does not outgeneral multivitamin. sent8: there is something such that it does outgeneral gargle or it outgenerals multivitamin or both. sent9: if that something is not hydrodynamics and not a Veratrum is false then it is bivalent. sent10: that the antiproton is hydrodynamics but it is not a Veratrum is false if it dings Monopoly. sent11: the preparation is a kind of a bridle. sent12: there is something such that the fact that it does not bridle and it is a kind of a groupie does not hold. sent13: that if there is something such that it does outgeneral gargle and/or it does not outgeneral multivitamin then the viewers is not a kind of a Serranus is true. sent14: the antiproton dings Monopoly if the viewers is not a Serranus. sent15: the antiproton is bivalent if it is hydrodynamics. sent16: if a hydrodynamics thing is a Veratrum then it does not ding Monopoly. sent17: if something is not a sociable and it is not a Serranus it is not bivalent.
sent3 -> int1: the preparation does outgeneral gargle or does not outgeneral multivitamin or both if it is not a sociable.; sent2 & sent11 -> int2: that the preparation is not a sociable is not wrong.; int1 & int2 -> int3: the preparation outgenerals gargle or it does not outgeneral multivitamin or both.; int3 -> int4: the fact that there exists something such that it either outgenerals gargle or does not outgeneral multivitamin or both is not wrong.; int4 & sent13 -> int5: the viewers is not a Serranus.; int5 & sent14 -> int6: the antiproton does ding Monopoly.; sent4 -> int7: that the antiproton is both not hydrodynamics and not a Veratrum does not hold if that it dings Monopoly hold.; int6 & int7 -> int8: the fact that the antiproton is not hydrodynamics and it is not a Veratrum is not right.; sent9 -> int9: the antiproton is bivalent if the fact that it is both not hydrodynamics and not a Veratrum is not true.; int8 & int9 -> hypothesis;
the fact that the antiproton is not bivalent is true.
sent17 -> int10: the fact that the antiproton is not bivalent is correct if it is not sociable and it is not a Serranus.; sent16 -> int11: if the antiproton is hydrodynamics and it is a Veratrum then it does not ding Monopoly.;
$hypothesis$ = the antiproton is not bivalent. ; $context$ = sent1: if the antiproton is a bridle it is a Veratrum. sent2: if the fact that the preparation does bridle is not wrong it is not a sociable. sent3: something does outgeneral gargle and/or it does not outgeneral multivitamin if it is not a kind of a sociable. sent4: if something does ding Monopoly that it is not hydrodynamics and it is not a kind of a Veratrum does not hold. sent5: if something dings Monopoly then that that it is hydrodynamics and is not a Veratrum is not incorrect is false. sent6: that the preparation does not ding Monopoly and it is not a Serranus is wrong if it is a sociable. sent7: the viewers is not a Serranus if there is something such that it does not outgeneral multivitamin. sent8: there is something such that it does outgeneral gargle or it outgenerals multivitamin or both. sent9: if that something is not hydrodynamics and not a Veratrum is false then it is bivalent. sent10: that the antiproton is hydrodynamics but it is not a Veratrum is false if it dings Monopoly. sent11: the preparation is a kind of a bridle. sent12: there is something such that the fact that it does not bridle and it is a kind of a groupie does not hold. sent13: that if there is something such that it does outgeneral gargle and/or it does not outgeneral multivitamin then the viewers is not a kind of a Serranus is true. sent14: the antiproton dings Monopoly if the viewers is not a Serranus. sent15: the antiproton is bivalent if it is hydrodynamics. sent16: if a hydrodynamics thing is a Veratrum then it does not ding Monopoly. sent17: if something is not a sociable and it is not a Serranus it is not bivalent. ; $proof$ = 
sent3 -> int1: the preparation does outgeneral gargle or does not outgeneral multivitamin or both if it is not a sociable.; sent2 & sent11 -> int2: that the preparation is not a sociable is not wrong.; int1 & int2 -> int3: the preparation outgenerals gargle or it does not outgeneral multivitamin or both.; int3 -> int4: the fact that there exists something such that it either outgenerals gargle or does not outgeneral multivitamin or both is not wrong.; int4 & sent13 -> int5: the viewers is not a Serranus.; int5 & sent14 -> int6: the antiproton does ding Monopoly.; sent4 -> int7: that the antiproton is both not hydrodynamics and not a Veratrum does not hold if that it dings Monopoly hold.; int6 & int7 -> int8: the fact that the antiproton is not hydrodynamics and it is not a Veratrum is not right.; sent9 -> int9: the antiproton is bivalent if the fact that it is both not hydrodynamics and not a Veratrum is not true.; int8 & int9 -> hypothesis; __DISPROVED__