the pianist is a kind of a doublet.
sent1: the claustrophobe is a kind of a Picardie and is wireless. sent2: the remover is a kind of a belvedere that does capture gratification. sent3: the aril is not a slate. sent4: the pianist is not a kind of a doublet if the Medusa is a slate. sent5: if that the boathouse extends is true then that that the Medusa is both a slate and not patriotic is not false is false. sent6: if the pianist is a rocket then the claustrophobe is a doublet. sent7: that the pianist is not a Picardie is not incorrect. sent8: the Medusa rockets. sent9: something that is not a pharmaceutical is both not a rocket and politics. sent10: something is not a kind of a rocket if it is not a pharmaceutical. sent11: if the fact that the Medusa is both not a slate and not patriotic is not correct then the pianist is not a kind of a doublet. sent12: the claustrophobe is not a Picardie but it is a kind of a doublet if that it is not patriotic is right. sent13: if the fact that the boathouse is politics is not incorrect then that the claustrophobe is not a Picardie and does not extend is not correct. sent14: something is a doublet if the fact that it is a pharmaceutical is right. sent15: the claustrophobe is a kind of a Picardie. sent16: the claustrophobe is not a wireless if it is a rocket and it is politics. sent17: the claustrophobe is not a rocket. sent18: that the Medusa is a slate and is not patriotic does not hold. sent19: if the boathouse does extend then the fact that the Medusa does not slate and it is not patriotic is not true. sent20: something does extend and/or is not wireless if it is a slate. sent21: the claustrophobe is not a rocket if it is not pharmaceutical. sent22: if the claustrophobe is a wireless then that the pianist is not a doublet and it does not extend is not right. sent23: something is a kind of a slate and it is patriotic if it is not a Picardie. sent24: the boathouse extends if the claustrophobe is pharmaceutical. sent25: the claustrophobe is not wireless if it is not a kind of a rocket and is politics. sent26: if the claustrophobe is a kind of a doublet then the fact that the pianist is not a pharmaceutical and it is not politics is false.
sent9 -> int1: if the claustrophobe is not a kind of a pharmaceutical then it is not a rocket and it is politics.; void -> assump1: Let's assume that the claustrophobe is not a pharmaceutical.; int1 & assump1 -> int2: the claustrophobe is not a rocket but it is politics.; int2 & sent25 -> int3: the claustrophobe is not a kind of a wireless.; sent1 -> int4: the claustrophobe is wireless.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the claustrophobe is not non-pharmaceutical.; int6 & sent24 -> int7: the boathouse does extend.; int7 & sent19 -> int8: that that the Medusa is not a kind of a slate and it is not patriotic is not right is not incorrect.; int8 & sent11 -> hypothesis;
the fact that the pianist is a doublet is correct.
sent14 -> int9: the pianist is a kind of a doublet if it is a pharmaceutical.; sent20 -> int10: the pianist does extend and/or it is non-wireless if it slates.; sent23 -> int11: if the pianist is not a Picardie then it is a slate and it is patriotic.; int11 & sent7 -> int12: the pianist is a slate and it is patriotic.; int12 -> int13: the pianist is a slate.; int10 & int13 -> int14: that the pianist either does extend or is not a wireless or both is not false.;
$hypothesis$ = the pianist is a kind of a doublet. ; $context$ = sent1: the claustrophobe is a kind of a Picardie and is wireless. sent2: the remover is a kind of a belvedere that does capture gratification. sent3: the aril is not a slate. sent4: the pianist is not a kind of a doublet if the Medusa is a slate. sent5: if that the boathouse extends is true then that that the Medusa is both a slate and not patriotic is not false is false. sent6: if the pianist is a rocket then the claustrophobe is a doublet. sent7: that the pianist is not a Picardie is not incorrect. sent8: the Medusa rockets. sent9: something that is not a pharmaceutical is both not a rocket and politics. sent10: something is not a kind of a rocket if it is not a pharmaceutical. sent11: if the fact that the Medusa is both not a slate and not patriotic is not correct then the pianist is not a kind of a doublet. sent12: the claustrophobe is not a Picardie but it is a kind of a doublet if that it is not patriotic is right. sent13: if the fact that the boathouse is politics is not incorrect then that the claustrophobe is not a Picardie and does not extend is not correct. sent14: something is a doublet if the fact that it is a pharmaceutical is right. sent15: the claustrophobe is a kind of a Picardie. sent16: the claustrophobe is not a wireless if it is a rocket and it is politics. sent17: the claustrophobe is not a rocket. sent18: that the Medusa is a slate and is not patriotic does not hold. sent19: if the boathouse does extend then the fact that the Medusa does not slate and it is not patriotic is not true. sent20: something does extend and/or is not wireless if it is a slate. sent21: the claustrophobe is not a rocket if it is not pharmaceutical. sent22: if the claustrophobe is a wireless then that the pianist is not a doublet and it does not extend is not right. sent23: something is a kind of a slate and it is patriotic if it is not a Picardie. sent24: the boathouse extends if the claustrophobe is pharmaceutical. sent25: the claustrophobe is not wireless if it is not a kind of a rocket and is politics. sent26: if the claustrophobe is a kind of a doublet then the fact that the pianist is not a pharmaceutical and it is not politics is false. ; $proof$ = 
sent9 -> int1: if the claustrophobe is not a kind of a pharmaceutical then it is not a rocket and it is politics.; void -> assump1: Let's assume that the claustrophobe is not a pharmaceutical.; int1 & assump1 -> int2: the claustrophobe is not a rocket but it is politics.; int2 & sent25 -> int3: the claustrophobe is not a kind of a wireless.; sent1 -> int4: the claustrophobe is wireless.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the claustrophobe is not non-pharmaceutical.; int6 & sent24 -> int7: the boathouse does extend.; int7 & sent19 -> int8: that that the Medusa is not a kind of a slate and it is not patriotic is not right is not incorrect.; int8 & sent11 -> hypothesis; __DISPROVED__