the viola does gorge covetousness and is not a kid.
sent1: the Rottweiler is not a phenyltoloxamine. sent2: something that does gorge curandero does not kid. sent3: if the fact that something does gorge curandero is right then it does gorge covetousness and it is not a kid. sent4: the senator does gorge curandero. sent5: the viola does not gorge curandero if the witloof does not gorge curandero. sent6: the Rottweiler is a kind of a milligram. sent7: if something is both not a groove and a obviousness then it does not refrain tangerine. sent8: the viola is not a kind of a kid. sent9: the viola is a kind of heartless thing that is not a kid. sent10: if a milligram is not a phenyltoloxamine then it is inextinguishable. sent11: there exists something such that it gorges theorist and/or it does assemble zing. sent12: The care does not gorge viola. sent13: something that does not refrain tangerine does not gorge curandero and does not gorge care. sent14: if something is a night-sight then it does gorge covetousness and is not profitable. sent15: if the confit subjects then it is a kind of a forehand and it is not a plier. sent16: if something does not gorge curandero that it gorges covetousness and is not a kind of a kid is not true. sent17: the fact that the viola does gorge curandero hold if it does not gorge care. sent18: if the viola gorges curandero that it is not a kind of a kid is not incorrect. sent19: the witloof is not a groove if there exists something such that either it gorges theorist or it does assemble zing or both.
sent3 -> int1: if the viola does gorge curandero then it does gorge covetousness and is not a kind of a kid.;
the fact that the viola does gorge covetousness but it does not kid is not correct.
sent16 -> int2: if the viola does not gorge curandero then that it does gorge covetousness and it is not a kid does not hold.; sent13 -> int3: if the witloof does not refrain tangerine then it does not gorge curandero and does not gorge care.; sent7 -> int4: if the witloof is not a groove but it is a obviousness it does not refrain tangerine.; sent11 & sent19 -> int5: the witloof is not a kind of a groove.; sent10 -> int6: the Rottweiler is inextinguishable if it is a kind of a milligram and it is not a phenyltoloxamine.; sent6 & sent1 -> int7: the Rottweiler is a milligram but it is not a phenyltoloxamine.; int6 & int7 -> int8: the Rottweiler is inextinguishable.; int8 -> int9: there is something such that it is inextinguishable.;
$hypothesis$ = the viola does gorge covetousness and is not a kid. ; $context$ = sent1: the Rottweiler is not a phenyltoloxamine. sent2: something that does gorge curandero does not kid. sent3: if the fact that something does gorge curandero is right then it does gorge covetousness and it is not a kid. sent4: the senator does gorge curandero. sent5: the viola does not gorge curandero if the witloof does not gorge curandero. sent6: the Rottweiler is a kind of a milligram. sent7: if something is both not a groove and a obviousness then it does not refrain tangerine. sent8: the viola is not a kind of a kid. sent9: the viola is a kind of heartless thing that is not a kid. sent10: if a milligram is not a phenyltoloxamine then it is inextinguishable. sent11: there exists something such that it gorges theorist and/or it does assemble zing. sent12: The care does not gorge viola. sent13: something that does not refrain tangerine does not gorge curandero and does not gorge care. sent14: if something is a night-sight then it does gorge covetousness and is not profitable. sent15: if the confit subjects then it is a kind of a forehand and it is not a plier. sent16: if something does not gorge curandero that it gorges covetousness and is not a kind of a kid is not true. sent17: the fact that the viola does gorge curandero hold if it does not gorge care. sent18: if the viola gorges curandero that it is not a kind of a kid is not incorrect. sent19: the witloof is not a groove if there exists something such that either it gorges theorist or it does assemble zing or both. ; $proof$ = 
sent3 -> int1: if the viola does gorge curandero then it does gorge covetousness and is not a kind of a kid.; __UNKNOWN__