the tropics is a kind of a Colombian.
sent1: if the ingrowth is Wilsonian then the MANPAD is a Scutigerella. sent2: that the tropics is Colombian is correct if there exists something such that it does not bog State and it bogs chasse. sent3: if the State does bog chasse then the horseradish does not bog State but it bog chasse. sent4: if the ingrowth is not Wilsonian the State does bog chasse. sent5: that the MANPAD shops cottager and it is a Scutigerella is not correct.
void -> assump1: Let's assume that the ingrowth is Wilsonian.; sent1 & assump1 -> int1: the MANPAD is a Scutigerella.;
$hypothesis$ = the tropics is a kind of a Colombian. ; $context$ = sent1: if the ingrowth is Wilsonian then the MANPAD is a Scutigerella. sent2: that the tropics is Colombian is correct if there exists something such that it does not bog State and it bogs chasse. sent3: if the State does bog chasse then the horseradish does not bog State but it bog chasse. sent4: if the ingrowth is not Wilsonian the State does bog chasse. sent5: that the MANPAD shops cottager and it is a Scutigerella is not correct. ; $proof$ = 
void -> assump1: Let's assume that the ingrowth is Wilsonian.; sent1 & assump1 -> int1: the MANPAD is a Scutigerella.; __UNKNOWN__