the horsehair is not a kind of an arroyo.
sent1: that if that something is an inhalant and/or it is ascensional is incorrect it is not ophthalmic hold. sent2: that the horsehair is ascensional is true if it is not an arroyo. sent3: if that the tandem is ophthalmic and flickers hack is false then it is not a kind of a belly. sent4: the horsehair is not ophthalmic if that it is an inhalant and/or is ascensional is not right. sent5: if the horsehair is not an arroyo that it either is an inhalant or is not ascensional or both is incorrect. sent6: if that the horsehair is not ophthalmic is correct then that the tandem is ophthalmic thing that flickers hack is incorrect. sent7: the tandem is a kind of a belly. sent8: if the tandem does carnify and flickers sexism then it is not ophthalmic. sent9: if that that something is inhalant and/or not ascensional is correct does not hold it is not ophthalmic. sent10: the horsehair is ascensional. sent11: the tandem does not belly if it is non-ophthalmic.
void -> assump1: Let's assume that that the horsehair is not a kind of an arroyo is right.; sent5 & assump1 -> int1: the fact that that the horsehair is a kind of an inhalant and/or it is not ascensional is true does not hold.; sent9 -> int2: if that the horsehair is a kind of an inhalant or it is not ascensional or both does not hold then it is not ophthalmic.; int1 & int2 -> int3: the horsehair is not ophthalmic.; int3 & sent6 -> int4: the fact that the tandem is a kind of ophthalmic thing that does flicker hack does not hold.; int4 & sent3 -> int5: the fact that the tandem is not a belly is not incorrect.; int5 & sent7 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the horsehair is not an arroyo.
$hypothesis$ = the horsehair is not a kind of an arroyo. ; $context$ = sent1: that if that something is an inhalant and/or it is ascensional is incorrect it is not ophthalmic hold. sent2: that the horsehair is ascensional is true if it is not an arroyo. sent3: if that the tandem is ophthalmic and flickers hack is false then it is not a kind of a belly. sent4: the horsehair is not ophthalmic if that it is an inhalant and/or is ascensional is not right. sent5: if the horsehair is not an arroyo that it either is an inhalant or is not ascensional or both is incorrect. sent6: if that the horsehair is not ophthalmic is correct then that the tandem is ophthalmic thing that flickers hack is incorrect. sent7: the tandem is a kind of a belly. sent8: if the tandem does carnify and flickers sexism then it is not ophthalmic. sent9: if that that something is inhalant and/or not ascensional is correct does not hold it is not ophthalmic. sent10: the horsehair is ascensional. sent11: the tandem does not belly if it is non-ophthalmic. ; $proof$ = 
void -> assump1: Let's assume that that the horsehair is not a kind of an arroyo is right.; sent5 & assump1 -> int1: the fact that that the horsehair is a kind of an inhalant and/or it is not ascensional is true does not hold.; sent9 -> int2: if that the horsehair is a kind of an inhalant or it is not ascensional or both does not hold then it is not ophthalmic.; int1 & int2 -> int3: the horsehair is not ophthalmic.; int3 & sent6 -> int4: the fact that the tandem is a kind of ophthalmic thing that does flicker hack does not hold.; int4 & sent3 -> int5: the fact that the tandem is not a belly is not incorrect.; int5 & sent7 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__