the wicket is not gluttonous.
sent1: that the housedog permits cheapjack but it does not permit gorge is not right. sent2: if that something is palpatory but it is not a hint is not true then it is carroty. sent3: something is gluttonous and it is patristic if the fact that it is not a kind of a Catalan is correct. sent4: that the porphyrin is palpatory but it is not a hint is not true if the clamshell does not permit housedog. sent5: the tiramisu is non-Catalan if that the porphyrin is both a cocksucker and not non-Catalan is not true. sent6: the wicket is both gluttonous and patristic if the tiramisu is not a kind of a Catalan. sent7: there exists nothing that is a turn-on and does permit housedog. sent8: the fact that something is a cocksucker but it is not a kind of a Catalan is incorrect if it is carroty. sent9: the fact that something does permit schmeer and is not fallible is incorrect if it is not non-gluttonous. sent10: something permits cheapjack and does not permit gorge. sent11: the wicket is not gluttonous if there exists something such that the fact that it does not permit cheapjack hold. sent12: there exists something such that that it does permit cheapjack and it is not gluttonous does not hold.
sent1 -> int1: there is something such that the fact that it does permit cheapjack and does not permit gorge is incorrect.;
there exists something such that the fact that it permits schmeer and it is not fallible is false.
sent3 -> int2: the fact that the tiramisu is not non-gluttonous but patristic if the tiramisu is not a Catalan is right.; sent9 -> int3: that the tiramisu permits schmeer and is not fallible is not correct if that it is gluttonous hold.;
$hypothesis$ = the wicket is not gluttonous. ; $context$ = sent1: that the housedog permits cheapjack but it does not permit gorge is not right. sent2: if that something is palpatory but it is not a hint is not true then it is carroty. sent3: something is gluttonous and it is patristic if the fact that it is not a kind of a Catalan is correct. sent4: that the porphyrin is palpatory but it is not a hint is not true if the clamshell does not permit housedog. sent5: the tiramisu is non-Catalan if that the porphyrin is both a cocksucker and not non-Catalan is not true. sent6: the wicket is both gluttonous and patristic if the tiramisu is not a kind of a Catalan. sent7: there exists nothing that is a turn-on and does permit housedog. sent8: the fact that something is a cocksucker but it is not a kind of a Catalan is incorrect if it is carroty. sent9: the fact that something does permit schmeer and is not fallible is incorrect if it is not non-gluttonous. sent10: something permits cheapjack and does not permit gorge. sent11: the wicket is not gluttonous if there exists something such that the fact that it does not permit cheapjack hold. sent12: there exists something such that that it does permit cheapjack and it is not gluttonous does not hold. ; $proof$ = 
sent1 -> int1: there is something such that the fact that it does permit cheapjack and does not permit gorge is incorrect.; __UNKNOWN__