the lectin is macromolecular.
sent1: the jument is not tibial if the pekoe does pledge but it is not a oblation. sent2: if the jument strokes Linnaeus then the pekoe does not stroke rheumatologist and is not tibial. sent3: something is a pledge if it is macromolecular. sent4: if something does not stroke rheumatologist then it does not pattern aerator. sent5: if the lectin strokes Linnaeus then it is macromolecular. sent6: if that something is not a takeout and does stroke rheumatologist does not hold it does stroke Linnaeus. sent7: if something is phonic the fact that it is not mitotic and it does pattern pekoe does not hold. sent8: the pekoe is not omnivorous. sent9: the jument is tibial. sent10: if that the transportation is not mitotic but it patterns pekoe does not hold the punkah is not mitotic. sent11: that the lectin is a pledge and it is macromolecular is not right if that the pekoe is not macromolecular is right. sent12: the pekoe does not stroke rheumatologist if it does not pattern aerator. sent13: if something is non-tibial then it does not pattern aerator and is not macromolecular. sent14: something does stroke Linnaeus and is a kind of a takeout if it is not mitotic. sent15: the lectin is not tibial if the pekoe does not stroke rheumatologist and is not tibial. sent16: if the pekoe is not tibial but it is a oblation the guenon is not a oblation. sent17: if that the pekoe does pledge and is not a oblation is wrong then the fact that it does not pattern aerator is not wrong. sent18: if the pekoe does not stroke rheumatologist the fact that the lectin is not a takeout but it does stroke rheumatologist is not true. sent19: if the punkah is not mitotic then the jument is mitotic.
void -> assump1: Let's assume that the pekoe pledges but it is not a oblation.; sent1 & assump1 -> int1: the jument is not tibial.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the pekoe does pledge but it is not a oblation is wrong.; int3 & sent17 -> int4: the pekoe does not pattern aerator.; int4 & sent12 -> int5: the pekoe does not stroke rheumatologist.; int5 & sent18 -> int6: the fact that the lectin is not a kind of a takeout and does stroke rheumatologist is wrong.; sent6 -> int7: if that the lectin is not a takeout but it strokes rheumatologist does not hold it does stroke Linnaeus.; int6 & int7 -> int8: the lectin does stroke Linnaeus.; int8 & sent5 -> hypothesis;
the lectin is not macromolecular.
sent13 -> int9: if the lectin is not tibial it does not pattern aerator and is not macromolecular.; sent14 -> int10: if the jument is not mitotic then it does stroke Linnaeus and is a takeout.; sent7 -> int11: the fact that the transportation is a kind of non-mitotic thing that patterns pekoe is incorrect if it is phonic.;
$hypothesis$ = the lectin is macromolecular. ; $context$ = sent1: the jument is not tibial if the pekoe does pledge but it is not a oblation. sent2: if the jument strokes Linnaeus then the pekoe does not stroke rheumatologist and is not tibial. sent3: something is a pledge if it is macromolecular. sent4: if something does not stroke rheumatologist then it does not pattern aerator. sent5: if the lectin strokes Linnaeus then it is macromolecular. sent6: if that something is not a takeout and does stroke rheumatologist does not hold it does stroke Linnaeus. sent7: if something is phonic the fact that it is not mitotic and it does pattern pekoe does not hold. sent8: the pekoe is not omnivorous. sent9: the jument is tibial. sent10: if that the transportation is not mitotic but it patterns pekoe does not hold the punkah is not mitotic. sent11: that the lectin is a pledge and it is macromolecular is not right if that the pekoe is not macromolecular is right. sent12: the pekoe does not stroke rheumatologist if it does not pattern aerator. sent13: if something is non-tibial then it does not pattern aerator and is not macromolecular. sent14: something does stroke Linnaeus and is a kind of a takeout if it is not mitotic. sent15: the lectin is not tibial if the pekoe does not stroke rheumatologist and is not tibial. sent16: if the pekoe is not tibial but it is a oblation the guenon is not a oblation. sent17: if that the pekoe does pledge and is not a oblation is wrong then the fact that it does not pattern aerator is not wrong. sent18: if the pekoe does not stroke rheumatologist the fact that the lectin is not a takeout but it does stroke rheumatologist is not true. sent19: if the punkah is not mitotic then the jument is mitotic. ; $proof$ = 
void -> assump1: Let's assume that the pekoe pledges but it is not a oblation.; sent1 & assump1 -> int1: the jument is not tibial.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the pekoe does pledge but it is not a oblation is wrong.; int3 & sent17 -> int4: the pekoe does not pattern aerator.; int4 & sent12 -> int5: the pekoe does not stroke rheumatologist.; int5 & sent18 -> int6: the fact that the lectin is not a kind of a takeout and does stroke rheumatologist is wrong.; sent6 -> int7: if that the lectin is not a takeout but it strokes rheumatologist does not hold it does stroke Linnaeus.; int6 & int7 -> int8: the lectin does stroke Linnaeus.; int8 & sent5 -> hypothesis; __PROVED__