the fact that the phenobarbital does not revamp and shushes Papio does not hold.
sent1: something is not a Honduran. sent2: the phenobarbital does not revamp but it shushes Papio if the fact that the inclusion is a kind of an inmate is true. sent3: something is an inmate if it is not a kind of a Winchester and it is not aerophilatelic. sent4: the fact that the phenobarbital revamps and it shushes Papio is incorrect. sent5: if something does hum zither then it is a kind of robotics thing that is not a bolometer. sent6: if the fact that the inclusion does hum phenobarbital and/or it is a kind of a hippocampus is incorrect it is not aerophilatelic. sent7: the inclusion is not a Winchester if the Arizonan is not a kind of a Winchester. sent8: if a robotics thing is not a kind of a bolometer it is not a Winchester. sent9: if the Arizonan does not revamp the fact that the phenobarbital revamp and it does shush Papio does not hold. sent10: the fact that the inclusion is aerophilatelic and is a Winchester is false if there is something such that the fact that it is not an inmate hold. sent11: the Arizonan does not revamp if there exists something such that it is not a kind of a Winchester. sent12: there is something such that it is aerophilatelic and it is a kind of a Winchester. sent13: the Arizonan hums zither if the sultana is a candlelight. sent14: if there is something such that the fact that it is aerophilatelic and it is a Winchester is false that the Arizonan does not revamp is not false. sent15: there is something such that it is not a kind of an inmate. sent16: something does revamp and it is a kind of a Winchester. sent17: something is an inmate.
sent15 & sent10 -> int1: the fact that the fact that the inclusion is aerophilatelic and it is a kind of a Winchester is not incorrect is not right.; int1 -> int2: there exists something such that the fact that it is aerophilatelic and it is a Winchester is not correct.; int2 & sent14 -> int3: the Arizonan does not revamp.;
the phenobarbital does not revamp and does shush Papio.
sent3 -> int4: the inclusion is an inmate if it is not a Winchester and is not aerophilatelic.; sent8 -> int5: if the Arizonan is robotics but not a bolometer it is not a Winchester.; sent5 -> int6: if the Arizonan does hum zither it is robotics and is not a bolometer.;
$hypothesis$ = the fact that the phenobarbital does not revamp and shushes Papio does not hold. ; $context$ = sent1: something is not a Honduran. sent2: the phenobarbital does not revamp but it shushes Papio if the fact that the inclusion is a kind of an inmate is true. sent3: something is an inmate if it is not a kind of a Winchester and it is not aerophilatelic. sent4: the fact that the phenobarbital revamps and it shushes Papio is incorrect. sent5: if something does hum zither then it is a kind of robotics thing that is not a bolometer. sent6: if the fact that the inclusion does hum phenobarbital and/or it is a kind of a hippocampus is incorrect it is not aerophilatelic. sent7: the inclusion is not a Winchester if the Arizonan is not a kind of a Winchester. sent8: if a robotics thing is not a kind of a bolometer it is not a Winchester. sent9: if the Arizonan does not revamp the fact that the phenobarbital revamp and it does shush Papio does not hold. sent10: the fact that the inclusion is aerophilatelic and is a Winchester is false if there is something such that the fact that it is not an inmate hold. sent11: the Arizonan does not revamp if there exists something such that it is not a kind of a Winchester. sent12: there is something such that it is aerophilatelic and it is a kind of a Winchester. sent13: the Arizonan hums zither if the sultana is a candlelight. sent14: if there is something such that the fact that it is aerophilatelic and it is a Winchester is false that the Arizonan does not revamp is not false. sent15: there is something such that it is not a kind of an inmate. sent16: something does revamp and it is a kind of a Winchester. sent17: something is an inmate. ; $proof$ = 
sent15 & sent10 -> int1: the fact that the fact that the inclusion is aerophilatelic and it is a kind of a Winchester is not incorrect is not right.; int1 -> int2: there exists something such that the fact that it is aerophilatelic and it is a Winchester is not correct.; int2 & sent14 -> int3: the Arizonan does not revamp.; __UNKNOWN__