the loaf is Germanic.
sent1: if the loaf is a fenugreek and it does confuse Ponselle then that the element is fungal is not incorrect. sent2: the fact that the activity is a low is not wrong. sent3: if the loaf does not overthrow then the fact that the equine is not a Germanic but fungal is not correct. sent4: if that the element is not a drivel is correct it is an overthrow and it is not a whitecap. sent5: the fact that the norgestrel is fungal but it is not a drivel is false if something is a drivel. sent6: that the trench is not a kind of a whitecap and it is not alopecic is incorrect if the activity is a low. sent7: if the element is a Germanic the loaf is not a Germanic. sent8: if the element is not a drivel then it is not a whitecap. sent9: something is a kind of a drivel if that it is not a whitecap and it is not alopecic is not right. sent10: if the loaf is non-Germanic then it is a blunderbuss that does not front finger-roll. sent11: if something that is an overthrow is a whitecap then it is not fungal. sent12: if the fact that something is not a Germanic but it is fungal is not correct then it is not a whitecap. sent13: if the loaf is not a Germanic it is a fenugreek and it does not confuse Ponselle. sent14: if the loaf is not a Germanic then it does not confuse Ponselle. sent15: the loaf does not confuse Ponselle. sent16: if the loaf is a kind of a fenugreek that does not confuse Ponselle the element is fungal. sent17: the element is not a whitecap. sent18: if an overthrow is not a kind of a whitecap then it is not fungal. sent19: if the loaf is not a Germanic it is not non-fungal and not a whitecap. sent20: if the element is an overthrow and a whitecap then it is not fungal. sent21: if something is not fungal that it is a Germanic and/or it is an overthrow is not incorrect. sent22: the element is not a kind of a drivel.
void -> assump1: Let's assume that the loaf is not a kind of a Germanic.; sent13 & assump1 -> int1: the loaf is a fenugreek and does not confuse Ponselle.; int1 & sent16 -> int2: the element is fungal.; sent18 -> int3: the fact that the element is not fungal is correct if it is an overthrow and not a whitecap.; sent4 & sent22 -> int4: the element overthrows but it is not a whitecap.; int3 & int4 -> int5: the element is not fungal.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the equine is not a whitecap.
sent12 -> int7: the equine is not a whitecap if that it is not a Germanic but fungal is not true.;
$hypothesis$ = the loaf is Germanic. ; $context$ = sent1: if the loaf is a fenugreek and it does confuse Ponselle then that the element is fungal is not incorrect. sent2: the fact that the activity is a low is not wrong. sent3: if the loaf does not overthrow then the fact that the equine is not a Germanic but fungal is not correct. sent4: if that the element is not a drivel is correct it is an overthrow and it is not a whitecap. sent5: the fact that the norgestrel is fungal but it is not a drivel is false if something is a drivel. sent6: that the trench is not a kind of a whitecap and it is not alopecic is incorrect if the activity is a low. sent7: if the element is a Germanic the loaf is not a Germanic. sent8: if the element is not a drivel then it is not a whitecap. sent9: something is a kind of a drivel if that it is not a whitecap and it is not alopecic is not right. sent10: if the loaf is non-Germanic then it is a blunderbuss that does not front finger-roll. sent11: if something that is an overthrow is a whitecap then it is not fungal. sent12: if the fact that something is not a Germanic but it is fungal is not correct then it is not a whitecap. sent13: if the loaf is not a Germanic it is a fenugreek and it does not confuse Ponselle. sent14: if the loaf is not a Germanic then it does not confuse Ponselle. sent15: the loaf does not confuse Ponselle. sent16: if the loaf is a kind of a fenugreek that does not confuse Ponselle the element is fungal. sent17: the element is not a whitecap. sent18: if an overthrow is not a kind of a whitecap then it is not fungal. sent19: if the loaf is not a Germanic it is not non-fungal and not a whitecap. sent20: if the element is an overthrow and a whitecap then it is not fungal. sent21: if something is not fungal that it is a Germanic and/or it is an overthrow is not incorrect. sent22: the element is not a kind of a drivel. ; $proof$ = 
void -> assump1: Let's assume that the loaf is not a kind of a Germanic.; sent13 & assump1 -> int1: the loaf is a fenugreek and does not confuse Ponselle.; int1 & sent16 -> int2: the element is fungal.; sent18 -> int3: the fact that the element is not fungal is correct if it is an overthrow and not a whitecap.; sent4 & sent22 -> int4: the element overthrows but it is not a whitecap.; int3 & int4 -> int5: the element is not fungal.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__