the pruner is not a kind of a dismount but it is a hexachlorophene.
sent1: the female is not a naif and uncorks stein. sent2: something is a Monaco and anorthitic if it is not Paraguayan. sent3: if that the stein is ripe is not incorrect then the pruner is a kind of a thallophyte. sent4: if the stein is ripe it is not a Monaco. sent5: the pruner is a kind of a Monaco. sent6: the stein is ripe and it is anorthitic. sent7: the stein scorches. sent8: the fact that something is not a kind of a thallophyte but it is ripe is not right if it is anorthitic. sent9: the wolframite is not a kind of a Burundi if the female is not a naif and uncorks stein. sent10: the stein is not a Monaco and does bind dossal. sent11: the fact that the pruner is not a dismount but a hexachlorophene is false if the stein is not ripe. sent12: the Macedonian is faucal if it does uncork crosscheck. sent13: if the pruner is a dismount then the fact that the stein is a hexachlorophene is correct. sent14: something is a hexachlorophene if it is a kind of a thallophyte. sent15: the stein is a kind of a dismount. sent16: the stein is anorthitic. sent17: the stein is anorthitic and is a kind of a dismount. sent18: the Geneva is non-Paraguayan thing that is not a pelter if the wolframite does not dilapidate sash. sent19: the propenal is a Exocet and it is a kind of a thallophyte. sent20: that that the wolframite is a erectness and it dilapidates sash is not wrong is not true if it is not a kind of a Burundi. sent21: the skank is a Monaco. sent22: the wolframite does not dilapidate sash if the fact that it is a kind of a erectness that does dilapidate sash is not correct.
sent6 -> int1: the stein is ripe.; int1 & sent3 -> int2: the pruner is a thallophyte.; sent14 -> int3: the pruner is a kind of a hexachlorophene if it is a thallophyte.; int2 & int3 -> int4: the pruner is a hexachlorophene.;
that the pruner is not a dismount and is a hexachlorophene is wrong.
sent8 -> int5: the fact that the Geneva is not a thallophyte and is ripe is false if it is anorthitic.; sent2 -> int6: if the Geneva is not a Paraguayan then it is a Monaco and it is not non-anorthitic.; sent9 & sent1 -> int7: the wolframite is not a kind of a Burundi.; sent20 & int7 -> int8: that the wolframite is a kind of a erectness that dilapidates sash does not hold.; sent22 & int8 -> int9: the wolframite does not dilapidate sash.; sent18 & int9 -> int10: the Geneva is non-Paraguayan thing that is not a kind of a pelter.; int10 -> int11: the Geneva is not a kind of a Paraguayan.; int6 & int11 -> int12: the Geneva is a kind of a Monaco and it is anorthitic.; int12 -> int13: the Geneva is anorthitic.; int5 & int13 -> int14: that the Geneva is not a kind of a thallophyte but it is ripe does not hold.; int14 -> int15: there is something such that that it is not a kind of a thallophyte and is ripe is incorrect.;
$hypothesis$ = the pruner is not a kind of a dismount but it is a hexachlorophene. ; $context$ = sent1: the female is not a naif and uncorks stein. sent2: something is a Monaco and anorthitic if it is not Paraguayan. sent3: if that the stein is ripe is not incorrect then the pruner is a kind of a thallophyte. sent4: if the stein is ripe it is not a Monaco. sent5: the pruner is a kind of a Monaco. sent6: the stein is ripe and it is anorthitic. sent7: the stein scorches. sent8: the fact that something is not a kind of a thallophyte but it is ripe is not right if it is anorthitic. sent9: the wolframite is not a kind of a Burundi if the female is not a naif and uncorks stein. sent10: the stein is not a Monaco and does bind dossal. sent11: the fact that the pruner is not a dismount but a hexachlorophene is false if the stein is not ripe. sent12: the Macedonian is faucal if it does uncork crosscheck. sent13: if the pruner is a dismount then the fact that the stein is a hexachlorophene is correct. sent14: something is a hexachlorophene if it is a kind of a thallophyte. sent15: the stein is a kind of a dismount. sent16: the stein is anorthitic. sent17: the stein is anorthitic and is a kind of a dismount. sent18: the Geneva is non-Paraguayan thing that is not a pelter if the wolframite does not dilapidate sash. sent19: the propenal is a Exocet and it is a kind of a thallophyte. sent20: that that the wolframite is a erectness and it dilapidates sash is not wrong is not true if it is not a kind of a Burundi. sent21: the skank is a Monaco. sent22: the wolframite does not dilapidate sash if the fact that it is a kind of a erectness that does dilapidate sash is not correct. ; $proof$ = 
sent6 -> int1: the stein is ripe.; int1 & sent3 -> int2: the pruner is a thallophyte.; sent14 -> int3: the pruner is a kind of a hexachlorophene if it is a thallophyte.; int2 & int3 -> int4: the pruner is a hexachlorophene.; __UNKNOWN__