if the framboise is a kind of a frijole then the devilfish is unrecoverable.
sent1: the fact that the framboise is vertical hold. sent2: the smut is a steelyard if the course is Belarusian. sent3: the devilfish is a vertical. sent4: something either is unrecoverable or is a kind of a frijole or both. sent5: if the smut is a steelyard the devilfish is unrecoverable. sent6: the devilfish is a frijole. sent7: the framboise is a kind of a Belarusian. sent8: if the devilfish is a vertical then the framboise is unrecoverable. sent9: there exists something such that it is a Belarusian. sent10: the devilfish is a kind of a Belarusian. sent11: the course is a vertical. sent12: the course is unrecoverable. sent13: if there exists something such that it is a frijole or a Belarusian or both then the course is a vertical. sent14: the framboise is a kind of a vertical if there exists something such that either it is a frijole or it is a steelyard or both. sent15: the smut is theosophical. sent16: the course is a Belarusian if there exists something such that that it is a vertical and/or a frijole is not wrong. sent17: if something either is vertical or is unrecoverable or both then the fact that the framboise is a kind of a steelyard is not incorrect. sent18: something is a kind of a vertical. sent19: if there exists something such that it is a frijole and/or it is not non-vertical then the framboise is Belarusian. sent20: if the smut is a vertical the framboise is a steelyard. sent21: that the smut is vertical hold. sent22: something is a frijole.
void -> assump1: Let's assume that the framboise is a kind of a frijole.; assump1 -> int1: the framboise is a vertical and/or it is a frijole.; int1 -> int2: there is something such that it is vertical or a frijole or both.; int2 & sent16 -> int3: the course is not non-Belarusian.; sent2 & int3 -> int4: the smut is a steelyard.; sent5 & int4 -> int5: the devilfish is unrecoverable.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the framboise is a kind of a frijole then the devilfish is unrecoverable. ; $context$ = sent1: the fact that the framboise is vertical hold. sent2: the smut is a steelyard if the course is Belarusian. sent3: the devilfish is a vertical. sent4: something either is unrecoverable or is a kind of a frijole or both. sent5: if the smut is a steelyard the devilfish is unrecoverable. sent6: the devilfish is a frijole. sent7: the framboise is a kind of a Belarusian. sent8: if the devilfish is a vertical then the framboise is unrecoverable. sent9: there exists something such that it is a Belarusian. sent10: the devilfish is a kind of a Belarusian. sent11: the course is a vertical. sent12: the course is unrecoverable. sent13: if there exists something such that it is a frijole or a Belarusian or both then the course is a vertical. sent14: the framboise is a kind of a vertical if there exists something such that either it is a frijole or it is a steelyard or both. sent15: the smut is theosophical. sent16: the course is a Belarusian if there exists something such that that it is a vertical and/or a frijole is not wrong. sent17: if something either is vertical or is unrecoverable or both then the fact that the framboise is a kind of a steelyard is not incorrect. sent18: something is a kind of a vertical. sent19: if there exists something such that it is a frijole and/or it is not non-vertical then the framboise is Belarusian. sent20: if the smut is a vertical the framboise is a steelyard. sent21: that the smut is vertical hold. sent22: something is a frijole. ; $proof$ = 
void -> assump1: Let's assume that the framboise is a kind of a frijole.; assump1 -> int1: the framboise is a vertical and/or it is a frijole.; int1 -> int2: there is something such that it is vertical or a frijole or both.; int2 & sent16 -> int3: the course is not non-Belarusian.; sent2 & int3 -> int4: the smut is a steelyard.; sent5 & int4 -> int5: the devilfish is unrecoverable.; [assump1] & int5 -> hypothesis; __PROVED__