the flue is not unobvious but it is gradual.
sent1: the switchboard is a kind of a Germanic if the fact that that the mizzen is both a bustling and not a Germanic is not right is right. sent2: the flue is a Germanic. sent3: if something is not nonruminant it is either not non-starry or neoplastic or both. sent4: if the Oxbridge is metallurgical then that the flue is not unobvious but it is a gradual is false. sent5: the dabchick overstrains interpolation if the retrenchment is a broodmare. sent6: the Oxbridge is not a Chironomus if that the flue is metallurgical hold. sent7: the Oxbridge is not a Chironomus if the flue is unobvious or metallurgical or both. sent8: if the dabchick does overstrain interpolation then that that the mizzen is both a bustling and not a Germanic is not correct is not wrong. sent9: the Oxbridge is a Chironomus. sent10: the flue is a kind of a gradual if it is a Germanic.
void -> assump1: Let's assume that the flue is unobvious.; assump1 -> int1: either the flue is unobvious or it is metallurgical or both.; int1 & sent7 -> int2: the Oxbridge is not a Chironomus.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flue is not unobvious.; sent10 & sent2 -> int5: the flue is gradual.; int4 & int5 -> hypothesis;
the fact that the flue is not unobvious but it is a gradual is not correct.
sent3 -> int6: if the fact that the jongleur is not nonruminant is right it is starry and/or it is neoplastic.;
$hypothesis$ = the flue is not unobvious but it is gradual. ; $context$ = sent1: the switchboard is a kind of a Germanic if the fact that that the mizzen is both a bustling and not a Germanic is not right is right. sent2: the flue is a Germanic. sent3: if something is not nonruminant it is either not non-starry or neoplastic or both. sent4: if the Oxbridge is metallurgical then that the flue is not unobvious but it is a gradual is false. sent5: the dabchick overstrains interpolation if the retrenchment is a broodmare. sent6: the Oxbridge is not a Chironomus if that the flue is metallurgical hold. sent7: the Oxbridge is not a Chironomus if the flue is unobvious or metallurgical or both. sent8: if the dabchick does overstrain interpolation then that that the mizzen is both a bustling and not a Germanic is not correct is not wrong. sent9: the Oxbridge is a Chironomus. sent10: the flue is a kind of a gradual if it is a Germanic. ; $proof$ = 
void -> assump1: Let's assume that the flue is unobvious.; assump1 -> int1: either the flue is unobvious or it is metallurgical or both.; int1 & sent7 -> int2: the Oxbridge is not a Chironomus.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flue is not unobvious.; sent10 & sent2 -> int5: the flue is gradual.; int4 & int5 -> hypothesis; __PROVED__