the woofer is Liechtensteiner.
sent1: the fact that something breaks and it is a farmyard is not false if it is not differentiable. sent2: if the lowboy is not anaphasic the woofer is Liechtensteiner. sent3: if something does not unmake studded then it is not differentiable and it does not unmake grog. sent4: the Goldsmith is differentiable and it does unmake grog. sent5: the Goldsmith unmakes grog. sent6: the lowboy is not anaphasic if something is a paperwork and is bibliopolic. sent7: if the magnetization is astomatal it is a paperwork. sent8: there is something such that it is bibliopolic. sent9: the magnetization is astomatal if the Uriah unmakes studded. sent10: something is a paperwork. sent11: if the fact that the Goldsmith is differentiable is not wrong then the Uriah unmakes studded. sent12: the magnetization is bibliopolic.
sent4 -> int1: that the Goldsmith is differentiable is not false.; int1 & sent11 -> int2: the Uriah does unmake studded.; int2 & sent9 -> int3: that the magnetization is astomatal is correct.; int3 & sent7 -> int4: the magnetization is a paperwork.; int4 & sent12 -> int5: the magnetization is a paperwork and it is bibliopolic.; int5 -> int6: something is a paperwork and it is bibliopolic.; int6 & sent6 -> int7: the lowboy is not anaphasic.; int7 & sent2 -> hypothesis;
the headboard is a kind of a break and it is a farmyard.
sent3 -> int8: if the Goldsmith does not unmake studded then it is not differentiable and does not unmake grog.; sent1 -> int9: the Goldsmith does break and it is a farmyard if it is not differentiable.;
$hypothesis$ = the woofer is Liechtensteiner. ; $context$ = sent1: the fact that something breaks and it is a farmyard is not false if it is not differentiable. sent2: if the lowboy is not anaphasic the woofer is Liechtensteiner. sent3: if something does not unmake studded then it is not differentiable and it does not unmake grog. sent4: the Goldsmith is differentiable and it does unmake grog. sent5: the Goldsmith unmakes grog. sent6: the lowboy is not anaphasic if something is a paperwork and is bibliopolic. sent7: if the magnetization is astomatal it is a paperwork. sent8: there is something such that it is bibliopolic. sent9: the magnetization is astomatal if the Uriah unmakes studded. sent10: something is a paperwork. sent11: if the fact that the Goldsmith is differentiable is not wrong then the Uriah unmakes studded. sent12: the magnetization is bibliopolic. ; $proof$ = 
sent4 -> int1: that the Goldsmith is differentiable is not false.; int1 & sent11 -> int2: the Uriah does unmake studded.; int2 & sent9 -> int3: that the magnetization is astomatal is correct.; int3 & sent7 -> int4: the magnetization is a paperwork.; int4 & sent12 -> int5: the magnetization is a paperwork and it is bibliopolic.; int5 -> int6: something is a paperwork and it is bibliopolic.; int6 & sent6 -> int7: the lowboy is not anaphasic.; int7 & sent2 -> hypothesis; __PROVED__