the node is not a kind of a bearded.
sent1: the rumrunner does not tinge vengeance and is not a kind of a captain. sent2: the node does captain. sent3: the rumrunner is mandibulofacial. sent4: the rumrunner is a captain if it is not climatic. sent5: that the hoop captains is not incorrect. sent6: the television tinges vengeance if there is something such that the fact that it is a lomustine and it does not tinge permanganate is not right. sent7: something is a kind of a lomustine if it does not tinge permanganate. sent8: if the rumrunner tinges permanganate it tinges vengeance. sent9: if something that is a lomustine is mandibulofacial then the node beards.
void -> assump1: Let's assume that the fact that the rumrunner tinges permanganate is correct.; sent8 & assump1 -> int1: the rumrunner does tinge vengeance.; sent1 -> int2: the rumrunner does not tinge vengeance.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the rumrunner does not tinge permanganate.; sent7 -> int5: if the fact that the rumrunner does not tinge permanganate is not wrong it is a lomustine.; int4 & int5 -> int6: the rumrunner is a kind of a lomustine.; int6 & sent3 -> int7: the rumrunner is both a lomustine and mandibulofacial.; int7 -> int8: something is a lomustine that is mandibulofacial.; int8 & sent9 -> hypothesis;
the television tinges vengeance.
$hypothesis$ = the node is not a kind of a bearded. ; $context$ = sent1: the rumrunner does not tinge vengeance and is not a kind of a captain. sent2: the node does captain. sent3: the rumrunner is mandibulofacial. sent4: the rumrunner is a captain if it is not climatic. sent5: that the hoop captains is not incorrect. sent6: the television tinges vengeance if there is something such that the fact that it is a lomustine and it does not tinge permanganate is not right. sent7: something is a kind of a lomustine if it does not tinge permanganate. sent8: if the rumrunner tinges permanganate it tinges vengeance. sent9: if something that is a lomustine is mandibulofacial then the node beards. ; $proof$ = 
void -> assump1: Let's assume that the fact that the rumrunner tinges permanganate is correct.; sent8 & assump1 -> int1: the rumrunner does tinge vengeance.; sent1 -> int2: the rumrunner does not tinge vengeance.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the rumrunner does not tinge permanganate.; sent7 -> int5: if the fact that the rumrunner does not tinge permanganate is not wrong it is a lomustine.; int4 & int5 -> int6: the rumrunner is a kind of a lomustine.; int6 & sent3 -> int7: the rumrunner is both a lomustine and mandibulofacial.; int7 -> int8: something is a lomustine that is mandibulofacial.; int8 & sent9 -> hypothesis; __DISPROVED__