the modernist is not a Italian and it is not a winter.
sent1: if the here is not a venule then the modernist is not Italian and it is not a kind of a winter. sent2: the nativist is not ciliate and it does not shine Amentiferae if there is something such that it is not phrenic. sent3: the diamagnet reddens unicyclist if the nativist is not a ciliate and does not shine Amentiferae. sent4: if something is autogenous then the fact that it is hydrodynamics is right. sent5: if the nativist is not phrenic the fact that the modernist is not a Italian and it is not a kind of a winter is false. sent6: the estaminet either is a westerly or fixates or both. sent7: the here is not a kind of a venule if something is a kind of hydrodynamics thing that does fixate. sent8: if the estaminet is a westerly the diamagnet fixates. sent9: there is something such that it is not phrenic. sent10: if the fact that something shines Amentiferae and it is a kind of a ciliate hold then it is non-phrenic. sent11: if the estaminet does fixate then the diamagnet does fixate. sent12: if something reddens unicyclist then it is autogenous.
sent9 & sent2 -> int1: the nativist is not a ciliate and does not shine Amentiferae.; int1 & sent3 -> int2: the fact that the diamagnet reddens unicyclist is right.; sent12 -> int3: if the fact that the diamagnet reddens unicyclist hold that it is autogenous is correct.; int2 & int3 -> int4: the diamagnet is autogenous.; sent4 -> int5: the diamagnet is hydrodynamics if it is autogenous.; int4 & int5 -> int6: the diamagnet is hydrodynamics.; sent6 & sent8 & sent11 -> int7: that the diamagnet does fixate is not false.; int6 & int7 -> int8: the diamagnet is hydrodynamics and it fixates.; int8 -> int9: there is something such that it is hydrodynamics and it does fixate.; int9 & sent7 -> int10: the here is not a venule.; int10 & sent1 -> hypothesis;
that the modernist is both non-Italian and not a winter does not hold.
sent10 -> int11: if the nativist does shine Amentiferae and is a ciliate then it is not phrenic.;
$hypothesis$ = the modernist is not a Italian and it is not a winter. ; $context$ = sent1: if the here is not a venule then the modernist is not Italian and it is not a kind of a winter. sent2: the nativist is not ciliate and it does not shine Amentiferae if there is something such that it is not phrenic. sent3: the diamagnet reddens unicyclist if the nativist is not a ciliate and does not shine Amentiferae. sent4: if something is autogenous then the fact that it is hydrodynamics is right. sent5: if the nativist is not phrenic the fact that the modernist is not a Italian and it is not a kind of a winter is false. sent6: the estaminet either is a westerly or fixates or both. sent7: the here is not a kind of a venule if something is a kind of hydrodynamics thing that does fixate. sent8: if the estaminet is a westerly the diamagnet fixates. sent9: there is something such that it is not phrenic. sent10: if the fact that something shines Amentiferae and it is a kind of a ciliate hold then it is non-phrenic. sent11: if the estaminet does fixate then the diamagnet does fixate. sent12: if something reddens unicyclist then it is autogenous. ; $proof$ = 
sent9 & sent2 -> int1: the nativist is not a ciliate and does not shine Amentiferae.; int1 & sent3 -> int2: the fact that the diamagnet reddens unicyclist is right.; sent12 -> int3: if the fact that the diamagnet reddens unicyclist hold that it is autogenous is correct.; int2 & int3 -> int4: the diamagnet is autogenous.; sent4 -> int5: the diamagnet is hydrodynamics if it is autogenous.; int4 & int5 -> int6: the diamagnet is hydrodynamics.; sent6 & sent8 & sent11 -> int7: that the diamagnet does fixate is not false.; int6 & int7 -> int8: the diamagnet is hydrodynamics and it fixates.; int8 -> int9: there is something such that it is hydrodynamics and it does fixate.; int9 & sent7 -> int10: the here is not a venule.; int10 & sent1 -> hypothesis; __PROVED__