the washerman is not anguine.
sent1: the spoonbill is noneffervescent if the portcullis masters grumbling. sent2: there is nothing such that it does demote croton and is not cenobitic. sent3: if the fact that the portcullis does not master grumbling and is not anguine does not hold the washerman is not anguine. sent4: the fact that the spoonbill hauls is not incorrect if it is noneffervescent. sent5: if something is not metallurgical and does brad buckle then it is not a kind of a packthread. sent6: if that the washerman is not metallurgical and it does not brad buckle is wrong then the portcullis masters grumbling. sent7: if the fact that something does not demote croton and it is not cenobitic is not right then it does not haul. sent8: if a non-metallurgical thing does not brad buckle it is not a kind of a packthread. sent9: there exists nothing such that that it does not demote croton and it is not cenobitic hold. sent10: something is not cenobitic if it is not an integral and it is not a silence. sent11: if something is not a packthread it is anguine. sent12: the washerman is not a kind of a packthread if it is metallurgical and it does not brad buckle. sent13: that the spoonbill demotes croton and is not cenobitic is not true.
void -> assump1: Let's assume that the fact that the washerman is not metallurgical and it does not brad buckle is not right.; sent6 & assump1 -> int1: the portcullis does master grumbling.; int1 & sent1 -> int2: the spoonbill is not effervescent.; int2 & sent4 -> int3: the spoonbill hauls.; sent7 -> int4: the spoonbill does not haul if the fact that it does not demote croton and it is not cenobitic does not hold.; sent9 -> int5: that the spoonbill does not demote croton and is not cenobitic is not true.; int4 & int5 -> int6: the spoonbill does not haul.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the washerman is not metallurgical and does not brad buckle.; sent8 -> int9: the washerman is not a packthread if it is not metallurgical and it does not brad buckle.; int8 & int9 -> int10: the washerman is not a packthread.; sent11 -> int11: the washerman is anguine if it is not a kind of a packthread.; int10 & int11 -> hypothesis;
the washerman is not anguine.
$hypothesis$ = the washerman is not anguine. ; $context$ = sent1: the spoonbill is noneffervescent if the portcullis masters grumbling. sent2: there is nothing such that it does demote croton and is not cenobitic. sent3: if the fact that the portcullis does not master grumbling and is not anguine does not hold the washerman is not anguine. sent4: the fact that the spoonbill hauls is not incorrect if it is noneffervescent. sent5: if something is not metallurgical and does brad buckle then it is not a kind of a packthread. sent6: if that the washerman is not metallurgical and it does not brad buckle is wrong then the portcullis masters grumbling. sent7: if the fact that something does not demote croton and it is not cenobitic is not right then it does not haul. sent8: if a non-metallurgical thing does not brad buckle it is not a kind of a packthread. sent9: there exists nothing such that that it does not demote croton and it is not cenobitic hold. sent10: something is not cenobitic if it is not an integral and it is not a silence. sent11: if something is not a packthread it is anguine. sent12: the washerman is not a kind of a packthread if it is metallurgical and it does not brad buckle. sent13: that the spoonbill demotes croton and is not cenobitic is not true. ; $proof$ = 
void -> assump1: Let's assume that the fact that the washerman is not metallurgical and it does not brad buckle is not right.; sent6 & assump1 -> int1: the portcullis does master grumbling.; int1 & sent1 -> int2: the spoonbill is not effervescent.; int2 & sent4 -> int3: the spoonbill hauls.; sent7 -> int4: the spoonbill does not haul if the fact that it does not demote croton and it is not cenobitic does not hold.; sent9 -> int5: that the spoonbill does not demote croton and is not cenobitic is not true.; int4 & int5 -> int6: the spoonbill does not haul.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the washerman is not metallurgical and does not brad buckle.; sent8 -> int9: the washerman is not a packthread if it is not metallurgical and it does not brad buckle.; int8 & int9 -> int10: the washerman is not a packthread.; sent11 -> int11: the washerman is anguine if it is not a kind of a packthread.; int10 & int11 -> hypothesis; __DISPROVED__