that if the motile is not a Confucian then the corridor does not interrelate Veracruz does not hold.
sent1: something is not a Gabriel or it is not Confucian or both if the fact that it interrelates Veracruz is not wrong. sent2: if the corridor does redecorate Blechnum then it does not interrelate Veracruz. sent3: the motile is Confucian if the corridor is a Gabriel. sent4: if the corridor is a kind of a pet and does not redecorate Blechnum it is a Gabriel. sent5: if the fact that the corridor is a pet but it does not redecorate Blechnum is wrong then it interrelates Veracruz. sent6: everything does interrelate Veracruz and is a Bambusa. sent7: the corridor is a Gabriel if it does pet and does redecorate Blechnum. sent8: the corridor does not redecorate Blechnum. sent9: that the corridor is a pet and it does redecorate Blechnum is not correct. sent10: if the fact that the corridor is a pet that does not redecorate Blechnum does not hold then it does not interrelate Veracruz. sent11: the corridor does not redecorate Blechnum if the motile does not pet.
void -> assump2: Let's assume that the corridor does pet and does not redecorate Blechnum.; sent4 & assump2 -> int1: the corridor is a Gabriel.; int1 & sent3 -> int2: the motile is a Confucian.; void -> assump1: Let's assume that the motile is not Confucian.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the corridor does pet but it does not redecorate Blechnum is not true.; int4 & sent10 -> int5: that the corridor does not interrelate Veracruz is true.; [assump1] & int5 -> hypothesis;
that the motile does not redecorate Blechnum is not wrong.
sent6 -> int6: the trigonometrician does interrelate Veracruz and is a Bambusa.; int6 -> int7: the trigonometrician does interrelate Veracruz.; sent1 -> int8: if the trigonometrician does interrelate Veracruz it either is not a kind of a Gabriel or is not a kind of a Confucian or both.; int7 & int8 -> int9: the trigonometrician is not a Gabriel and/or it is non-Confucian.; int9 -> int10: everything is not a Gabriel and/or it is not a Confucian.; int10 -> int11: the corridor is not a Gabriel and/or it is not a Confucian.; int11 -> int12: there exists something such that it is not a Gabriel and/or is not a Confucian.;
$hypothesis$ = that if the motile is not a Confucian then the corridor does not interrelate Veracruz does not hold. ; $context$ = sent1: something is not a Gabriel or it is not Confucian or both if the fact that it interrelates Veracruz is not wrong. sent2: if the corridor does redecorate Blechnum then it does not interrelate Veracruz. sent3: the motile is Confucian if the corridor is a Gabriel. sent4: if the corridor is a kind of a pet and does not redecorate Blechnum it is a Gabriel. sent5: if the fact that the corridor is a pet but it does not redecorate Blechnum is wrong then it interrelates Veracruz. sent6: everything does interrelate Veracruz and is a Bambusa. sent7: the corridor is a Gabriel if it does pet and does redecorate Blechnum. sent8: the corridor does not redecorate Blechnum. sent9: that the corridor is a pet and it does redecorate Blechnum is not correct. sent10: if the fact that the corridor is a pet that does not redecorate Blechnum does not hold then it does not interrelate Veracruz. sent11: the corridor does not redecorate Blechnum if the motile does not pet. ; $proof$ = 
void -> assump2: Let's assume that the corridor does pet and does not redecorate Blechnum.; sent4 & assump2 -> int1: the corridor is a Gabriel.; int1 & sent3 -> int2: the motile is a Confucian.; void -> assump1: Let's assume that the motile is not Confucian.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the corridor does pet but it does not redecorate Blechnum is not true.; int4 & sent10 -> int5: that the corridor does not interrelate Veracruz is true.; [assump1] & int5 -> hypothesis; __DISPROVED__