the PCP is a kind of a twentieth.
sent1: that the plate does not pink PCP but it is a kind of a panelist is not correct. sent2: the plate does not pink PCP. sent3: if the PCP is non-tetanic thing that is percussive it pinks Mendelssohn. sent4: something that is not a kind of a twentieth is both non-tetanic and not percussive. sent5: that the PCP is not a Rolodex but it is microeconomics is false if it pinks Mendelssohn. sent6: that the plate does pink PCP and it is a panelist is false. sent7: the fact that something is not percussive if it is not a twentieth is correct. sent8: that the fact that something is non-Botswanan a cladogram hold is not correct if it is a kind of a twentieth. sent9: the plate does not pink PCP and is a kind of a panelist if the PCP is a panelist. sent10: the plate is both not a panelist and not microeconomics if that it is a kind of a dishtowel is not incorrect. sent11: if the PCP pinks Mendelssohn then the fact that it is not a Rolodex and it is not microeconomics does not hold. sent12: if the PCP is a panelist the plate does not pink PCP. sent13: the PCP is not percussive. sent14: the PCP is a panelist if it is microeconomics. sent15: the fact that the PCP does pink Mendelssohn is not wrong if it is not tetanic and it is not percussive. sent16: if the plate is not microeconomics then the SCSI pinks Mendelssohn and is a Rolodex. sent17: the PCP is not percussive if it is not a twentieth. sent18: if the fact that the PCP is not a Rolodex and is not microeconomics does not hold it is a panelist. sent19: the plate is a dishtowel if it does pink PCP.
sent4 -> int1: the PCP is not tetanic and is not percussive if it is not a twentieth.; void -> assump1: Let's assume that the PCP is not a twentieth.; int1 & assump1 -> int2: that the PCP is not tetanic and it is not percussive is not incorrect.; int2 & sent15 -> int3: the PCP pinks Mendelssohn.; int3 & sent11 -> int4: the fact that the PCP is not a Rolodex and is not microeconomics is not right.; int4 & sent18 -> int5: the PCP is a panelist.; int5 & sent9 -> int6: the plate does not pink PCP and is a kind of a panelist.; int6 & sent1 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the fact that the SCSI is not Botswanan but it is a kind of a cladogram is not right.
sent8 -> int8: that the SCSI is not Botswanan but it is a cladogram is false if that it is a twentieth is not false.;
$hypothesis$ = the PCP is a kind of a twentieth. ; $context$ = sent1: that the plate does not pink PCP but it is a kind of a panelist is not correct. sent2: the plate does not pink PCP. sent3: if the PCP is non-tetanic thing that is percussive it pinks Mendelssohn. sent4: something that is not a kind of a twentieth is both non-tetanic and not percussive. sent5: that the PCP is not a Rolodex but it is microeconomics is false if it pinks Mendelssohn. sent6: that the plate does pink PCP and it is a panelist is false. sent7: the fact that something is not percussive if it is not a twentieth is correct. sent8: that the fact that something is non-Botswanan a cladogram hold is not correct if it is a kind of a twentieth. sent9: the plate does not pink PCP and is a kind of a panelist if the PCP is a panelist. sent10: the plate is both not a panelist and not microeconomics if that it is a kind of a dishtowel is not incorrect. sent11: if the PCP pinks Mendelssohn then the fact that it is not a Rolodex and it is not microeconomics does not hold. sent12: if the PCP is a panelist the plate does not pink PCP. sent13: the PCP is not percussive. sent14: the PCP is a panelist if it is microeconomics. sent15: the fact that the PCP does pink Mendelssohn is not wrong if it is not tetanic and it is not percussive. sent16: if the plate is not microeconomics then the SCSI pinks Mendelssohn and is a Rolodex. sent17: the PCP is not percussive if it is not a twentieth. sent18: if the fact that the PCP is not a Rolodex and is not microeconomics does not hold it is a panelist. sent19: the plate is a dishtowel if it does pink PCP. ; $proof$ = 
sent4 -> int1: the PCP is not tetanic and is not percussive if it is not a twentieth.; void -> assump1: Let's assume that the PCP is not a twentieth.; int1 & assump1 -> int2: that the PCP is not tetanic and it is not percussive is not incorrect.; int2 & sent15 -> int3: the PCP pinks Mendelssohn.; int3 & sent11 -> int4: the fact that the PCP is not a Rolodex and is not microeconomics is not right.; int4 & sent18 -> int5: the PCP is a panelist.; int5 & sent9 -> int6: the plate does not pink PCP and is a kind of a panelist.; int6 & sent1 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__