the masher is arundinaceous if the trimaran whangs masher.
sent1: the eschar is a kind of a distortionist and is a kind of a helianthemum if there exists something such that the fact that it is .22-caliber is not wrong. sent2: the masher does disrespect Inchon. sent3: something is arundinaceous if it is .45-caliber. sent4: the frail is arundinaceous. sent5: that the rammer is not .22-caliber and it does not bifurcate is not right. sent6: the trimaran is a kind of a Elamite. sent7: if the trimaran is .45-caliber then it is a hobbyhorse. sent8: if the masher is .45-caliber it whangs masher. sent9: the masher does whang masher. sent10: if something is a kind of a helianthemum it does not lapidify. sent11: if the fact that the masher does not whang masher but it is .45-caliber is not right the trimaran is arundinaceous. sent12: the fact that the trimaran is not .45-caliber is false if that it does whang masher hold. sent13: the trimaran is arundinaceous. sent14: if the trimaran whangs masher then the masher is .45-caliber. sent15: if that something does lapidify and is not a Hylidae is wrong that it does not lapidify is not incorrect. sent16: if something does not lapidify that it does not whang masher and is .45-caliber does not hold. sent17: the fact that that the masher lapidifies but it is not a Hylidae is not right is correct if that there is something such that it does not lapidifies is not false. sent18: if that the rammer is not .22-caliber and it does not bifurcate is false then it is .22-caliber.
void -> assump1: Let's assume that the trimaran whangs masher.; sent14 & assump1 -> int1: the masher is .45-caliber.; sent3 -> int2: that the masher is arundinaceous is correct if that it is .45-caliber is true.; int1 & int2 -> int3: the masher is arundinaceous.; [assump1] & int3 -> hypothesis;
the trimaran is arundinaceous.
sent16 -> int4: that the masher does not whang masher but it is .45-caliber is false if it does not lapidify.; sent15 -> int5: the masher does not lapidify if the fact that it does lapidify and it is not a Hylidae is false.; sent10 -> int6: if the eschar is a helianthemum it does not lapidify.; sent18 & sent5 -> int7: the rammer is .22-caliber.; int7 -> int8: something is .22-caliber.; int8 & sent1 -> int9: the eschar is a distortionist and is a kind of a helianthemum.; int9 -> int10: the eschar is a helianthemum.; int6 & int10 -> int11: the eschar does not lapidify.; int11 -> int12: there exists something such that it does not lapidify.; int12 & sent17 -> int13: the fact that the masher lapidifies but it is not a Hylidae is not true.; int5 & int13 -> int14: the fact that the masher does not lapidify is not incorrect.; int4 & int14 -> int15: the fact that the masher does not whang masher but it is .45-caliber is not right.; sent11 & int15 -> hypothesis;
$hypothesis$ = the masher is arundinaceous if the trimaran whangs masher. ; $context$ = sent1: the eschar is a kind of a distortionist and is a kind of a helianthemum if there exists something such that the fact that it is .22-caliber is not wrong. sent2: the masher does disrespect Inchon. sent3: something is arundinaceous if it is .45-caliber. sent4: the frail is arundinaceous. sent5: that the rammer is not .22-caliber and it does not bifurcate is not right. sent6: the trimaran is a kind of a Elamite. sent7: if the trimaran is .45-caliber then it is a hobbyhorse. sent8: if the masher is .45-caliber it whangs masher. sent9: the masher does whang masher. sent10: if something is a kind of a helianthemum it does not lapidify. sent11: if the fact that the masher does not whang masher but it is .45-caliber is not right the trimaran is arundinaceous. sent12: the fact that the trimaran is not .45-caliber is false if that it does whang masher hold. sent13: the trimaran is arundinaceous. sent14: if the trimaran whangs masher then the masher is .45-caliber. sent15: if that something does lapidify and is not a Hylidae is wrong that it does not lapidify is not incorrect. sent16: if something does not lapidify that it does not whang masher and is .45-caliber does not hold. sent17: the fact that that the masher lapidifies but it is not a Hylidae is not right is correct if that there is something such that it does not lapidifies is not false. sent18: if that the rammer is not .22-caliber and it does not bifurcate is false then it is .22-caliber. ; $proof$ = 
void -> assump1: Let's assume that the trimaran whangs masher.; sent14 & assump1 -> int1: the masher is .45-caliber.; sent3 -> int2: that the masher is arundinaceous is correct if that it is .45-caliber is true.; int1 & int2 -> int3: the masher is arundinaceous.; [assump1] & int3 -> hypothesis; __PROVED__