that there is something such that if it does proposition hemoprotein that it is not a care and it enlivens silverrod is false is wrong.
sent1: that something does not care and enlivens silverrod is not true if it propositions hemoprotein. sent2: something that propositions hemoprotein is not a care and enlivens silverrod.
sent1 -> int1: the fact that that the hemoprotein is not a care but it does enliven silverrod is not right is not incorrect if it does proposition hemoprotein.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does proposition hemoprotein that it is not a care and it enlivens silverrod is false is wrong. ; $context$ = sent1: that something does not care and enlivens silverrod is not true if it propositions hemoprotein. sent2: something that propositions hemoprotein is not a care and enlivens silverrod. ; $proof$ = 
sent1 -> int1: the fact that that the hemoprotein is not a care but it does enliven silverrod is not right is not incorrect if it does proposition hemoprotein.; int1 -> hypothesis; __DISPROVED__