the Genoese is a kind of a Robert if the newsroom is tolerant.
sent1: there is something such that it is a Pakistani. sent2: the stoner is a kind of a Robert. sent3: the newsroom is a crimson if the airframe is equine. sent4: if the stoner is a cryptomonad then the arrow is not a cryptomonad but it is Pakistani. sent5: the Genoese is a Robert if the fact that the pyxis is a kind of a crimson that is not a Protestant is false. sent6: the fact that the newsroom is a kind of a Pakistani hold if it is a kind of an equine. sent7: the airframe is an equine. sent8: there is something such that it is not a cryptomonad. sent9: the arrow is Pakistani if the stoner is a kind of a cryptomonad. sent10: the Genoese is a Robert if the pyxis is Protestant. sent11: that the pyxis is a crimson but it is not a kind of a Protestant does not hold if the airframe is not a kind of a crimson. sent12: if the arrow is not a kind of a crimson that the pyxis is a crimson and not Pakistani is not right. sent13: something is a cryptomonad and it is a Pakistani. sent14: the fact that the pyxis is a crimson and is a Protestant is not true. sent15: the fact that the fact that the arrow is a Pakistani but it is not a crimson is true is false. sent16: the fact that the pyxis is a crimson and not non-Protestant is not right if the airframe is not a crimson. sent17: if either the arrow is not a kind of a cryptomonad or it is not tolerant or both then the stoner is not tolerant. sent18: the arrow is not a cryptomonad or it is not tolerant or both if the airframe is a kind of an equine. sent19: if something is both not a cryptomonad and a Pakistani the airframe is not a crimson. sent20: the stoner is a cryptomonad if the newsroom is an equine. sent21: the arrow is a Pakistani.
something is not a Ruscus and is shut.
$hypothesis$ = the Genoese is a kind of a Robert if the newsroom is tolerant. ; $context$ = sent1: there is something such that it is a Pakistani. sent2: the stoner is a kind of a Robert. sent3: the newsroom is a crimson if the airframe is equine. sent4: if the stoner is a cryptomonad then the arrow is not a cryptomonad but it is Pakistani. sent5: the Genoese is a Robert if the fact that the pyxis is a kind of a crimson that is not a Protestant is false. sent6: the fact that the newsroom is a kind of a Pakistani hold if it is a kind of an equine. sent7: the airframe is an equine. sent8: there is something such that it is not a cryptomonad. sent9: the arrow is Pakistani if the stoner is a kind of a cryptomonad. sent10: the Genoese is a Robert if the pyxis is Protestant. sent11: that the pyxis is a crimson but it is not a kind of a Protestant does not hold if the airframe is not a kind of a crimson. sent12: if the arrow is not a kind of a crimson that the pyxis is a crimson and not Pakistani is not right. sent13: something is a cryptomonad and it is a Pakistani. sent14: the fact that the pyxis is a crimson and is a Protestant is not true. sent15: the fact that the fact that the arrow is a Pakistani but it is not a crimson is true is false. sent16: the fact that the pyxis is a crimson and not non-Protestant is not right if the airframe is not a crimson. sent17: if either the arrow is not a kind of a cryptomonad or it is not tolerant or both then the stoner is not tolerant. sent18: the arrow is not a cryptomonad or it is not tolerant or both if the airframe is a kind of an equine. sent19: if something is both not a cryptomonad and a Pakistani the airframe is not a crimson. sent20: the stoner is a cryptomonad if the newsroom is an equine. sent21: the arrow is a Pakistani. ; $proof$ = 
__UNKNOWN__