the scone is a kind of an interview that is a Hume.
sent1: the oilcan is a hod and it is an interview. sent2: the lampblack is not a kind of a faced if the fact that the bill is a Hume is true. sent3: there is something such that that it is fortunate thing that is not a kind of a transience is false. sent4: if there exists something such that that it is not an unfortunate and it is not a transience is not true then the lampblack is not a Hume. sent5: the frangipane is a kind of an interview if the waddler does not melanize featured and it is not ossiferous. sent6: the scone is both an interview and not a hod if the frangipane is an interview. sent7: the scone is a Hume if the fact that the lampblack is a Hume does not hold. sent8: the bill is non-antistrophic if it is not a faced and not revivalistic. sent9: the bill does not face and is non-revivalistic. sent10: if the fact that the waddler does not melanize featured and is not ossiferous is false the bill does not singularize gargoyle. sent11: the fact that something does not singularize gargoyle and is not antistrophic is false if it is not a Hume. sent12: something is antistrophic if it does not singularize gargoyle.
void -> assump1: Let's assume that that the waddler does not melanize featured and it is not ossiferous is incorrect.; sent10 & assump1 -> int1: the bill does not singularize gargoyle.; sent12 -> int2: that the bill is antistrophic is not wrong if it does not singularize gargoyle.; int1 & int2 -> int3: that the bill is not antistrophic is incorrect.; sent8 & sent9 -> int4: the fact that the bill is not antistrophic is right.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the waddler does not melanize featured and it is non-ossiferous is correct.; int6 & sent5 -> int7: the frangipane is an interview.; int7 & sent6 -> int8: the scone is an interview and not a hod.; int8 -> int9: the scone is an interview.; sent3 & sent4 -> int10: the lampblack is not a Hume.; sent7 & int10 -> int11: the scone is a kind of a Hume.; int9 & int11 -> hypothesis;
the oilcan melanizes waddler and is a hod.
sent1 -> int12: the oilcan is a hod.; sent11 -> int13: that the bill does not singularize gargoyle and it is not antistrophic is false if it is not a kind of a Hume.;
$hypothesis$ = the scone is a kind of an interview that is a Hume. ; $context$ = sent1: the oilcan is a hod and it is an interview. sent2: the lampblack is not a kind of a faced if the fact that the bill is a Hume is true. sent3: there is something such that that it is fortunate thing that is not a kind of a transience is false. sent4: if there exists something such that that it is not an unfortunate and it is not a transience is not true then the lampblack is not a Hume. sent5: the frangipane is a kind of an interview if the waddler does not melanize featured and it is not ossiferous. sent6: the scone is both an interview and not a hod if the frangipane is an interview. sent7: the scone is a Hume if the fact that the lampblack is a Hume does not hold. sent8: the bill is non-antistrophic if it is not a faced and not revivalistic. sent9: the bill does not face and is non-revivalistic. sent10: if the fact that the waddler does not melanize featured and is not ossiferous is false the bill does not singularize gargoyle. sent11: the fact that something does not singularize gargoyle and is not antistrophic is false if it is not a Hume. sent12: something is antistrophic if it does not singularize gargoyle. ; $proof$ = 
void -> assump1: Let's assume that that the waddler does not melanize featured and it is not ossiferous is incorrect.; sent10 & assump1 -> int1: the bill does not singularize gargoyle.; sent12 -> int2: that the bill is antistrophic is not wrong if it does not singularize gargoyle.; int1 & int2 -> int3: that the bill is not antistrophic is incorrect.; sent8 & sent9 -> int4: the fact that the bill is not antistrophic is right.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the waddler does not melanize featured and it is non-ossiferous is correct.; int6 & sent5 -> int7: the frangipane is an interview.; int7 & sent6 -> int8: the scone is an interview and not a hod.; int8 -> int9: the scone is an interview.; sent3 & sent4 -> int10: the lampblack is not a Hume.; sent7 & int10 -> int11: the scone is a kind of a Hume.; int9 & int11 -> hypothesis; __PROVED__