the watercraft is a Sirenia.
sent1: if the bookmark is not preventable then the fact that the transmitter is bibliotic and it is abiogenetic does not hold. sent2: if there exists something such that it does not foreshow sprawl the clonidine does scramble acrophony but it is not a Shawnee. sent3: if that the loosestrife does not foreshow sprawl but it is a kind of a Shawnee is false the clonidine foreshow sprawl. sent4: there is something such that it does not foreshow sprawl. sent5: the transmitter is preventable if the loosestrife is bibliotic. sent6: the loosestrife is not non-abiogenetic. sent7: if something that is preventable is bibliotic then it is abiogenetic. sent8: the redeposition does not hypothecate irresistibility. sent9: the bookmark is not preventable if that the fish-fly is both a quatrain and not preventable is right. sent10: if the transmitter is not a tackle it is a kind of a quatrain that is a kind of a nonchalance. sent11: the transmitter is not a tackle. sent12: if the redeposition does not hypothecate irresistibility then the forelock is a nonchalance and it does tackle. sent13: something that scrambles acrophony and is not a kind of a Shawnee is abiogenetic. sent14: if something does not scramble acrophony then the fact that it does not foreshow sprawl and is a Shawnee is not true. sent15: the fact that if the transmitter is a nonchalance and preventable then the watercraft is not a Sirenia is correct. sent16: if the clonidine is abiogenetic then the loosestrife is bibliotic. sent17: the fish-fly is a quatrain but it is not preventable if the forelock is a kind of a nonchalance. sent18: the watercraft is a Shawnee if it is preventable and it is a Sirenia. sent19: the transmitter is a quatrain.
sent4 & sent2 -> int1: the fact that the clonidine does scramble acrophony but it is not a Shawnee is not wrong.; sent13 -> int2: the clonidine is not non-abiogenetic if it scrambles acrophony and is not a Shawnee.; int1 & int2 -> int3: the clonidine is abiogenetic.; int3 & sent16 -> int4: the loosestrife is bibliotic.; int4 & sent5 -> int5: the transmitter is preventable.; sent10 & sent11 -> int6: the transmitter is a quatrain and it is a nonchalance.; int6 -> int7: the transmitter is a kind of a nonchalance.; int5 & int7 -> int8: the transmitter is a nonchalance and it is preventable.; int8 & sent15 -> hypothesis;
the watercraft is a Sirenia.
sent14 -> int9: if the loosestrife does not scramble acrophony then the fact that the fact that it does not foreshow sprawl and it is a Shawnee hold is false.; sent12 & sent8 -> int10: the forelock is a kind of a nonchalance that does tackle.; int10 -> int11: the forelock is a nonchalance.; sent17 & int11 -> int12: the fish-fly is a quatrain that is not preventable.; sent9 & int12 -> int13: the bookmark is not preventable.; sent1 & int13 -> int14: the fact that the transmitter is bibliotic and is abiogenetic is incorrect.; int14 -> int15: there exists something such that that it is bibliotic and it is abiogenetic is incorrect.;
$hypothesis$ = the watercraft is a Sirenia. ; $context$ = sent1: if the bookmark is not preventable then the fact that the transmitter is bibliotic and it is abiogenetic does not hold. sent2: if there exists something such that it does not foreshow sprawl the clonidine does scramble acrophony but it is not a Shawnee. sent3: if that the loosestrife does not foreshow sprawl but it is a kind of a Shawnee is false the clonidine foreshow sprawl. sent4: there is something such that it does not foreshow sprawl. sent5: the transmitter is preventable if the loosestrife is bibliotic. sent6: the loosestrife is not non-abiogenetic. sent7: if something that is preventable is bibliotic then it is abiogenetic. sent8: the redeposition does not hypothecate irresistibility. sent9: the bookmark is not preventable if that the fish-fly is both a quatrain and not preventable is right. sent10: if the transmitter is not a tackle it is a kind of a quatrain that is a kind of a nonchalance. sent11: the transmitter is not a tackle. sent12: if the redeposition does not hypothecate irresistibility then the forelock is a nonchalance and it does tackle. sent13: something that scrambles acrophony and is not a kind of a Shawnee is abiogenetic. sent14: if something does not scramble acrophony then the fact that it does not foreshow sprawl and is a Shawnee is not true. sent15: the fact that if the transmitter is a nonchalance and preventable then the watercraft is not a Sirenia is correct. sent16: if the clonidine is abiogenetic then the loosestrife is bibliotic. sent17: the fish-fly is a quatrain but it is not preventable if the forelock is a kind of a nonchalance. sent18: the watercraft is a Shawnee if it is preventable and it is a Sirenia. sent19: the transmitter is a quatrain. ; $proof$ = 
sent4 & sent2 -> int1: the fact that the clonidine does scramble acrophony but it is not a Shawnee is not wrong.; sent13 -> int2: the clonidine is not non-abiogenetic if it scrambles acrophony and is not a Shawnee.; int1 & int2 -> int3: the clonidine is abiogenetic.; int3 & sent16 -> int4: the loosestrife is bibliotic.; int4 & sent5 -> int5: the transmitter is preventable.; sent10 & sent11 -> int6: the transmitter is a quatrain and it is a nonchalance.; int6 -> int7: the transmitter is a kind of a nonchalance.; int5 & int7 -> int8: the transmitter is a nonchalance and it is preventable.; int8 & sent15 -> hypothesis; __DISPROVED__