the fact that there is something such that it is not a Reticulum and it does not drizzle rift does not hold.
sent1: the earplug does not drizzle rift. sent2: The rift does not drizzle earplug. sent3: the earplug is not mortal but it is a twang if it is not a kind of a Dufy. sent4: if that the earplug is not mortal but it does twang is right then it is not a Reticulum. sent5: the condylion is a kind of a shanghaier. sent6: that the earplug is not a saxifrage but it is a theatrical is wrong if the condylion is a kind of a shanghaier. sent7: if that something is not a saxifrage but a theatrical is not right it is not a kind of a Dufy.
sent6 & sent5 -> int1: that the earplug is not a saxifrage but it is theatrical is not true.; sent7 -> int2: the earplug is not a Dufy if the fact that it is not a saxifrage and it is a kind of a theatrical is not right.; int1 & int2 -> int3: the earplug is not a Dufy.; int3 & sent3 -> int4: the earplug is not mortal but it is a kind of a twang.; int4 & sent4 -> int5: the earplug is not a Reticulum.; int5 & sent1 -> int6: the earplug is not a Reticulum and does not drizzle rift.; int6 -> hypothesis;
$hypothesis$ = the fact that there is something such that it is not a Reticulum and it does not drizzle rift does not hold. ; $context$ = sent1: the earplug does not drizzle rift. sent2: The rift does not drizzle earplug. sent3: the earplug is not mortal but it is a twang if it is not a kind of a Dufy. sent4: if that the earplug is not mortal but it does twang is right then it is not a Reticulum. sent5: the condylion is a kind of a shanghaier. sent6: that the earplug is not a saxifrage but it is a theatrical is wrong if the condylion is a kind of a shanghaier. sent7: if that something is not a saxifrage but a theatrical is not right it is not a kind of a Dufy. ; $proof$ = 
sent6 & sent5 -> int1: that the earplug is not a saxifrage but it is theatrical is not true.; sent7 -> int2: the earplug is not a Dufy if the fact that it is not a saxifrage and it is a kind of a theatrical is not right.; int1 & int2 -> int3: the earplug is not a Dufy.; int3 & sent3 -> int4: the earplug is not mortal but it is a kind of a twang.; int4 & sent4 -> int5: the earplug is not a Reticulum.; int5 & sent1 -> int6: the earplug is not a Reticulum and does not drizzle rift.; int6 -> hypothesis; __DISPROVED__