the fact that the pup is essential or it is not a fool or both is false.
sent1: if the fact that something does not identify Planera and does not rabbet horse is incorrect it does not fool. sent2: the Anglicization is not a kind of a fool if it identifies Planera. sent3: if something is not non-fearful it is not stenographic and it is not liliaceous. sent4: if the Anglicization is not a fool then the fact that the pup is essential and/or it does not fool does not hold. sent5: the pup is a fool. sent6: the Anglicization is a kind of an authoritarian if it does not effloresce and it is nonjudgmental. sent7: if the goldsmith is not stenographic and not liliaceous then the creatine does not wear crusher. sent8: everything is fearful. sent9: the fact that the Anglicization does identify Planera and does not rabbet horse does not hold. sent10: the fact that the filibuster does not effloresce and is not nonjudgmental does not hold if the creatine does not wear crusher. sent11: if the Anglicization effloresces and is nonjudgmental it is an authoritarian. sent12: the fact that something does not identify Planera and does not rabbet horse is wrong if it is an authoritarian. sent13: the Anglicization does not effloresce but it is nonjudgmental. sent14: if something does identify Planera then it is not a fool.
sent12 -> int1: if the Anglicization is an authoritarian then that it does not identify Planera and it does not rabbet horse is not right.; sent6 & sent13 -> int2: the Anglicization is a kind of an authoritarian.; int1 & int2 -> int3: the fact that the Anglicization does not identify Planera and it does not rabbet horse is incorrect.; sent1 -> int4: the Anglicization does not fool if the fact that it does not identify Planera and it does not rabbet horse does not hold.; int3 & int4 -> int5: that the Anglicization is not a kind of a fool hold.; int5 & sent4 -> hypothesis;
the pup either is essential or does not fool or both.
sent3 -> int6: if the goldsmith is fearful it is not stenographic and it is not liliaceous.; sent8 -> int7: the goldsmith is fearful.; int6 & int7 -> int8: the goldsmith is not stenographic and it is not liliaceous.; sent7 & int8 -> int9: the creatine does not wear crusher.; sent10 & int9 -> int10: that the filibuster does not effloresce and it is not nonjudgmental is false.;
$hypothesis$ = the fact that the pup is essential or it is not a fool or both is false. ; $context$ = sent1: if the fact that something does not identify Planera and does not rabbet horse is incorrect it does not fool. sent2: the Anglicization is not a kind of a fool if it identifies Planera. sent3: if something is not non-fearful it is not stenographic and it is not liliaceous. sent4: if the Anglicization is not a fool then the fact that the pup is essential and/or it does not fool does not hold. sent5: the pup is a fool. sent6: the Anglicization is a kind of an authoritarian if it does not effloresce and it is nonjudgmental. sent7: if the goldsmith is not stenographic and not liliaceous then the creatine does not wear crusher. sent8: everything is fearful. sent9: the fact that the Anglicization does identify Planera and does not rabbet horse does not hold. sent10: the fact that the filibuster does not effloresce and is not nonjudgmental does not hold if the creatine does not wear crusher. sent11: if the Anglicization effloresces and is nonjudgmental it is an authoritarian. sent12: the fact that something does not identify Planera and does not rabbet horse is wrong if it is an authoritarian. sent13: the Anglicization does not effloresce but it is nonjudgmental. sent14: if something does identify Planera then it is not a fool. ; $proof$ = 
sent12 -> int1: if the Anglicization is an authoritarian then that it does not identify Planera and it does not rabbet horse is not right.; sent6 & sent13 -> int2: the Anglicization is a kind of an authoritarian.; int1 & int2 -> int3: the fact that the Anglicization does not identify Planera and it does not rabbet horse is incorrect.; sent1 -> int4: the Anglicization does not fool if the fact that it does not identify Planera and it does not rabbet horse does not hold.; int3 & int4 -> int5: that the Anglicization is not a kind of a fool hold.; int5 & sent4 -> hypothesis; __PROVED__