if the puckerbush is ceramic that the headpiece does scar and is not hairless is wrong.
sent1: the fact that the headpiece is a kind of a scarred but it is not hairless is incorrect if the puckerbush is untidy. sent2: if that the puckerbush is untidy hold the fact that the headpiece is a scarred and not a ceramic is not right. sent3: the X is untidy. sent4: if the headpiece is untidy the puckerbush is a scarred but it is not hairless. sent5: the triggerfish is ceramic. sent6: if the puckerbush is a kind of a ceramic then the fact that the headpiece is both a scarred and hairless is not right. sent7: the headpiece is a scarred but it is not hairless if the puckerbush is a ceramic. sent8: the puckerbush does bark puckerbush. sent9: the puckerbush is untidy if it is a ceramic. sent10: the fact that the puckerbush is a scarred that is not untidy is not right if the headpiece is hairless. sent11: that the headpiece is a scarred but it is not hairless is not wrong. sent12: the fact that the headpiece is not tidy and not a scarred does not hold. sent13: the fact that the puckerbush is untidy but it does not scar does not hold if the headpiece is hairless. sent14: that that the headpiece is hairless and a ceramic is false is correct. sent15: if the puckerbush is hairless the headpiece is a kind of ceramic thing that is not untidy. sent16: if the headpiece is ceramic that the puckerbush scars but it is not hairless is false. sent17: the puckerbush is hairless. sent18: if the puckerbush is ceramic the headpiece is a scarred and is not untidy. sent19: if the puckerbush is not tidy then the fact that the headpiece is a scarred and it is hairless is wrong. sent20: the headpiece does bark half-length.
void -> assump1: Let's assume that the puckerbush is a kind of a ceramic.; sent9 & assump1 -> int1: the puckerbush is untidy.; sent1 & int1 -> int2: the fact that the headpiece does scar and is not hairless is not right.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the puckerbush is ceramic that the headpiece does scar and is not hairless is wrong. ; $context$ = sent1: the fact that the headpiece is a kind of a scarred but it is not hairless is incorrect if the puckerbush is untidy. sent2: if that the puckerbush is untidy hold the fact that the headpiece is a scarred and not a ceramic is not right. sent3: the X is untidy. sent4: if the headpiece is untidy the puckerbush is a scarred but it is not hairless. sent5: the triggerfish is ceramic. sent6: if the puckerbush is a kind of a ceramic then the fact that the headpiece is both a scarred and hairless is not right. sent7: the headpiece is a scarred but it is not hairless if the puckerbush is a ceramic. sent8: the puckerbush does bark puckerbush. sent9: the puckerbush is untidy if it is a ceramic. sent10: the fact that the puckerbush is a scarred that is not untidy is not right if the headpiece is hairless. sent11: that the headpiece is a scarred but it is not hairless is not wrong. sent12: the fact that the headpiece is not tidy and not a scarred does not hold. sent13: the fact that the puckerbush is untidy but it does not scar does not hold if the headpiece is hairless. sent14: that that the headpiece is hairless and a ceramic is false is correct. sent15: if the puckerbush is hairless the headpiece is a kind of ceramic thing that is not untidy. sent16: if the headpiece is ceramic that the puckerbush scars but it is not hairless is false. sent17: the puckerbush is hairless. sent18: if the puckerbush is ceramic the headpiece is a scarred and is not untidy. sent19: if the puckerbush is not tidy then the fact that the headpiece is a scarred and it is hairless is wrong. sent20: the headpiece does bark half-length. ; $proof$ = 
void -> assump1: Let's assume that the puckerbush is a kind of a ceramic.; sent9 & assump1 -> int1: the puckerbush is untidy.; sent1 & int1 -> int2: the fact that the headpiece does scar and is not hairless is not right.; [assump1] & int2 -> hypothesis; __PROVED__