the Colossians is atonal if the coast is glorious.
sent1: if the Colossians is androgenic but it is not a kind of a porch it is atonal. sent2: there exists something such that that it is androgenic and it is a porch is not correct. sent3: if the fact that the coast does not recline bronzed hold then it is atonal and glorious. sent4: the Colossians is androgenic. sent5: there exists something such that it is a kind of androgenic thing that is not a porch.
void -> assump2: Let's assume that that the Colossians is androgenic but it is not a porch is not right.; assump2 -> int1: there is something such that the fact that it is androgenic thing that is not a porch is wrong.;
the coast is atonal.
$hypothesis$ = the Colossians is atonal if the coast is glorious. ; $context$ = sent1: if the Colossians is androgenic but it is not a kind of a porch it is atonal. sent2: there exists something such that that it is androgenic and it is a porch is not correct. sent3: if the fact that the coast does not recline bronzed hold then it is atonal and glorious. sent4: the Colossians is androgenic. sent5: there exists something such that it is a kind of androgenic thing that is not a porch. ; $proof$ = 
void -> assump2: Let's assume that that the Colossians is androgenic but it is not a porch is not right.; assump2 -> int1: there is something such that the fact that it is androgenic thing that is not a porch is wrong.; __UNKNOWN__