there is something such that it does not butt infomercial and it does cozen Brasilia.
sent1: the throw does flour but it does not butt throw. sent2: the throw does cozen Brasilia and is just. sent3: the throw does not butt infomercial if it does cozen watchfulness and it does not butt throw. sent4: there exists something such that it does cozen Brasilia. sent5: something is a kind of just thing that does cozen Brasilia.
sent2 -> int1: the throw cozens Brasilia.;
$hypothesis$ = there is something such that it does not butt infomercial and it does cozen Brasilia. ; $context$ = sent1: the throw does flour but it does not butt throw. sent2: the throw does cozen Brasilia and is just. sent3: the throw does not butt infomercial if it does cozen watchfulness and it does not butt throw. sent4: there exists something such that it does cozen Brasilia. sent5: something is a kind of just thing that does cozen Brasilia. ; $proof$ = 
sent2 -> int1: the throw cozens Brasilia.; __UNKNOWN__