the scombroid does not strangulate elixir.
sent1: the adelgid is antisatellite if it does not resist Antido. sent2: everything does tremble. sent3: the scombroid is elementary. sent4: if the fact that the adelgid is antisatellite but it does not strangulate elixir is not correct then the scombroid does strangulate elixir. sent5: the cantaloupe is a trembles. sent6: the adelgid is antisatellite if the fact that the fact that it resists Antido and it is not foreleg hold is incorrect. sent7: the scombroid is elementary thing that does not strangulate elixir if the adelgid is not a creamer. sent8: if that the fruitcake is not elementary and it is not a kind of a trembles does not hold the sulfapyridine is unwelcome. sent9: the cantaloupe is a trembles and it strangulates elixir. sent10: if the adelgid is antisatellite and is a creamer then that the cantaloupe is not unwelcome is true. sent11: that the scombroid is elementary if the adelgid is not a creamer is correct. sent12: the scombroid is unwelcome and it is elementary. sent13: everything is unwelcome and it does tremble.
void -> assump1: Let's assume that the adelgid is a creamer.; sent13 -> int1: the cantaloupe is unwelcome a trembles.; int1 -> int2: the cantaloupe is unwelcome.;
the scombroid strangulates elixir.
$hypothesis$ = the scombroid does not strangulate elixir. ; $context$ = sent1: the adelgid is antisatellite if it does not resist Antido. sent2: everything does tremble. sent3: the scombroid is elementary. sent4: if the fact that the adelgid is antisatellite but it does not strangulate elixir is not correct then the scombroid does strangulate elixir. sent5: the cantaloupe is a trembles. sent6: the adelgid is antisatellite if the fact that the fact that it resists Antido and it is not foreleg hold is incorrect. sent7: the scombroid is elementary thing that does not strangulate elixir if the adelgid is not a creamer. sent8: if that the fruitcake is not elementary and it is not a kind of a trembles does not hold the sulfapyridine is unwelcome. sent9: the cantaloupe is a trembles and it strangulates elixir. sent10: if the adelgid is antisatellite and is a creamer then that the cantaloupe is not unwelcome is true. sent11: that the scombroid is elementary if the adelgid is not a creamer is correct. sent12: the scombroid is unwelcome and it is elementary. sent13: everything is unwelcome and it does tremble. ; $proof$ = 
void -> assump1: Let's assume that the adelgid is a creamer.; sent13 -> int1: the cantaloupe is unwelcome a trembles.; int1 -> int2: the cantaloupe is unwelcome.; __UNKNOWN__