the hock does beat forearm and is not immaterial.
sent1: something is both not an undervaluation and a reception if it is a preliminary. sent2: something does nip if it does fudge chambermaid. sent3: something is not non-immaterial if it does nip. sent4: the hock is immaterial if it is a nip. sent5: the Guernsey does not fudge chambermaid. sent6: the hock beats forearm but it is not immaterial if the EDS is immaterial. sent7: something does fudge chambermaid if it is a preliminary. sent8: if the junction does fudge tessella it is a kind of a slops. sent9: the pilotfish is a reception if it is an undervaluation. sent10: if the pilotfish is a kind of a food it is an undervaluation. sent11: the pilotfish does not beat forearm if the EDS is a food. sent12: if something does not fudge chambermaid then the fact that it is not a preliminary and not a reception is not right. sent13: the pilotfish is a kind of a food. sent14: the EDS is a kind of a food if the freetail is not an undervaluation but a reception. sent15: the freetail is not a nip. sent16: the EDS is a preliminary if the pilotfish is a reception.
sent10 & sent13 -> int1: the pilotfish is an undervaluation.; int1 & sent9 -> int2: the pilotfish is a kind of a reception.; int2 & sent16 -> int3: the EDS is a kind of a preliminary.; sent7 -> int4: the EDS does fudge chambermaid if it is a preliminary.; int3 & int4 -> int5: the EDS does fudge chambermaid.; sent2 -> int6: if the EDS does fudge chambermaid it is a nip.; int5 & int6 -> int7: the EDS is a nip.; sent3 -> int8: if the EDS nips then that it is immaterial is correct.; int7 & int8 -> int9: the EDS is immaterial.; int9 & sent6 -> hypothesis;
the Guernsey does beat forearm.
sent12 -> int10: if the Guernsey does not fudge chambermaid the fact that that it is not a preliminary and it is not a reception is not false does not hold.; int10 & sent5 -> int11: the fact that the fact that the Guernsey is not a kind of a preliminary and it is not a kind of a reception is false hold.;
$hypothesis$ = the hock does beat forearm and is not immaterial. ; $context$ = sent1: something is both not an undervaluation and a reception if it is a preliminary. sent2: something does nip if it does fudge chambermaid. sent3: something is not non-immaterial if it does nip. sent4: the hock is immaterial if it is a nip. sent5: the Guernsey does not fudge chambermaid. sent6: the hock beats forearm but it is not immaterial if the EDS is immaterial. sent7: something does fudge chambermaid if it is a preliminary. sent8: if the junction does fudge tessella it is a kind of a slops. sent9: the pilotfish is a reception if it is an undervaluation. sent10: if the pilotfish is a kind of a food it is an undervaluation. sent11: the pilotfish does not beat forearm if the EDS is a food. sent12: if something does not fudge chambermaid then the fact that it is not a preliminary and not a reception is not right. sent13: the pilotfish is a kind of a food. sent14: the EDS is a kind of a food if the freetail is not an undervaluation but a reception. sent15: the freetail is not a nip. sent16: the EDS is a preliminary if the pilotfish is a reception. ; $proof$ = 
sent10 & sent13 -> int1: the pilotfish is an undervaluation.; int1 & sent9 -> int2: the pilotfish is a kind of a reception.; int2 & sent16 -> int3: the EDS is a kind of a preliminary.; sent7 -> int4: the EDS does fudge chambermaid if it is a preliminary.; int3 & int4 -> int5: the EDS does fudge chambermaid.; sent2 -> int6: if the EDS does fudge chambermaid it is a nip.; int5 & int6 -> int7: the EDS is a nip.; sent3 -> int8: if the EDS nips then that it is immaterial is correct.; int7 & int8 -> int9: the EDS is immaterial.; int9 & sent6 -> hypothesis; __PROVED__