the rambutan does riffle slatternliness and is not ostentatious.
sent1: that something is both ostentatious and not cortical does not hold if it is not a kind of a smirk. sent2: the supermarketer is corpuscular. sent3: the rambutan is not corpuscular if the renter is not corpuscular. sent4: everything is not a kind of a smirk. sent5: the fact that the rambutan riffles slatternliness but it is not ostentatious is not true if the corkscrew riffles slatternliness. sent6: that the renter is a kind of a journalist and is cortical does not hold. sent7: the corkscrew is a kind of a meclofenamate but it is not bodily if it is not a horsebean. sent8: if the corkscrew is not bodily the operation is non-cortical thing that is not bodily. sent9: the renter is not a journalist if there exists something such that it is corpuscular. sent10: that the operation is not cortical and it is not bodily is not correct if the renter is not a journalist. sent11: the renter is not corpuscular. sent12: if the corkscrew is a horsebean it riffles slatternliness. sent13: something riffles slatternliness if the fact that it is not a kind of a journalist or is not a kind of a horsebean or both is not correct.
void -> assump1: Let's assume that the corkscrew is not a kind of a horsebean.; sent7 & assump1 -> int1: the corkscrew is a kind of a meclofenamate that is not bodily.; int1 -> int2: the corkscrew is not bodily.; int2 & sent8 -> int3: the operation is a kind of non-cortical thing that is not bodily.; sent2 -> int4: there exists something such that it is corpuscular.; int4 & sent9 -> int5: the renter is not a journalist.; sent10 & int5 -> int6: that the operation is both not cortical and not bodily is false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the corkscrew is a horsebean.; int8 & sent12 -> int9: the corkscrew does riffle slatternliness.; int9 & sent5 -> hypothesis;
the rambutan riffles slatternliness but it is not ostentatious.
sent3 & sent11 -> int10: the rambutan is not corpuscular.; sent13 -> int11: if the fact that that the rambutan is not a kind of a journalist and/or it is not a horsebean is not false is not true then it riffles slatternliness.; sent1 -> int12: the fact that the operation is both ostentatious and not cortical is incorrect if it is not a smirk.; sent4 -> int13: the operation does not smirk.; int12 & int13 -> int14: the fact that the operation is ostentatious but it is not cortical does not hold.; int14 -> int15: there is nothing such that it is ostentatious and it is not cortical.; int15 -> int16: the fact that the corkscrew is ostentatious but it is not cortical is incorrect.; int16 -> int17: there is something such that that it is a kind of ostentatious thing that is not cortical does not hold.;
$hypothesis$ = the rambutan does riffle slatternliness and is not ostentatious. ; $context$ = sent1: that something is both ostentatious and not cortical does not hold if it is not a kind of a smirk. sent2: the supermarketer is corpuscular. sent3: the rambutan is not corpuscular if the renter is not corpuscular. sent4: everything is not a kind of a smirk. sent5: the fact that the rambutan riffles slatternliness but it is not ostentatious is not true if the corkscrew riffles slatternliness. sent6: that the renter is a kind of a journalist and is cortical does not hold. sent7: the corkscrew is a kind of a meclofenamate but it is not bodily if it is not a horsebean. sent8: if the corkscrew is not bodily the operation is non-cortical thing that is not bodily. sent9: the renter is not a journalist if there exists something such that it is corpuscular. sent10: that the operation is not cortical and it is not bodily is not correct if the renter is not a journalist. sent11: the renter is not corpuscular. sent12: if the corkscrew is a horsebean it riffles slatternliness. sent13: something riffles slatternliness if the fact that it is not a kind of a journalist or is not a kind of a horsebean or both is not correct. ; $proof$ = 
void -> assump1: Let's assume that the corkscrew is not a kind of a horsebean.; sent7 & assump1 -> int1: the corkscrew is a kind of a meclofenamate that is not bodily.; int1 -> int2: the corkscrew is not bodily.; int2 & sent8 -> int3: the operation is a kind of non-cortical thing that is not bodily.; sent2 -> int4: there exists something such that it is corpuscular.; int4 & sent9 -> int5: the renter is not a journalist.; sent10 & int5 -> int6: that the operation is both not cortical and not bodily is false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the corkscrew is a horsebean.; int8 & sent12 -> int9: the corkscrew does riffle slatternliness.; int9 & sent5 -> hypothesis; __DISPROVED__