the lard does hurtle pushup.
sent1: that the lard is a halloo hold. sent2: the lard hurtles pushup if there exists something such that that it lathers moralism or it does not halloo or both is wrong. sent3: if that something does not lather moralism and is not a halloo is not true then it is a kind of a charitableness. sent4: if the fact that that the sutler does not parody Marsh and it is not a pothole is incorrect is correct then it is a pothole. sent5: something is not a Aiken or it is allotropic or both if it is a pothole. sent6: there is something such that the fact that it does halloo and/or it is a charitableness does not hold. sent7: that the sutler does not parody Marsh and is not a kind of a pothole does not hold. sent8: the guereza is a kind of a charitableness and it lathers Coolidge. sent9: if the guereza is a kind of a charitableness and it lathers Coolidge it is not a halloo.
sent9 & sent8 -> int1: the guereza is not a halloo.;
the lard is a charitableness.
sent3 -> int2: if the fact that the lard does not lather moralism and is not a halloo is not correct the fact that it is a kind of a charitableness is not incorrect.; sent5 -> int3: if the sutler is a kind of a pothole it either is not a Aiken or is allotropic or both.; sent4 & sent7 -> int4: the sutler is a pothole.; int3 & int4 -> int5: the sutler is not a kind of a Aiken or it is allotropic or both.; int5 -> int6: either something is not a kind of a Aiken or it is allotropic or both.;
$hypothesis$ = the lard does hurtle pushup. ; $context$ = sent1: that the lard is a halloo hold. sent2: the lard hurtles pushup if there exists something such that that it lathers moralism or it does not halloo or both is wrong. sent3: if that something does not lather moralism and is not a halloo is not true then it is a kind of a charitableness. sent4: if the fact that that the sutler does not parody Marsh and it is not a pothole is incorrect is correct then it is a pothole. sent5: something is not a Aiken or it is allotropic or both if it is a pothole. sent6: there is something such that the fact that it does halloo and/or it is a charitableness does not hold. sent7: that the sutler does not parody Marsh and is not a kind of a pothole does not hold. sent8: the guereza is a kind of a charitableness and it lathers Coolidge. sent9: if the guereza is a kind of a charitableness and it lathers Coolidge it is not a halloo. ; $proof$ = 
sent9 & sent8 -> int1: the guereza is not a halloo.; __UNKNOWN__