the jujube is a Catha and/or does not harden Agriculture if the cyclopropane is not a motorboat.
sent1: if the cyclopropane is not curtainless then that the fact that it is both not a Catha and citrous is not wrong is not right. sent2: the fact that the cyclopropane is a damourite that is curtainless is false if it does not bond. sent3: if the jujube is a damourite and it hardens Agriculture then the cyclopropane is a motorboat. sent4: if something that is not a Catha does not harden Agriculture then it is not citrous. sent5: the jujube is a brisance or does not harden Agriculture or both. sent6: if the cyclopropane does not bond that it is not a damourite but curtainless is incorrect. sent7: the jujube is citrous. sent8: if the jujube is not a damourite then the cyclopropane is curtainless and/or citrous. sent9: the jujube hardens Agriculture. sent10: the jujube is not a motorboat. sent11: the jujube is a Catha and/or it is a bonding. sent12: if that the cyclopropane is not a damourite but it is curtainless does not hold it is a motorboat. sent13: if the cyclopropane motorboats then the jujube is a Catha and/or it does not harden Agriculture. sent14: the jujube is a Catha and/or does harden Agriculture if the cyclopropane does not motorboat. sent15: the Afghan is a Catha. sent16: the horsefly does restart willet and/or it does not harden prescience. sent17: if the cyclopropane is a bonding and is not non-citrous then the jujube does not harden Agriculture. sent18: the jujube is a kind of a damourite or it is angiocarpic or both. sent19: if the rubberneck does harden amateurishness then it is not a Catha and it does not harden Agriculture.
void -> assump1: Let's assume that the cyclopropane is not a kind of a bonding.; sent6 & assump1 -> int1: the fact that the cyclopropane is not a kind of a damourite and is curtainless is not right.; int1 & sent12 -> int2: the cyclopropane motorboats.; void -> assump2: Let's assume that the fact that the cyclopropane motorboats is incorrect.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cyclopropane does bond.;
the fact that the rubberneck does motorboat is right.
sent4 -> int5: that the rubberneck is not citrous if the rubberneck is not a Catha and does not harden Agriculture hold.;
$hypothesis$ = the jujube is a Catha and/or does not harden Agriculture if the cyclopropane is not a motorboat. ; $context$ = sent1: if the cyclopropane is not curtainless then that the fact that it is both not a Catha and citrous is not wrong is not right. sent2: the fact that the cyclopropane is a damourite that is curtainless is false if it does not bond. sent3: if the jujube is a damourite and it hardens Agriculture then the cyclopropane is a motorboat. sent4: if something that is not a Catha does not harden Agriculture then it is not citrous. sent5: the jujube is a brisance or does not harden Agriculture or both. sent6: if the cyclopropane does not bond that it is not a damourite but curtainless is incorrect. sent7: the jujube is citrous. sent8: if the jujube is not a damourite then the cyclopropane is curtainless and/or citrous. sent9: the jujube hardens Agriculture. sent10: the jujube is not a motorboat. sent11: the jujube is a Catha and/or it is a bonding. sent12: if that the cyclopropane is not a damourite but it is curtainless does not hold it is a motorboat. sent13: if the cyclopropane motorboats then the jujube is a Catha and/or it does not harden Agriculture. sent14: the jujube is a Catha and/or does harden Agriculture if the cyclopropane does not motorboat. sent15: the Afghan is a Catha. sent16: the horsefly does restart willet and/or it does not harden prescience. sent17: if the cyclopropane is a bonding and is not non-citrous then the jujube does not harden Agriculture. sent18: the jujube is a kind of a damourite or it is angiocarpic or both. sent19: if the rubberneck does harden amateurishness then it is not a Catha and it does not harden Agriculture. ; $proof$ = 
void -> assump1: Let's assume that the cyclopropane is not a kind of a bonding.; sent6 & assump1 -> int1: the fact that the cyclopropane is not a kind of a damourite and is curtainless is not right.; int1 & sent12 -> int2: the cyclopropane motorboats.; void -> assump2: Let's assume that the fact that the cyclopropane motorboats is incorrect.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cyclopropane does bond.; __UNKNOWN__