the pink is a gladiator.
sent1: the stair-rod is a kind of a Brickellia. sent2: if that the stair-rod is not a kind of a Brickellia and/or it is a silviculture is not right then it is non-bright. sent3: the oxidoreductase is not a kind of a silviculture. sent4: the mirid is a Brickellia. sent5: the pink is a kind of a silviculture. sent6: that the pink is not a Cenozoic is correct if it is not a kind of a Cretaceous and it is a kind of a picador. sent7: if the endoneurium is a silviculture the fact that the stair-rod is not a Brickellia and/or it is a kind of a silviculture is false. sent8: if the mirid is a kind of a silviculture and it is acinar it is non-Cretaceous. sent9: if the stair-rod is a picador the mirid does not resent Agastache but it is a kind of a picador. sent10: if the pink does not resent Agastache but it is bright then it is not a picador. sent11: if that the stair-rod is not bright is correct then it is a picador. sent12: the pink is not a Brickellia. sent13: the fact that the pink is not Cretaceous if the stair-rod is a picador is right. sent14: that the mirid does not resent Agastache and is acinar is not correct. sent15: the fact that the endoneurium is not a silviculture is incorrect if the fact that the mirid does not resent Agastache but it is acinar is not right. sent16: the fact that if the stair-rod is not acinar then the mirid is a Brickellia is true. sent17: if the mirid does resent Agastache the endoneurium is a kind of a silviculture. sent18: if the pink is not a kind of a Cenozoic it is a kind of a gladiator. sent19: that the pink is not a kind of a Cretaceous is not false. sent20: the pink is not a kind of a gladiator if the mirid is a Brickellia that is not a gladiator. sent21: the endoneurium is not Cenozoic. sent22: the pink is not acinar if it resents Agastache and is a picador. sent23: the tea-strainer is a silviculture. sent24: if the pink is a kind of a silviculture then the endoneurium is Cretaceous. sent25: if the endoneurium is not bright then the stair-rod is a kind of a silviculture. sent26: if the stair-rod is a picador then the pink is non-Cretaceous and a picador.
sent15 & sent14 -> int1: the endoneurium is a silviculture.; int1 & sent7 -> int2: the fact that the stair-rod is not a Brickellia and/or it is a silviculture is incorrect.; int2 & sent2 -> int3: that the stair-rod is not bright is true.; int3 & sent11 -> int4: the stair-rod is a picador.; int4 & sent26 -> int5: the pink is not Cretaceous but it is a picador.; int5 & sent6 -> int6: the pink is not a kind of a Cenozoic.; int6 & sent18 -> hypothesis;
the pink is not a gladiator.
$hypothesis$ = the pink is a gladiator. ; $context$ = sent1: the stair-rod is a kind of a Brickellia. sent2: if that the stair-rod is not a kind of a Brickellia and/or it is a silviculture is not right then it is non-bright. sent3: the oxidoreductase is not a kind of a silviculture. sent4: the mirid is a Brickellia. sent5: the pink is a kind of a silviculture. sent6: that the pink is not a Cenozoic is correct if it is not a kind of a Cretaceous and it is a kind of a picador. sent7: if the endoneurium is a silviculture the fact that the stair-rod is not a Brickellia and/or it is a kind of a silviculture is false. sent8: if the mirid is a kind of a silviculture and it is acinar it is non-Cretaceous. sent9: if the stair-rod is a picador the mirid does not resent Agastache but it is a kind of a picador. sent10: if the pink does not resent Agastache but it is bright then it is not a picador. sent11: if that the stair-rod is not bright is correct then it is a picador. sent12: the pink is not a Brickellia. sent13: the fact that the pink is not Cretaceous if the stair-rod is a picador is right. sent14: that the mirid does not resent Agastache and is acinar is not correct. sent15: the fact that the endoneurium is not a silviculture is incorrect if the fact that the mirid does not resent Agastache but it is acinar is not right. sent16: the fact that if the stair-rod is not acinar then the mirid is a Brickellia is true. sent17: if the mirid does resent Agastache the endoneurium is a kind of a silviculture. sent18: if the pink is not a kind of a Cenozoic it is a kind of a gladiator. sent19: that the pink is not a kind of a Cretaceous is not false. sent20: the pink is not a kind of a gladiator if the mirid is a Brickellia that is not a gladiator. sent21: the endoneurium is not Cenozoic. sent22: the pink is not acinar if it resents Agastache and is a picador. sent23: the tea-strainer is a silviculture. sent24: if the pink is a kind of a silviculture then the endoneurium is Cretaceous. sent25: if the endoneurium is not bright then the stair-rod is a kind of a silviculture. sent26: if the stair-rod is a picador then the pink is non-Cretaceous and a picador. ; $proof$ = 
sent15 & sent14 -> int1: the endoneurium is a silviculture.; int1 & sent7 -> int2: the fact that the stair-rod is not a Brickellia and/or it is a silviculture is incorrect.; int2 & sent2 -> int3: that the stair-rod is not bright is true.; int3 & sent11 -> int4: the stair-rod is a picador.; int4 & sent26 -> int5: the pink is not Cretaceous but it is a picador.; int5 & sent6 -> int6: the pink is not a kind of a Cenozoic.; int6 & sent18 -> hypothesis; __PROVED__