the lighter is not a pedant.
sent1: if something that is a oscillograph is not vigesimal the focalization is felicitous. sent2: there is something such that it adds kilobit and it is a kind of a Nashville. sent3: if something is not a kind of a Pollachius that it is felicitous and it adds kilobit does not hold. sent4: if that the focalization is felicitous and it adds kilobit does not hold that it is not a kind of a Nashville is right. sent5: the antheridiophore is a oscillograph. sent6: if the focalization does not add sound and is pedunculate that the steamfitter does add kilobit is correct. sent7: if the fact that something is not felicitous and it is not a kind of a Pollachius is not true it does not add kilobit. sent8: there is something such that it does add kilobit. sent9: the fact that the lighter does not add sound is right. sent10: something is not a Nashville. sent11: if something is felicitous then it is a Pollachius. sent12: something manhandles Benzedrine and is not Palladian if that it is not a Nashville is right. sent13: the steamfitter is not a kind of a Nashville if it is not vigesimal. sent14: the focalization does not add sound but it is pedunculate. sent15: something is a oscillograph and is not vigesimal. sent16: the steamfitter is not vigesimal. sent17: if something that adds kilobit is not a kind of a Nashville then the antheridiophore is felicitous. sent18: if the steamfitter is a oscillograph but not a Pollachius then the focalization is not a Pollachius. sent19: the focalization is pedunculate. sent20: if that something is vigesimal but it is not a Nashville is true then the steamfitter adds kilobit.
sent6 & sent14 -> int1: the steamfitter does add kilobit.; sent13 & sent16 -> int2: the steamfitter is not a Nashville.; int1 & int2 -> int3: the steamfitter adds kilobit but it is not a kind of a Nashville.; int3 -> int4: there exists something such that it adds kilobit and it is not a Nashville.; int4 & sent17 -> int5: the antheridiophore is felicitous.; sent11 -> int6: the antheridiophore is a Pollachius if that it is felicitous is correct.; int5 & int6 -> int7: the antheridiophore is a kind of a Pollachius.; int7 & sent5 -> int8: the antheridiophore is a Pollachius and it is a oscillograph.;
the lighter is a pedant.
sent7 -> int9: if the fact that the lighter is not felicitous and it is not a kind of a Pollachius does not hold it does not add kilobit.; sent15 & sent1 -> int10: the focalization is felicitous.; int10 -> int11: there is something such that it is felicitous.;
$hypothesis$ = the lighter is not a pedant. ; $context$ = sent1: if something that is a oscillograph is not vigesimal the focalization is felicitous. sent2: there is something such that it adds kilobit and it is a kind of a Nashville. sent3: if something is not a kind of a Pollachius that it is felicitous and it adds kilobit does not hold. sent4: if that the focalization is felicitous and it adds kilobit does not hold that it is not a kind of a Nashville is right. sent5: the antheridiophore is a oscillograph. sent6: if the focalization does not add sound and is pedunculate that the steamfitter does add kilobit is correct. sent7: if the fact that something is not felicitous and it is not a kind of a Pollachius is not true it does not add kilobit. sent8: there is something such that it does add kilobit. sent9: the fact that the lighter does not add sound is right. sent10: something is not a Nashville. sent11: if something is felicitous then it is a Pollachius. sent12: something manhandles Benzedrine and is not Palladian if that it is not a Nashville is right. sent13: the steamfitter is not a kind of a Nashville if it is not vigesimal. sent14: the focalization does not add sound but it is pedunculate. sent15: something is a oscillograph and is not vigesimal. sent16: the steamfitter is not vigesimal. sent17: if something that adds kilobit is not a kind of a Nashville then the antheridiophore is felicitous. sent18: if the steamfitter is a oscillograph but not a Pollachius then the focalization is not a Pollachius. sent19: the focalization is pedunculate. sent20: if that something is vigesimal but it is not a Nashville is true then the steamfitter adds kilobit. ; $proof$ = 
sent6 & sent14 -> int1: the steamfitter does add kilobit.; sent13 & sent16 -> int2: the steamfitter is not a Nashville.; int1 & int2 -> int3: the steamfitter adds kilobit but it is not a kind of a Nashville.; int3 -> int4: there exists something such that it adds kilobit and it is not a Nashville.; int4 & sent17 -> int5: the antheridiophore is felicitous.; sent11 -> int6: the antheridiophore is a Pollachius if that it is felicitous is correct.; int5 & int6 -> int7: the antheridiophore is a kind of a Pollachius.; int7 & sent5 -> int8: the antheridiophore is a Pollachius and it is a oscillograph.; __UNKNOWN__