that the brasserie breakfasts Moselle or it is a drosophila or both is wrong.
sent1: The Sarcophaga accepts gizzard. sent2: the fact that the electrotherapist is a kind of a haemoproteid and it breakfasts blackmailer is wrong if the employable does not accept Sarcophaga. sent3: the fact that the brasserie is not a acrostic is correct if the liana does skew and is a neve. sent4: the fact that the brasserie does breakfast Moselle and/or it is a kind of a drosophila is not true if it is not a acrostic. sent5: the gizzard accepts Sarcophaga. sent6: the gizzard breakfasts blackmailer if the fact that the employable is a haemoproteid hold. sent7: the gizzard does breakfast blackmailer if the employable is a hotel-casino. sent8: that something does not accept Sarcophaga is not false if that it is not a kind of a neve and it does not breakfast gizzard is wrong. sent9: the brasserie does breakfast Moselle if the employable is a hotel-casino. sent10: that something does not breakfast blackmailer and it does not braid electrotherapist is not right if it does not accept Sarcophaga. sent11: the liana does skew. sent12: the employable is a hotel-casino or it is a haemoproteid or both. sent13: the liana breakfasts blackmailer if there exists something such that that it does not breakfasts blackmailer and does not braid electrotherapist is false. sent14: that either something does accept departure or it is a neve or both is false if it is not a kind of a hotel-casino. sent15: that the gizzard does not braid electrotherapist if the gizzard does breakfast blackmailer and does accept Sarcophaga is true.
sent12 & sent7 & sent6 -> int1: the gizzard breakfasts blackmailer.; int1 & sent5 -> int2: the gizzard does breakfast blackmailer and it does accept Sarcophaga.; int2 & sent15 -> int3: the gizzard does not braid electrotherapist.;
the fact that that the electrotherapist accepts departure and/or it is a neve is true is not correct.
sent14 -> int4: the fact that the electrotherapist does accept departure and/or is a kind of a neve does not hold if that it is not a hotel-casino is not false.;
$hypothesis$ = that the brasserie breakfasts Moselle or it is a drosophila or both is wrong. ; $context$ = sent1: The Sarcophaga accepts gizzard. sent2: the fact that the electrotherapist is a kind of a haemoproteid and it breakfasts blackmailer is wrong if the employable does not accept Sarcophaga. sent3: the fact that the brasserie is not a acrostic is correct if the liana does skew and is a neve. sent4: the fact that the brasserie does breakfast Moselle and/or it is a kind of a drosophila is not true if it is not a acrostic. sent5: the gizzard accepts Sarcophaga. sent6: the gizzard breakfasts blackmailer if the fact that the employable is a haemoproteid hold. sent7: the gizzard does breakfast blackmailer if the employable is a hotel-casino. sent8: that something does not accept Sarcophaga is not false if that it is not a kind of a neve and it does not breakfast gizzard is wrong. sent9: the brasserie does breakfast Moselle if the employable is a hotel-casino. sent10: that something does not breakfast blackmailer and it does not braid electrotherapist is not right if it does not accept Sarcophaga. sent11: the liana does skew. sent12: the employable is a hotel-casino or it is a haemoproteid or both. sent13: the liana breakfasts blackmailer if there exists something such that that it does not breakfasts blackmailer and does not braid electrotherapist is false. sent14: that either something does accept departure or it is a neve or both is false if it is not a kind of a hotel-casino. sent15: that the gizzard does not braid electrotherapist if the gizzard does breakfast blackmailer and does accept Sarcophaga is true. ; $proof$ = 
sent12 & sent7 & sent6 -> int1: the gizzard breakfasts blackmailer.; int1 & sent5 -> int2: the gizzard does breakfast blackmailer and it does accept Sarcophaga.; int2 & sent15 -> int3: the gizzard does not braid electrotherapist.; __UNKNOWN__