the authoress is a kind of a Platonist.
sent1: the tranylcypromine is a kind of a river. sent2: that the authoress is a Platonist is right if it is both aquatics and non-peaty. sent3: the guayule is not a aquatics and is a wrack if the thermoplastic does not bask homeboy. sent4: the authoress is a kind of a Platonist if the guayule does not impair Dipper. sent5: the authoress is peaty. sent6: if the guayule is salty and it is mesic then it is not a wrack. sent7: the guayule impairs Dipper. sent8: that something is not a Platonist and it is not bentonitic is incorrect if it is not a kind of a aquatics. sent9: if the guayule impairs Dipper and is not peaty then it is bentonitic. sent10: the guayule is a aquatics but not a wrack. sent11: if that the guayule is not a kind of a Platonist and is not bentonitic is not right then the authoress is not a Platonist. sent12: the figurine is not a kind of a aquatics. sent13: if something is a kind of a hisser that is not a kind of a aquatics then it does not box whippersnapper. sent14: the guayule is not bentonitic if the fact that it is aquatics thing that is not a wrack hold. sent15: the tranylcypromine does fresco.
void -> assump1: Let's assume that the guayule impairs Dipper and is not peaty.; sent9 & assump1 -> int1: the guayule is bentonitic.; sent14 & sent10 -> int2: the guayule is not bentonitic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the guayule impairs Dipper and is not peaty does not hold.;
the authoress is not a kind of a Platonist.
sent8 -> int5: if the guayule is not aquatics the fact that it is not a kind of a Platonist and is non-bentonitic is incorrect.; sent1 & sent15 -> int6: the tranylcypromine is a river and it is a kind of a fresco.; int6 -> int7: something is a river and it does fresco.;
$hypothesis$ = the authoress is a kind of a Platonist. ; $context$ = sent1: the tranylcypromine is a kind of a river. sent2: that the authoress is a Platonist is right if it is both aquatics and non-peaty. sent3: the guayule is not a aquatics and is a wrack if the thermoplastic does not bask homeboy. sent4: the authoress is a kind of a Platonist if the guayule does not impair Dipper. sent5: the authoress is peaty. sent6: if the guayule is salty and it is mesic then it is not a wrack. sent7: the guayule impairs Dipper. sent8: that something is not a Platonist and it is not bentonitic is incorrect if it is not a kind of a aquatics. sent9: if the guayule impairs Dipper and is not peaty then it is bentonitic. sent10: the guayule is a aquatics but not a wrack. sent11: if that the guayule is not a kind of a Platonist and is not bentonitic is not right then the authoress is not a Platonist. sent12: the figurine is not a kind of a aquatics. sent13: if something is a kind of a hisser that is not a kind of a aquatics then it does not box whippersnapper. sent14: the guayule is not bentonitic if the fact that it is aquatics thing that is not a wrack hold. sent15: the tranylcypromine does fresco. ; $proof$ = 
void -> assump1: Let's assume that the guayule impairs Dipper and is not peaty.; sent9 & assump1 -> int1: the guayule is bentonitic.; sent14 & sent10 -> int2: the guayule is not bentonitic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the guayule impairs Dipper and is not peaty does not hold.; __UNKNOWN__