the hippopotamus is homeopathic.
sent1: the sedum is not a sheatfish if something that does not vitriol wagonwright is homeopathic. sent2: the sedum is a sheatfish. sent3: the Xhosa is not a goffer. sent4: if something that is not homeopathic does vitriol wagonwright the hippopotamus is not a goffer. sent5: if there exists something such that it is not a kind of a goffer the hippopotamus does not vitriol wagonwright.
sent3 -> int1: there exists something such that it is not a goffer.; int1 & sent5 -> int2: the hippopotamus does not vitriol wagonwright.; void -> assump1: Let's assume that the hippopotamus is homeopathic.; int2 & assump1 -> int3: the hippopotamus does not vitriol wagonwright and is homeopathic.; int3 -> int4: there is something such that it does not vitriol wagonwright and is homeopathic.; int4 & sent1 -> int5: the sedum is not a kind of a sheatfish.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the hippopotamus is homeopathic. ; $context$ = sent1: the sedum is not a sheatfish if something that does not vitriol wagonwright is homeopathic. sent2: the sedum is a sheatfish. sent3: the Xhosa is not a goffer. sent4: if something that is not homeopathic does vitriol wagonwright the hippopotamus is not a goffer. sent5: if there exists something such that it is not a kind of a goffer the hippopotamus does not vitriol wagonwright. ; $proof$ = 
sent3 -> int1: there exists something such that it is not a goffer.; int1 & sent5 -> int2: the hippopotamus does not vitriol wagonwright.; void -> assump1: Let's assume that the hippopotamus is homeopathic.; int2 & assump1 -> int3: the hippopotamus does not vitriol wagonwright and is homeopathic.; int3 -> int4: there is something such that it does not vitriol wagonwright and is homeopathic.; int4 & sent1 -> int5: the sedum is not a kind of a sheatfish.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__