if the vintager canals the ursinia excuses conductor and is not a kind of a Algonquian.
sent1: the ursinia does excuse conductor and is a Algonquian. sent2: the ursinia does excuse conductor if the scalper does shiver fluorescent. sent3: the ursinia excuses conductor if the vintager does canal. sent4: the ursinia does excuse conductor. sent5: the scalper is a radar if the ursinia does impact mountainside. sent6: if the vintager does shiver fluorescent then the mountainside is a canal that does not shiver atmosphere. sent7: if something is a radar it is non-Algonquian thing that excuses conductor. sent8: if the vintager does canal then the scalper does shiver fluorescent. sent9: if the scalper shivers fluorescent then the ursinia does excuse conductor and is not a Algonquian.
void -> assump1: Let's assume that the vintager is a kind of a canal.; sent8 & assump1 -> int1: the scalper does shiver fluorescent.; int1 & sent9 -> int2: the ursinia excuses conductor and is not a Algonquian.; [assump1] & int2 -> hypothesis;
the mountainside is a kind of a canal but it does not shiver atmosphere.
sent7 -> int3: the scalper is not a kind of a Algonquian and excuses conductor if it is a kind of a radar.;
$hypothesis$ = if the vintager canals the ursinia excuses conductor and is not a kind of a Algonquian. ; $context$ = sent1: the ursinia does excuse conductor and is a Algonquian. sent2: the ursinia does excuse conductor if the scalper does shiver fluorescent. sent3: the ursinia excuses conductor if the vintager does canal. sent4: the ursinia does excuse conductor. sent5: the scalper is a radar if the ursinia does impact mountainside. sent6: if the vintager does shiver fluorescent then the mountainside is a canal that does not shiver atmosphere. sent7: if something is a radar it is non-Algonquian thing that excuses conductor. sent8: if the vintager does canal then the scalper does shiver fluorescent. sent9: if the scalper shivers fluorescent then the ursinia does excuse conductor and is not a Algonquian. ; $proof$ = 
void -> assump1: Let's assume that the vintager is a kind of a canal.; sent8 & assump1 -> int1: the scalper does shiver fluorescent.; int1 & sent9 -> int2: the ursinia excuses conductor and is not a Algonquian.; [assump1] & int2 -> hypothesis; __PROVED__