there exists something such that if it does not troop endurance and/or it is a Brama it is testaceous.
sent1: there is something such that if that it is a kind of a Brama is true then it is testaceous. sent2: if the sidelight is not a foresight then it is testaceous. sent3: if something troops endurance and/or it is a Brama then it is testaceous. sent4: there is something such that if it does not troop sidelight it does mistake unanimity. sent5: a Brama is testaceous. sent6: if the neomycin is a Brama it is testaceous.
$hypothesis$ = there exists something such that if it does not troop endurance and/or it is a Brama it is testaceous. ; $context$ = sent1: there is something such that if that it is a kind of a Brama is true then it is testaceous. sent2: if the sidelight is not a foresight then it is testaceous. sent3: if something troops endurance and/or it is a Brama then it is testaceous. sent4: there is something such that if it does not troop sidelight it does mistake unanimity. sent5: a Brama is testaceous. sent6: if the neomycin is a Brama it is testaceous. ; $proof$ = 
__UNKNOWN__