the paperboard does not bedew drunk and it is not a aphasic.
sent1: that the aeschynanthus is not fictile is true if that the nest is a kind of a portcullis but it is not cataplastic is false. sent2: the watermeal is not Satanic. sent3: the fact that something is a portcullis but it is not cataplastic is false if it does harry paperboard. sent4: if that there is something such that the fact that it is acidotic and is not a kind of a Gabonese is wrong hold the shofar is not a braid. sent5: if the shofar is not a braid the satrap bedews drunk. sent6: the nest does harry paperboard and it is determinable if it does not encrust satrap. sent7: the nest does not encrust satrap. sent8: that something is acidotic but it is not Gabonese is not right if it is not fictile. sent9: something is not a braid if it is a quill and it is not Satanic. sent10: the watermeal is a quill.
sent9 -> int1: that the watermeal does not braid is true if it is a quill and it is not Satanic.; sent10 & sent2 -> int2: the watermeal is a quill but it is not Satanic.; int1 & int2 -> int3: the watermeal does not braid.;
the fact that the paperboard does not bedew drunk and is not a aphasic is false.
sent8 -> int4: if the fact that the aeschynanthus is not fictile is true that it is acidotic and it is not Gabonese is wrong.; sent3 -> int5: if the nest harries paperboard then that it is a kind of a portcullis that is not cataplastic is not right.; sent6 & sent7 -> int6: the nest harries paperboard and it is determinable.; int6 -> int7: the nest harries paperboard.; int5 & int7 -> int8: the fact that the nest is a portcullis but it is not cataplastic is not correct.; sent1 & int8 -> int9: the aeschynanthus is not fictile.; int4 & int9 -> int10: that the aeschynanthus is acidotic and not a Gabonese is not true.; int10 -> int11: there exists something such that the fact that it is acidotic and it is not Gabonese is not correct.; int11 & sent4 -> int12: the shofar is not a kind of a braid.; sent5 & int12 -> int13: the satrap does bedew drunk.; int13 -> int14: something does bedew drunk.;
$hypothesis$ = the paperboard does not bedew drunk and it is not a aphasic. ; $context$ = sent1: that the aeschynanthus is not fictile is true if that the nest is a kind of a portcullis but it is not cataplastic is false. sent2: the watermeal is not Satanic. sent3: the fact that something is a portcullis but it is not cataplastic is false if it does harry paperboard. sent4: if that there is something such that the fact that it is acidotic and is not a kind of a Gabonese is wrong hold the shofar is not a braid. sent5: if the shofar is not a braid the satrap bedews drunk. sent6: the nest does harry paperboard and it is determinable if it does not encrust satrap. sent7: the nest does not encrust satrap. sent8: that something is acidotic but it is not Gabonese is not right if it is not fictile. sent9: something is not a braid if it is a quill and it is not Satanic. sent10: the watermeal is a quill. ; $proof$ = 
sent9 -> int1: that the watermeal does not braid is true if it is a quill and it is not Satanic.; sent10 & sent2 -> int2: the watermeal is a quill but it is not Satanic.; int1 & int2 -> int3: the watermeal does not braid.; __UNKNOWN__