the transept clanks crabgrass but it is not a Cornishwoman.
sent1: the pustule is not a Cornishwoman. sent2: if something is non-metacentric thing that is a kind of a celebrant it does not clank crabgrass. sent3: the peacock-throne is a kind of a Cornishwoman if the matte is a kind of a Cornishwoman but it is not musical. sent4: the transept is not a Cornishwoman. sent5: if the matte ammoniates transept the peacock-throne does not ammoniates transept. sent6: the transept clanks crabgrass if the peacock-throne clanks crabgrass. sent7: the fact that the fact that the pustule does not ammoniate transept is not wrong if the pustule is a celebrant and/or it is metacentric is not wrong. sent8: the transept clanks crabgrass and is not a Cornishwoman if the pustule is not a celebrant. sent9: the dika does not ammoniate transept. sent10: the pustule is non-metacentric a celebrant if the peacock-throne does not ammoniate transept. sent11: if that the pustule is metacentric or does clank crabgrass or both is not false then it is not a kind of a celebrant. sent12: the transept is a kind of a celebrant. sent13: if the fact that the pustule does not clank crabgrass hold the transept is not a detector. sent14: something that is a Cornishwoman clanks crabgrass. sent15: the pustule is a detector. sent16: if the pustule does not ammoniate transept or is metacentric or both then the side-wheeler is branchless.
void -> assump1: Let's assume that the pustule is a celebrant.; assump1 -> int1: either the pustule is a kind of a celebrant or it is metacentric or both.; int1 & sent7 -> int2: the pustule does not ammoniate transept.;
the fact that the transept does clank crabgrass and is not a kind of a Cornishwoman is incorrect.
sent2 -> int3: if the pustule is not metacentric but it is a celebrant it does not clank crabgrass.;
$hypothesis$ = the transept clanks crabgrass but it is not a Cornishwoman. ; $context$ = sent1: the pustule is not a Cornishwoman. sent2: if something is non-metacentric thing that is a kind of a celebrant it does not clank crabgrass. sent3: the peacock-throne is a kind of a Cornishwoman if the matte is a kind of a Cornishwoman but it is not musical. sent4: the transept is not a Cornishwoman. sent5: if the matte ammoniates transept the peacock-throne does not ammoniates transept. sent6: the transept clanks crabgrass if the peacock-throne clanks crabgrass. sent7: the fact that the fact that the pustule does not ammoniate transept is not wrong if the pustule is a celebrant and/or it is metacentric is not wrong. sent8: the transept clanks crabgrass and is not a Cornishwoman if the pustule is not a celebrant. sent9: the dika does not ammoniate transept. sent10: the pustule is non-metacentric a celebrant if the peacock-throne does not ammoniate transept. sent11: if that the pustule is metacentric or does clank crabgrass or both is not false then it is not a kind of a celebrant. sent12: the transept is a kind of a celebrant. sent13: if the fact that the pustule does not clank crabgrass hold the transept is not a detector. sent14: something that is a Cornishwoman clanks crabgrass. sent15: the pustule is a detector. sent16: if the pustule does not ammoniate transept or is metacentric or both then the side-wheeler is branchless. ; $proof$ = 
void -> assump1: Let's assume that the pustule is a celebrant.; assump1 -> int1: either the pustule is a kind of a celebrant or it is metacentric or both.; int1 & sent7 -> int2: the pustule does not ammoniate transept.; __UNKNOWN__