the seismograph snuffles QCD.
sent1: something snuffles QCD if the fact that it is not argentic and it is not invitational is wrong. sent2: there exists something such that it is not a kind of a Gnaphalium. sent3: the seismograph is argentic if it is not a cecum and it is invitational. sent4: something does not snuffle QCD and is not a kind of a Gnaphalium if that it is argentic is correct. sent5: the fact that the safe does snuffle safe and is not a Gasterophilidae is wrong.
sent1 -> int1: the seismograph does snuffle QCD if that it is not argentic and it is not invitational does not hold.;
the seismograph does not snuffle QCD.
sent4 -> int2: if the seismograph is argentic then it does not snuffle QCD and it is not a Gnaphalium.; sent5 -> int3: there is something such that that it snuffles safe and is not a Gasterophilidae does not hold.;
$hypothesis$ = the seismograph snuffles QCD. ; $context$ = sent1: something snuffles QCD if the fact that it is not argentic and it is not invitational is wrong. sent2: there exists something such that it is not a kind of a Gnaphalium. sent3: the seismograph is argentic if it is not a cecum and it is invitational. sent4: something does not snuffle QCD and is not a kind of a Gnaphalium if that it is argentic is correct. sent5: the fact that the safe does snuffle safe and is not a Gasterophilidae is wrong. ; $proof$ = 
sent1 -> int1: the seismograph does snuffle QCD if that it is not argentic and it is not invitational does not hold.; __UNKNOWN__