the fact that the periselene does not walk bacitracin and is not a Lamb is not true.
sent1: if the ceftriaxone is not a Lamb the clamp is not a Meredith and not a Lamb. sent2: the fact that the ceftriaxone firebombs highboard and does not firebomb T-bill is incorrect if it does not whistle puerperium. sent3: the periselene does not walk bacitracin and is not a Lamb if the clamp is not a Lamb. sent4: the ceftriaxone does not whistle puerperium. sent5: if the fact that something firebombs highboard and does not firebomb T-bill does not hold it does not walk royalty. sent6: something that does not walk royalty and/or is not a scholiast is not a Lamb. sent7: The puerperium does not whistle ceftriaxone.
sent5 -> int1: the ceftriaxone does not walk royalty if the fact that it does firebomb highboard and it does not firebomb T-bill does not hold.; sent2 & sent4 -> int2: that the ceftriaxone does firebomb highboard and does not firebomb T-bill is false.; int1 & int2 -> int3: the ceftriaxone does not walk royalty.; int3 -> int4: the ceftriaxone does not walk royalty and/or it is not a kind of a scholiast.; sent6 -> int5: if the ceftriaxone either does not walk royalty or is not a kind of a scholiast or both then it is not a kind of a Lamb.; int4 & int5 -> int6: the ceftriaxone is not a Lamb.; int6 & sent1 -> int7: the clamp is both not a Meredith and not a Lamb.; int7 -> int8: the clamp is not a kind of a Lamb.; int8 & sent3 -> hypothesis;
$hypothesis$ = the fact that the periselene does not walk bacitracin and is not a Lamb is not true. ; $context$ = sent1: if the ceftriaxone is not a Lamb the clamp is not a Meredith and not a Lamb. sent2: the fact that the ceftriaxone firebombs highboard and does not firebomb T-bill is incorrect if it does not whistle puerperium. sent3: the periselene does not walk bacitracin and is not a Lamb if the clamp is not a Lamb. sent4: the ceftriaxone does not whistle puerperium. sent5: if the fact that something firebombs highboard and does not firebomb T-bill does not hold it does not walk royalty. sent6: something that does not walk royalty and/or is not a scholiast is not a Lamb. sent7: The puerperium does not whistle ceftriaxone. ; $proof$ = 
sent5 -> int1: the ceftriaxone does not walk royalty if the fact that it does firebomb highboard and it does not firebomb T-bill does not hold.; sent2 & sent4 -> int2: that the ceftriaxone does firebomb highboard and does not firebomb T-bill is false.; int1 & int2 -> int3: the ceftriaxone does not walk royalty.; int3 -> int4: the ceftriaxone does not walk royalty and/or it is not a kind of a scholiast.; sent6 -> int5: if the ceftriaxone either does not walk royalty or is not a kind of a scholiast or both then it is not a kind of a Lamb.; int4 & int5 -> int6: the ceftriaxone is not a Lamb.; int6 & sent1 -> int7: the clamp is both not a Meredith and not a Lamb.; int7 -> int8: the clamp is not a kind of a Lamb.; int8 & sent3 -> hypothesis; __DISPROVED__