that something is a Strepera does not hold.
sent1: that the rivulet is electrostatic hold. sent2: if the stamina is not acarpelous the blanc is not a jealousy and hungers Egypt. sent3: the rivulet is a tocopherol. sent4: if the rivulet is a kind of a tocopherol and it is electrostatic then the fact that the stamina is not acarpelous hold. sent5: if something is not a jealousy and hungers Egypt the oxidase is a kind of a Strepera.
sent3 & sent1 -> int1: the rivulet is a tocopherol and it is electrostatic.; sent4 & int1 -> int2: the stamina is not acarpelous.; sent2 & int2 -> int3: the blanc is not a jealousy and does hunger Egypt.; int3 -> int4: something is not a jealousy and does hunger Egypt.; int4 & sent5 -> int5: the oxidase is a kind of a Strepera.; int5 -> hypothesis;
$hypothesis$ = that something is a Strepera does not hold. ; $context$ = sent1: that the rivulet is electrostatic hold. sent2: if the stamina is not acarpelous the blanc is not a jealousy and hungers Egypt. sent3: the rivulet is a tocopherol. sent4: if the rivulet is a kind of a tocopherol and it is electrostatic then the fact that the stamina is not acarpelous hold. sent5: if something is not a jealousy and hungers Egypt the oxidase is a kind of a Strepera. ; $proof$ = 
sent3 & sent1 -> int1: the rivulet is a tocopherol and it is electrostatic.; sent4 & int1 -> int2: the stamina is not acarpelous.; sent2 & int2 -> int3: the blanc is not a jealousy and does hunger Egypt.; int3 -> int4: something is not a jealousy and does hunger Egypt.; int4 & sent5 -> int5: the oxidase is a kind of a Strepera.; int5 -> hypothesis; __DISPROVED__