the iron is a ketone and a saraband.
sent1: everything is a Leningrad and/or it is acronymic. sent2: the vertebrate is a Minoan. sent3: if the iron is not a Iranian the fact that the headwater is not a Minoan or it sheers shove-halfpenny or both is not true. sent4: that the iron does not sheer shove-halfpenny and/or is a saraband does not hold if the headwater is not a Iranian. sent5: something is nonparticulate if that it is not non-Iranian is true. sent6: everything is not a Minoan and/or it sheers shove-halfpenny. sent7: the frogfish is a kind of a dualism. sent8: the headwater is a ketone. sent9: the fact that the fact that the acrodont is not a saraband and is not a kind of a dualism hold is incorrect. sent10: everything either sheers shove-halfpenny or is a saraband or both. sent11: the headwater is a ketone if it is a Minoan. sent12: the iron is a ketone if that it is nonparticulate is correct. sent13: the iron is a dualism and/or it is nonparticulate. sent14: the headwater is a Iranian. sent15: the iron is a oropharynx. sent16: the iron is a saraband if the fact that the acrodont is not a saraband and it is not a dualism is not correct. sent17: the fact that the iron is not a Minoan is not incorrect. sent18: the acrodont is nonparticulate. sent19: the fact that the headwater is awful thing that is not nonintellectual does not hold.
void -> assump1: Let's assume that that the iron is not Iranian is right.; sent3 & assump1 -> int1: the fact that either the headwater is not Minoan or it does sheer shove-halfpenny or both is not right.; sent6 -> int2: the headwater is non-Minoan and/or sheers shove-halfpenny.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the iron is a kind of a Iranian.; sent5 -> int5: if the iron is not non-Iranian it is nonparticulate.; int4 & int5 -> int6: the iron is nonparticulate.; int6 & sent12 -> int7: the iron is a ketone.; sent16 & sent9 -> int8: the iron is a kind of a saraband.; int7 & int8 -> hypothesis;
$hypothesis$ = the iron is a ketone and a saraband. ; $context$ = sent1: everything is a Leningrad and/or it is acronymic. sent2: the vertebrate is a Minoan. sent3: if the iron is not a Iranian the fact that the headwater is not a Minoan or it sheers shove-halfpenny or both is not true. sent4: that the iron does not sheer shove-halfpenny and/or is a saraband does not hold if the headwater is not a Iranian. sent5: something is nonparticulate if that it is not non-Iranian is true. sent6: everything is not a Minoan and/or it sheers shove-halfpenny. sent7: the frogfish is a kind of a dualism. sent8: the headwater is a ketone. sent9: the fact that the fact that the acrodont is not a saraband and is not a kind of a dualism hold is incorrect. sent10: everything either sheers shove-halfpenny or is a saraband or both. sent11: the headwater is a ketone if it is a Minoan. sent12: the iron is a ketone if that it is nonparticulate is correct. sent13: the iron is a dualism and/or it is nonparticulate. sent14: the headwater is a Iranian. sent15: the iron is a oropharynx. sent16: the iron is a saraband if the fact that the acrodont is not a saraband and it is not a dualism is not correct. sent17: the fact that the iron is not a Minoan is not incorrect. sent18: the acrodont is nonparticulate. sent19: the fact that the headwater is awful thing that is not nonintellectual does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the iron is not Iranian is right.; sent3 & assump1 -> int1: the fact that either the headwater is not Minoan or it does sheer shove-halfpenny or both is not right.; sent6 -> int2: the headwater is non-Minoan and/or sheers shove-halfpenny.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the iron is a kind of a Iranian.; sent5 -> int5: if the iron is not non-Iranian it is nonparticulate.; int4 & int5 -> int6: the iron is nonparticulate.; int6 & sent12 -> int7: the iron is a ketone.; sent16 & sent9 -> int8: the iron is a kind of a saraband.; int7 & int8 -> hypothesis; __PROVED__