the anemometer is not a Bandung but it is a kind of a central.
sent1: the anemometer does not manhandle Coleoptera. sent2: the jeroboam is a Bandung. sent3: the liveryman is not a kind of a gamine but it is a nitrogenase. sent4: if something is not a Seminole and it does not manhandle Coleoptera then the anemometer is a kind of a central. sent5: the anemometer does not awe extremism. sent6: if a non-bisectional thing is central the jeroboam is ungual. sent7: there exists something such that it is a central and it is not a kind of a Bandung. sent8: if a ungual thing is a glacier it is not bisectional. sent9: the anemometer is not a Bandung if the jeroboam is not a glacier. sent10: something is not a Seminole and it does not manhandle Coleoptera. sent11: the liveryman is suctorial. sent12: the liveryman is a Seminole. sent13: the hedonist is ungual if it is Tantric. sent14: the jeroboam is ungual. sent15: if the liveryman is not non-suctorial then it is neuropsychiatric. sent16: the jeroboam is a Seminole.
void -> assump1: Let's assume that the jeroboam is a glacier.; sent14 & assump1 -> int1: the jeroboam is ungual and it is a glacier.; sent8 -> int2: if the fact that the jeroboam is ungual and it is a glacier is right then it is not bisectional.; int1 & int2 -> int3: the jeroboam is not bisectional.; sent15 & sent11 -> int4: the liveryman is neuropsychiatric.; sent10 & sent4 -> int5: the anemometer is a central.;
$hypothesis$ = the anemometer is not a Bandung but it is a kind of a central. ; $context$ = sent1: the anemometer does not manhandle Coleoptera. sent2: the jeroboam is a Bandung. sent3: the liveryman is not a kind of a gamine but it is a nitrogenase. sent4: if something is not a Seminole and it does not manhandle Coleoptera then the anemometer is a kind of a central. sent5: the anemometer does not awe extremism. sent6: if a non-bisectional thing is central the jeroboam is ungual. sent7: there exists something such that it is a central and it is not a kind of a Bandung. sent8: if a ungual thing is a glacier it is not bisectional. sent9: the anemometer is not a Bandung if the jeroboam is not a glacier. sent10: something is not a Seminole and it does not manhandle Coleoptera. sent11: the liveryman is suctorial. sent12: the liveryman is a Seminole. sent13: the hedonist is ungual if it is Tantric. sent14: the jeroboam is ungual. sent15: if the liveryman is not non-suctorial then it is neuropsychiatric. sent16: the jeroboam is a Seminole. ; $proof$ = 
void -> assump1: Let's assume that the jeroboam is a glacier.; sent14 & assump1 -> int1: the jeroboam is ungual and it is a glacier.; sent8 -> int2: if the fact that the jeroboam is ungual and it is a glacier is right then it is not bisectional.; int1 & int2 -> int3: the jeroboam is not bisectional.; sent15 & sent11 -> int4: the liveryman is neuropsychiatric.; sent10 & sent4 -> int5: the anemometer is a central.; __UNKNOWN__