the fact that there exists something such that if it is a Hungarian it is not a view is not right.
sent1: the half-mast is a kind of a view if it is a ovenbird. sent2: if the half-mast is a ovenbird it is not a kind of a wax. sent3: the pop-up does view. sent4: the half-mast is Hungarian if the fact that it is a kind of a thumbstall is true. sent5: the half-mast views if it is Hungarian. sent6: the withdrawer is not non-Hungarian. sent7: if the half-mast is a Hungarian then it is a ovenbird. sent8: the half-mast is not a view if it is a ovenbird. sent9: the carillon is a Hungarian. sent10: there exists something such that if it is Hungarian then it does view. sent11: the half-mast views.
void -> assump1: Let's assume that the half-mast is a Hungarian.; sent7 & assump1 -> int1: the half-mast is a ovenbird.; int1 & sent8 -> int2: the half-mast is not a kind of a view.; [assump1] & int2 -> int3: if the half-mast is a Hungarian then it is not a view.; int3 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a Hungarian it is not a view is not right. ; $context$ = sent1: the half-mast is a kind of a view if it is a ovenbird. sent2: if the half-mast is a ovenbird it is not a kind of a wax. sent3: the pop-up does view. sent4: the half-mast is Hungarian if the fact that it is a kind of a thumbstall is true. sent5: the half-mast views if it is Hungarian. sent6: the withdrawer is not non-Hungarian. sent7: if the half-mast is a Hungarian then it is a ovenbird. sent8: the half-mast is not a view if it is a ovenbird. sent9: the carillon is a Hungarian. sent10: there exists something such that if it is Hungarian then it does view. sent11: the half-mast views. ; $proof$ = 
void -> assump1: Let's assume that the half-mast is a Hungarian.; sent7 & assump1 -> int1: the half-mast is a ovenbird.; int1 & sent8 -> int2: the half-mast is not a kind of a view.; [assump1] & int2 -> int3: if the half-mast is a Hungarian then it is not a view.; int3 -> hypothesis; __DISPROVED__