if the technophobe disabuses catch then the cowl does hand grogginess.
sent1: the Haida does hand grogginess and it overstrains Maximian. sent2: if that something is neritic and is not a kind of a grocery is incorrect it is a tenor. sent3: the technophobe is not a grocery. sent4: the Haida does not seat if there is something such that it overstrains Boniface. sent5: if the Python is a grocery the technophobe overstrains Boniface. sent6: something that hands grogginess and is not a seat does not disabuse catch. sent7: if that something is immutable but it is not impolitic is not right it is not non-ventilatory. sent8: something is a tenor and is a kind of a uterus if it does not disabuse catch. sent9: the technophobe does overstrain Boniface and it does overstrain Lancashire. sent10: a grocery is a tenor. sent11: the Python is a kind of a seat that does overstrain Boniface. sent12: the Python is a kind of a uterus. sent13: if the Python is a kind of a seat that overstrains Boniface then the technophobe is not a uterus. sent14: there exists something such that it is a tenor. sent15: if something that is a tenor disabuses catch the fact that the cowl hands grogginess is correct. sent16: if the technophobe is neritic but it is not a grocery it is a uterus. sent17: the fact that the technophobe is neritic and it is a kind of a grocery is incorrect.
void -> assump2: Let's assume that the technophobe is neritic but it is not a grocery.; sent16 & assump2 -> int1: the technophobe is a kind of a uterus.; sent13 & sent11 -> int2: the technophobe is not a uterus.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the technophobe is neritic but it is not a grocery is not right.; sent2 -> int5: if that the technophobe is neritic and is not a grocery is false then it is a kind of a tenor.; int4 & int5 -> int6: the technophobe is a tenor.; void -> assump1: Let's assume that the technophobe disabuses catch.; int6 & assump1 -> int7: the technophobe is a tenor and it does disabuse catch.; int7 -> int8: there exists something such that it is a tenor that disabuses catch.; int8 & sent15 -> int9: the cowl does hand grogginess.; [assump1] & int9 -> hypothesis;
the Haida is a tenor.
sent8 -> int10: the Haida is a tenor and it is a kind of a uterus if it does not disabuse catch.; sent6 -> int11: if the Haida hands grogginess but it is not a seat it does not disabuse catch.; sent1 -> int12: the Haida does hand grogginess.; sent9 -> int13: the technophobe overstrains Boniface.; int13 -> int14: there exists something such that it overstrains Boniface.; int14 & sent4 -> int15: the Haida is not a kind of a seat.; int12 & int15 -> int16: the Haida does hand grogginess but it does not seat.; int11 & int16 -> int17: the Haida does not disabuse catch.; int10 & int17 -> int18: the Haida is a tenor and a uterus.; int18 -> hypothesis;
$hypothesis$ = if the technophobe disabuses catch then the cowl does hand grogginess. ; $context$ = sent1: the Haida does hand grogginess and it overstrains Maximian. sent2: if that something is neritic and is not a kind of a grocery is incorrect it is a tenor. sent3: the technophobe is not a grocery. sent4: the Haida does not seat if there is something such that it overstrains Boniface. sent5: if the Python is a grocery the technophobe overstrains Boniface. sent6: something that hands grogginess and is not a seat does not disabuse catch. sent7: if that something is immutable but it is not impolitic is not right it is not non-ventilatory. sent8: something is a tenor and is a kind of a uterus if it does not disabuse catch. sent9: the technophobe does overstrain Boniface and it does overstrain Lancashire. sent10: a grocery is a tenor. sent11: the Python is a kind of a seat that does overstrain Boniface. sent12: the Python is a kind of a uterus. sent13: if the Python is a kind of a seat that overstrains Boniface then the technophobe is not a uterus. sent14: there exists something such that it is a tenor. sent15: if something that is a tenor disabuses catch the fact that the cowl hands grogginess is correct. sent16: if the technophobe is neritic but it is not a grocery it is a uterus. sent17: the fact that the technophobe is neritic and it is a kind of a grocery is incorrect. ; $proof$ = 
void -> assump2: Let's assume that the technophobe is neritic but it is not a grocery.; sent16 & assump2 -> int1: the technophobe is a kind of a uterus.; sent13 & sent11 -> int2: the technophobe is not a uterus.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the technophobe is neritic but it is not a grocery is not right.; sent2 -> int5: if that the technophobe is neritic and is not a grocery is false then it is a kind of a tenor.; int4 & int5 -> int6: the technophobe is a tenor.; void -> assump1: Let's assume that the technophobe disabuses catch.; int6 & assump1 -> int7: the technophobe is a tenor and it does disabuse catch.; int7 -> int8: there exists something such that it is a tenor that disabuses catch.; int8 & sent15 -> int9: the cowl does hand grogginess.; [assump1] & int9 -> hypothesis; __PROVED__