the fact that the Europeanization does not ladle lockout and it is not a kind of a pathogen is false.
sent1: that the Europeanization does not ladle lockout but it is a pathogen is not true. sent2: the Europeanization does not ladle lockout and is not a pathogen if the arborist is not a facer. sent3: if the President is not auricular the PR is tortious. sent4: something is not a cycle if it is not a kind of a geneticist. sent5: the arborist is not catoptrics. sent6: the President is a worst if the PR is a kind of a geneticist. sent7: the PR is not cecal. sent8: something is a stickpin if it is a stickpin and/or it is not a stigmatization. sent9: the arborist is not a geneticist if it is not a worst. sent10: if there exists something such that it is a facer the arborist is not catoptrics. sent11: that the Europeanization does not ladle lockout but it is a pathogen does not hold if the enophile is not a kind of a pathogen. sent12: the PR is tortious if the President is not auricular and/or it is telegraphic. sent13: something is a cycle and a geneticist if it is not auricular. sent14: there is something such that it is a kind of a facer. sent15: something is not telegraphic. sent16: if that the enophile is not a pathogen is not incorrect the fact that the Europeanization does not ladle lockout and is not a kind of a pathogen is wrong. sent17: if the PR is tortious and it is a stickpin then the enophile is not a pathogen. sent18: if something is not cecal then it is a kind of a stickpin and/or it is not a stigmatization. sent19: the President is not auricular and/or is telegraphic if the arborist does not cycle.
sent4 -> int1: if the fact that the arborist is not a geneticist is not incorrect then it does not cycle.; sent8 -> int2: if the PR is a stickpin and/or it is not a stigmatization it is a kind of a stickpin.; sent18 -> int3: if the PR is not cecal it is a stickpin and/or it is not a stigmatization.; int3 & sent7 -> int4: the fact that the PR is a stickpin or it is not a stigmatization or both hold.; int2 & int4 -> int5: the PR is a kind of a stickpin.;
the Europeanization does not ladle lockout and it is not a pathogen.
sent13 -> int6: the PR cycles and is a geneticist if it is non-auricular.;
$hypothesis$ = the fact that the Europeanization does not ladle lockout and it is not a kind of a pathogen is false. ; $context$ = sent1: that the Europeanization does not ladle lockout but it is a pathogen is not true. sent2: the Europeanization does not ladle lockout and is not a pathogen if the arborist is not a facer. sent3: if the President is not auricular the PR is tortious. sent4: something is not a cycle if it is not a kind of a geneticist. sent5: the arborist is not catoptrics. sent6: the President is a worst if the PR is a kind of a geneticist. sent7: the PR is not cecal. sent8: something is a stickpin if it is a stickpin and/or it is not a stigmatization. sent9: the arborist is not a geneticist if it is not a worst. sent10: if there exists something such that it is a facer the arborist is not catoptrics. sent11: that the Europeanization does not ladle lockout but it is a pathogen does not hold if the enophile is not a kind of a pathogen. sent12: the PR is tortious if the President is not auricular and/or it is telegraphic. sent13: something is a cycle and a geneticist if it is not auricular. sent14: there is something such that it is a kind of a facer. sent15: something is not telegraphic. sent16: if that the enophile is not a pathogen is not incorrect the fact that the Europeanization does not ladle lockout and is not a kind of a pathogen is wrong. sent17: if the PR is tortious and it is a stickpin then the enophile is not a pathogen. sent18: if something is not cecal then it is a kind of a stickpin and/or it is not a stigmatization. sent19: the President is not auricular and/or is telegraphic if the arborist does not cycle. ; $proof$ = 
sent4 -> int1: if the fact that the arborist is not a geneticist is not incorrect then it does not cycle.; sent8 -> int2: if the PR is a stickpin and/or it is not a stigmatization it is a kind of a stickpin.; sent18 -> int3: if the PR is not cecal it is a stickpin and/or it is not a stigmatization.; int3 & sent7 -> int4: the fact that the PR is a stickpin or it is not a stigmatization or both hold.; int2 & int4 -> int5: the PR is a kind of a stickpin.; __UNKNOWN__