that the Empire does not stroke Host hold.
sent1: the fact that the Empire is a kind of a moonstone is not false if something that is a kind of a salami singles Papeete. sent2: the Empire is both not a remainder and a riot. sent3: the Empire is not a nybble but it closets. sent4: the Empire is septal. sent5: the Empire does not stroke Host if the fact that the Host is not a smart and does stroke Host is incorrect. sent6: if the Empire is not a salami but it is phocine then it is a polymastigote. sent7: the Empire is not Wilsonian but it bicycles Lepadidae. sent8: something is a salami but it does not single Papeete. sent9: the Empire singles Papeete. sent10: if something is a moonstone it is not a nybble. sent11: the hydralazine is a nybble. sent12: if the Empire is a nybble and it is a smart that it strokes Host hold. sent13: that the Empire is a nybble does not hold. sent14: if the Empire is both not a nybble and smart it strokes Host. sent15: the aim does not stroke Host and is a go-getter if it is a plage. sent16: something is not a kind of a nybble and is a smart if the fact that it is a moonstone is right. sent17: there is something such that it does not single Papeete. sent18: if that something is a salami but it does not single Papeete is not false that the Empire is a moonstone is not incorrect. sent19: the Empire is not a nybble if it is a moonstone.
sent8 & sent18 -> int1: the Empire is a moonstone.; sent16 -> int2: if the Empire is a moonstone it is both not a nybble and smart.; int1 & int2 -> int3: the Empire is not a nybble but smart.; int3 & sent14 -> hypothesis;
the fact that the Empire does not stroke Host is correct.
$hypothesis$ = that the Empire does not stroke Host hold. ; $context$ = sent1: the fact that the Empire is a kind of a moonstone is not false if something that is a kind of a salami singles Papeete. sent2: the Empire is both not a remainder and a riot. sent3: the Empire is not a nybble but it closets. sent4: the Empire is septal. sent5: the Empire does not stroke Host if the fact that the Host is not a smart and does stroke Host is incorrect. sent6: if the Empire is not a salami but it is phocine then it is a polymastigote. sent7: the Empire is not Wilsonian but it bicycles Lepadidae. sent8: something is a salami but it does not single Papeete. sent9: the Empire singles Papeete. sent10: if something is a moonstone it is not a nybble. sent11: the hydralazine is a nybble. sent12: if the Empire is a nybble and it is a smart that it strokes Host hold. sent13: that the Empire is a nybble does not hold. sent14: if the Empire is both not a nybble and smart it strokes Host. sent15: the aim does not stroke Host and is a go-getter if it is a plage. sent16: something is not a kind of a nybble and is a smart if the fact that it is a moonstone is right. sent17: there is something such that it does not single Papeete. sent18: if that something is a salami but it does not single Papeete is not false that the Empire is a moonstone is not incorrect. sent19: the Empire is not a nybble if it is a moonstone. ; $proof$ = 
sent8 & sent18 -> int1: the Empire is a moonstone.; sent16 -> int2: if the Empire is a moonstone it is both not a nybble and smart.; int1 & int2 -> int3: the Empire is not a nybble but smart.; int3 & sent14 -> hypothesis; __DISPROVED__