the mayonnaise is fibrocalcific.
sent1: that the choke does not populate Suez hold. sent2: if something does not cast acting then that it does cast tomboy and/or is faecal is correct. sent3: either something is a poundal or it is faecal or both if it is not a kind of a prevision. sent4: if the fact that the midstream is not a prevision hold then that the choke does not populate Suez but it does cast tomboy does not hold. sent5: the choke is a prevision. sent6: that the loon populates Suez is right. sent7: something is faecal or it does cast acting or both if it is not a poundal. sent8: the mayonnaise is fibrocalcific if the fact that the loon is faecal is not false. sent9: the mayonnaise is fibrocalcific if it casts tomboy. sent10: if the choke does not cast tomboy that the Whig does cast tomboy and casts acting is correct. sent11: That the Suez does not populate choke hold. sent12: if something does not loot flan it is faecal and/or it casts gap. sent13: if the fact that the Whig casts tomboy is not false the choke does cast acting. sent14: the mayonnaise is fibrocalcific if the loon casts gap. sent15: the midstream does not cast tomboy. sent16: that the miotic populates Suez is right. sent17: the midstream is not a prevision. sent18: if the Whig is a poundal the loon does not loot flan. sent19: the choke is not a poundal if the Whig casts tomboy.
void -> assump1: Let's assume that the choke casts tomboy.; sent1 & assump1 -> int1: the choke does not populate Suez but it does cast tomboy.; sent4 & sent17 -> int2: the fact that the choke does not populate Suez but it casts tomboy is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the choke does not cast tomboy.; int4 & sent10 -> int5: the Whig does cast tomboy and casts acting.; int5 -> int6: the Whig does cast tomboy.; sent12 -> int7: the loon is faecal and/or it casts gap if it does not loot flan.;
$hypothesis$ = the mayonnaise is fibrocalcific. ; $context$ = sent1: that the choke does not populate Suez hold. sent2: if something does not cast acting then that it does cast tomboy and/or is faecal is correct. sent3: either something is a poundal or it is faecal or both if it is not a kind of a prevision. sent4: if the fact that the midstream is not a prevision hold then that the choke does not populate Suez but it does cast tomboy does not hold. sent5: the choke is a prevision. sent6: that the loon populates Suez is right. sent7: something is faecal or it does cast acting or both if it is not a poundal. sent8: the mayonnaise is fibrocalcific if the fact that the loon is faecal is not false. sent9: the mayonnaise is fibrocalcific if it casts tomboy. sent10: if the choke does not cast tomboy that the Whig does cast tomboy and casts acting is correct. sent11: That the Suez does not populate choke hold. sent12: if something does not loot flan it is faecal and/or it casts gap. sent13: if the fact that the Whig casts tomboy is not false the choke does cast acting. sent14: the mayonnaise is fibrocalcific if the loon casts gap. sent15: the midstream does not cast tomboy. sent16: that the miotic populates Suez is right. sent17: the midstream is not a prevision. sent18: if the Whig is a poundal the loon does not loot flan. sent19: the choke is not a poundal if the Whig casts tomboy. ; $proof$ = 
void -> assump1: Let's assume that the choke casts tomboy.; sent1 & assump1 -> int1: the choke does not populate Suez but it does cast tomboy.; sent4 & sent17 -> int2: the fact that the choke does not populate Suez but it casts tomboy is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the choke does not cast tomboy.; int4 & sent10 -> int5: the Whig does cast tomboy and casts acting.; int5 -> int6: the Whig does cast tomboy.; sent12 -> int7: the loon is faecal and/or it casts gap if it does not loot flan.; __UNKNOWN__