there is something such that it does fry.
sent1: something does fry or it does lob welfare or both if it is not offshore. sent2: something is both temporal and not tonal. sent3: there exists something such that the fact that it is offshore is correct. sent4: the ratatouille does lob pahoehoe if there is something such that it is offshore. sent5: there exists something such that it is not tonal. sent6: if something lobs pahoehoe it is a temporal. sent7: if there exists something such that that it does not fry and is not a palatine is not true then the ratatouille is a palatine. sent8: if something does not lob pahoehoe that it does not fry and it is not a palatine does not hold. sent9: the fact that the hammertoe is a kind of a temporal but it is non-tonal does not hold. sent10: something does not lob pahoehoe and is offshore if it does not lob welfare. sent11: the multiplex is not offshore if the Federalist does not bog rhinion and is not offshore. sent12: if the ratatouille does fry the cephalothin does lob pahoehoe. sent13: the multiplex does not fry if a non-tonal thing does not lob pahoehoe. sent14: if that the hammertoe is not a temporal but non-tonal is false the multiplex does fry. sent15: the multiplex does lob pahoehoe. sent16: that the hammertoe is not temporal but tonal is not right. sent17: if that something is both non-temporal and tonal hold the ratatouille does not lob pahoehoe. sent18: something digitizes bicarbonate.
void -> assump1: Let's assume that the hammertoe is both not temporal and not tonal.; assump1 -> int1: there is something such that it is both non-temporal and non-tonal.; sent3 & sent4 -> int2: the ratatouille does lob pahoehoe.;
the cephalothin is a temporal.
sent6 -> int3: the cephalothin is not non-temporal if it lobs pahoehoe.; sent1 -> int4: if the multiplex is not offshore it fries and/or lobs welfare.;
$hypothesis$ = there is something such that it does fry. ; $context$ = sent1: something does fry or it does lob welfare or both if it is not offshore. sent2: something is both temporal and not tonal. sent3: there exists something such that the fact that it is offshore is correct. sent4: the ratatouille does lob pahoehoe if there is something such that it is offshore. sent5: there exists something such that it is not tonal. sent6: if something lobs pahoehoe it is a temporal. sent7: if there exists something such that that it does not fry and is not a palatine is not true then the ratatouille is a palatine. sent8: if something does not lob pahoehoe that it does not fry and it is not a palatine does not hold. sent9: the fact that the hammertoe is a kind of a temporal but it is non-tonal does not hold. sent10: something does not lob pahoehoe and is offshore if it does not lob welfare. sent11: the multiplex is not offshore if the Federalist does not bog rhinion and is not offshore. sent12: if the ratatouille does fry the cephalothin does lob pahoehoe. sent13: the multiplex does not fry if a non-tonal thing does not lob pahoehoe. sent14: if that the hammertoe is not a temporal but non-tonal is false the multiplex does fry. sent15: the multiplex does lob pahoehoe. sent16: that the hammertoe is not temporal but tonal is not right. sent17: if that something is both non-temporal and tonal hold the ratatouille does not lob pahoehoe. sent18: something digitizes bicarbonate. ; $proof$ = 
void -> assump1: Let's assume that the hammertoe is both not temporal and not tonal.; assump1 -> int1: there is something such that it is both non-temporal and non-tonal.; sent3 & sent4 -> int2: the ratatouille does lob pahoehoe.; __UNKNOWN__