that the indumentum is a kind of a AAVE but it is not Cretaceous is not right.
sent1: that the indumentum is a kind of a collateral but it is not a kind of a Cretaceous is false. sent2: the fact that the indumentum is a collateral but it is not a kind of a chip is not right if the Phrygian is not a AAVE. sent3: there exists something such that it is a chip and/or it is unprovocative. sent4: a collateral is a kind of a AAVE and is non-Cretaceous. sent5: the Phrygian is a collateral and/or it is a Cretaceous. sent6: something is unprovocative if the fact that that it is not a collateral and it is not unprovocative is not wrong is wrong. sent7: the indumentum does not chip. sent8: the indumentum is not a patter. sent9: the Phrygian chips. sent10: if something is either a collateral or a chip or both then the Bubo is not unprovocative. sent11: the indumentum is not a kind of a collateral if either something is unprovocative or it is a kind of a AAVE or both. sent12: the fact that the Phrygian is collateral but it is not a AAVE is false. sent13: that the Phrygian is unprovocative is correct. sent14: the fact that the indumentum is a collateral and a Cretaceous is wrong. sent15: something chips or it is a Cretaceous or both. sent16: the fact that the Leonberg is a split but it does not reflectorize birthday is not true. sent17: that the Bubo is unprovocative and not a chip does not hold if the indumentum is not a AAVE. sent18: if something is a Cretaceous the fact that the indumentum is not unprovocative hold. sent19: if there is something such that it is a kind of a collateral then the Phrygian is not a Cretaceous. sent20: if the Bubo is not unprovocative then the fact that the indumentum is both a AAVE and not Cretaceous is not right. sent21: either something is a Cretaceous or it is a AAVE or both.
sent9 -> int1: the Phrygian is not non-collateral and/or is a kind of a chip.; int1 -> int2: something is a collateral and/or it is a chip.; int2 & sent10 -> int3: the Bubo is not unprovocative.; sent20 & int3 -> hypothesis;
the indumentum is a kind of a AAVE but it is not a Cretaceous.
sent4 -> int4: the indumentum is a AAVE but it is not Cretaceous if it is a collateral.;
$hypothesis$ = that the indumentum is a kind of a AAVE but it is not Cretaceous is not right. ; $context$ = sent1: that the indumentum is a kind of a collateral but it is not a kind of a Cretaceous is false. sent2: the fact that the indumentum is a collateral but it is not a kind of a chip is not right if the Phrygian is not a AAVE. sent3: there exists something such that it is a chip and/or it is unprovocative. sent4: a collateral is a kind of a AAVE and is non-Cretaceous. sent5: the Phrygian is a collateral and/or it is a Cretaceous. sent6: something is unprovocative if the fact that that it is not a collateral and it is not unprovocative is not wrong is wrong. sent7: the indumentum does not chip. sent8: the indumentum is not a patter. sent9: the Phrygian chips. sent10: if something is either a collateral or a chip or both then the Bubo is not unprovocative. sent11: the indumentum is not a kind of a collateral if either something is unprovocative or it is a kind of a AAVE or both. sent12: the fact that the Phrygian is collateral but it is not a AAVE is false. sent13: that the Phrygian is unprovocative is correct. sent14: the fact that the indumentum is a collateral and a Cretaceous is wrong. sent15: something chips or it is a Cretaceous or both. sent16: the fact that the Leonberg is a split but it does not reflectorize birthday is not true. sent17: that the Bubo is unprovocative and not a chip does not hold if the indumentum is not a AAVE. sent18: if something is a Cretaceous the fact that the indumentum is not unprovocative hold. sent19: if there is something such that it is a kind of a collateral then the Phrygian is not a Cretaceous. sent20: if the Bubo is not unprovocative then the fact that the indumentum is both a AAVE and not Cretaceous is not right. sent21: either something is a Cretaceous or it is a AAVE or both. ; $proof$ = 
sent9 -> int1: the Phrygian is not non-collateral and/or is a kind of a chip.; int1 -> int2: something is a collateral and/or it is a chip.; int2 & sent10 -> int3: the Bubo is not unprovocative.; sent20 & int3 -> hypothesis; __PROVED__