the fact that there is something such that if the fact that it does not unspell Capet and does not headquarter does not hold then it is a gillie is right.
sent1: something is a gillie if that it does not unspell Capet and does not headquarter is false. sent2: something is a gillie if that it does not unspell Capet and it does headquarter is not correct. sent3: if the fact that the almond does not unspell Capet and does headquarter is incorrect then it is a gillie. sent4: if the fact that something is not phreatic and does not unspell mongolism is wrong it is a automatism. sent5: there is something such that if that it does not unspell liverwurst and is not a Uca is incorrect then it is radioactive. sent6: if something does unspell Capet then it is a kind of a gillie. sent7: there exists something such that if it is a spinnbarkeit it is a topped. sent8: the almond does unspell cascade if it does headquarter. sent9: if something that does not unspell Capet does not headquarter it is a gillie. sent10: something does unspell Horne if the fact that it does not rustle bang and does not rustle spellbinder does not hold. sent11: there exists something such that if it does not unspell Capet and it does not headquarter it is a gillie. sent12: if the discounter is unworldly then it unspells million. sent13: the almond is an output if the fact that it is not noseless and it does not about-face is not true. sent14: the fact that there is something such that if it does unspell Capet then that it is a kind of a gillie hold is not wrong. sent15: something despairs zoomastigote if that it is not an appendage and not ferric is false. sent16: if the almond unspells Capet that it is a gillie is not wrong. sent17: if the almond is not a removed and does not despair malodorousness then it is false. sent18: something is a giro if the fact that it is not a trapshooter and it does not urinate does not hold. sent19: the almond is a gillie if it does not unspell Capet and does not headquarter. sent20: there exists something such that if it is an owner it is secular. sent21: there is something such that if that it does not unspell Capet and does headquarter is false it is a gillie.
sent1 -> int1: the almond is a gillie if that it does not unspell Capet and does not headquarter does not hold.; int1 -> hypothesis;
the fact that there exists something such that if the fact that it is not a trapshooter and it does not urinate is not correct then it is a giro is not incorrect.
sent18 -> int2: if that the heretic is not a trapshooter and it does not urinate is false then it is a giro.; int2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it does not unspell Capet and does not headquarter does not hold then it is a gillie is right. ; $context$ = sent1: something is a gillie if that it does not unspell Capet and does not headquarter is false. sent2: something is a gillie if that it does not unspell Capet and it does headquarter is not correct. sent3: if the fact that the almond does not unspell Capet and does headquarter is incorrect then it is a gillie. sent4: if the fact that something is not phreatic and does not unspell mongolism is wrong it is a automatism. sent5: there is something such that if that it does not unspell liverwurst and is not a Uca is incorrect then it is radioactive. sent6: if something does unspell Capet then it is a kind of a gillie. sent7: there exists something such that if it is a spinnbarkeit it is a topped. sent8: the almond does unspell cascade if it does headquarter. sent9: if something that does not unspell Capet does not headquarter it is a gillie. sent10: something does unspell Horne if the fact that it does not rustle bang and does not rustle spellbinder does not hold. sent11: there exists something such that if it does not unspell Capet and it does not headquarter it is a gillie. sent12: if the discounter is unworldly then it unspells million. sent13: the almond is an output if the fact that it is not noseless and it does not about-face is not true. sent14: the fact that there is something such that if it does unspell Capet then that it is a kind of a gillie hold is not wrong. sent15: something despairs zoomastigote if that it is not an appendage and not ferric is false. sent16: if the almond unspells Capet that it is a gillie is not wrong. sent17: if the almond is not a removed and does not despair malodorousness then it is false. sent18: something is a giro if the fact that it is not a trapshooter and it does not urinate does not hold. sent19: the almond is a gillie if it does not unspell Capet and does not headquarter. sent20: there exists something such that if it is an owner it is secular. sent21: there is something such that if that it does not unspell Capet and does headquarter is false it is a gillie. ; $proof$ = 
sent1 -> int1: the almond is a gillie if that it does not unspell Capet and does not headquarter does not hold.; int1 -> hypothesis; __PROVED__