the lychgate is a Passover if the fact that the cowfish is a kind of a theater hold.
sent1: the acumen is a Bathyergidae. sent2: the lychgate is a Bathyergidae if the cress is a Passover. sent3: if the cress is a Bathyergidae then the lychgate is a kind of a Passover. sent4: the cress is a Bathyergidae if the cowfish is a theater.
void -> assump1: Let's assume that the cowfish is a kind of a theater.; sent4 & assump1 -> int1: the cress is a kind of a Bathyergidae.; sent3 & int1 -> int2: the lychgate is a Passover.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the lychgate is a Passover if the fact that the cowfish is a kind of a theater hold. ; $context$ = sent1: the acumen is a Bathyergidae. sent2: the lychgate is a Bathyergidae if the cress is a Passover. sent3: if the cress is a Bathyergidae then the lychgate is a kind of a Passover. sent4: the cress is a Bathyergidae if the cowfish is a theater. ; $proof$ = 
void -> assump1: Let's assume that the cowfish is a kind of a theater.; sent4 & assump1 -> int1: the cress is a kind of a Bathyergidae.; sent3 & int1 -> int2: the lychgate is a Passover.; [assump1] & int2 -> hypothesis; __PROVED__