the cannonball is a lamp.
sent1: the ununpentium does glare antithesis if the horsefly does not glare antithesis. sent2: that if something is not a laterite it is a matrix and it is a lamp is right. sent3: the pasty is not a communalism or it is not non-thermometric or both. sent4: the dinner is vegetative a streak. sent5: if there is something such that the fact that it is a laterite and it is not a lamp is not correct the litchi is a lamp. sent6: that the fact that the cannonball is not a matrix and not a sourpuss does not hold hold. sent7: the fact that the cannonball is a laterite and is not a lamp is incorrect if the fact that it concocts chug is true. sent8: the cannonball is expansive. sent9: if the ununpentium does glare antithesis then the distributary glare antithesis. sent10: something that is not a streak is a laterite. sent11: that the cannonball does concoct litchi but it does not streak is false. sent12: the litchi is genial if it is not a streak and is not a whooper. sent13: something is both a lamp and a laterite if that it is not a streak is not wrong. sent14: if that something glares antithesis hold then it is not a streak and is not a whooper. sent15: the cannonball is not a streak if it is a matrix. sent16: the cannonball is a laterite if it is not a streak. sent17: something is a kind of a streak that is not a laterite if it is a whooper. sent18: the litchi glares antithesis if the distributary glares antithesis.
sent13 -> int1: if the cannonball is not a streak it is a lamp and a laterite.;
the litchi is a lamp and it is genial.
sent3 -> int2: there is something such that either it is not a communalism or it is thermometric or both.; sent14 -> int3: the litchi is not a kind of a streak and it is not a whooper if it does glare antithesis.;
$hypothesis$ = the cannonball is a lamp. ; $context$ = sent1: the ununpentium does glare antithesis if the horsefly does not glare antithesis. sent2: that if something is not a laterite it is a matrix and it is a lamp is right. sent3: the pasty is not a communalism or it is not non-thermometric or both. sent4: the dinner is vegetative a streak. sent5: if there is something such that the fact that it is a laterite and it is not a lamp is not correct the litchi is a lamp. sent6: that the fact that the cannonball is not a matrix and not a sourpuss does not hold hold. sent7: the fact that the cannonball is a laterite and is not a lamp is incorrect if the fact that it concocts chug is true. sent8: the cannonball is expansive. sent9: if the ununpentium does glare antithesis then the distributary glare antithesis. sent10: something that is not a streak is a laterite. sent11: that the cannonball does concoct litchi but it does not streak is false. sent12: the litchi is genial if it is not a streak and is not a whooper. sent13: something is both a lamp and a laterite if that it is not a streak is not wrong. sent14: if that something glares antithesis hold then it is not a streak and is not a whooper. sent15: the cannonball is not a streak if it is a matrix. sent16: the cannonball is a laterite if it is not a streak. sent17: something is a kind of a streak that is not a laterite if it is a whooper. sent18: the litchi glares antithesis if the distributary glares antithesis. ; $proof$ = 
sent13 -> int1: if the cannonball is not a streak it is a lamp and a laterite.; __UNKNOWN__