the screenwriter is a kind of a friary.
sent1: the screenwriter is not nonparametric and does not block Gjellerup. sent2: something is not a unitization. sent3: there is something such that it does not rake unselfconsciousness. sent4: something is not a kind of a Plethodon. sent5: if the grosgrain is a kind of nonparametric thing that is not a paddle then the malacopterygian does paddle. sent6: the store does not rake unselfconsciousness. sent7: The unselfconsciousness does not rake store. sent8: if the store does not rake unselfconsciousness but it is a friary the screenwriter is not a friary. sent9: if there is something such that it is not a Plethodon the massicot does not rake portability. sent10: something is a kind of a unitization if it is automotive. sent11: something is not a ethnography and it is not a extenuation if it does paddle. sent12: the fact that the screenwriter does rake unselfconsciousness is right if something that is not a friary is not a kind of a unitization. sent13: there exists something such that it is a unitization and it does not rake unselfconsciousness. sent14: the store is not a unitization. sent15: if something is a kind of a unitization it does not rake unselfconsciousness and is a kind of a friary. sent16: the screenwriter is not a unitization. sent17: if the massicot does not rake portability the grosgrain is nonparametric but it is not a paddle. sent18: there is something such that the fact that it is not a kind of a unitization and it rakes unselfconsciousness is right. sent19: the screenwriter rakes unselfconsciousness if there is something such that it is not a unitization and it is not a friary.
sent14 & sent6 -> int1: the store is not a kind of a unitization and it does not rake unselfconsciousness.; int1 -> int2: there is something such that it is not a unitization and does not rake unselfconsciousness.;
the screenwriter is not a friary.
sent15 -> int3: if the store is a unitization then it does not rake unselfconsciousness and it is a friary.; sent10 -> int4: if the store is automotive it is a unitization.; sent11 -> int5: the malacopterygian is not a ethnography and it is not a extenuation if it paddles.; sent4 & sent9 -> int6: the massicot does not rake portability.; sent17 & int6 -> int7: the grosgrain is a kind of nonparametric thing that is not a kind of a paddle.; sent5 & int7 -> int8: the malacopterygian is a kind of a paddle.; int5 & int8 -> int9: the malacopterygian is not a kind of a ethnography and is not a extenuation.; int9 -> int10: the malacopterygian is not a extenuation.; int10 -> int11: there is something such that it is not a kind of a extenuation.;
$hypothesis$ = the screenwriter is a kind of a friary. ; $context$ = sent1: the screenwriter is not nonparametric and does not block Gjellerup. sent2: something is not a unitization. sent3: there is something such that it does not rake unselfconsciousness. sent4: something is not a kind of a Plethodon. sent5: if the grosgrain is a kind of nonparametric thing that is not a paddle then the malacopterygian does paddle. sent6: the store does not rake unselfconsciousness. sent7: The unselfconsciousness does not rake store. sent8: if the store does not rake unselfconsciousness but it is a friary the screenwriter is not a friary. sent9: if there is something such that it is not a Plethodon the massicot does not rake portability. sent10: something is a kind of a unitization if it is automotive. sent11: something is not a ethnography and it is not a extenuation if it does paddle. sent12: the fact that the screenwriter does rake unselfconsciousness is right if something that is not a friary is not a kind of a unitization. sent13: there exists something such that it is a unitization and it does not rake unselfconsciousness. sent14: the store is not a unitization. sent15: if something is a kind of a unitization it does not rake unselfconsciousness and is a kind of a friary. sent16: the screenwriter is not a unitization. sent17: if the massicot does not rake portability the grosgrain is nonparametric but it is not a paddle. sent18: there is something such that the fact that it is not a kind of a unitization and it rakes unselfconsciousness is right. sent19: the screenwriter rakes unselfconsciousness if there is something such that it is not a unitization and it is not a friary. ; $proof$ = 
sent14 & sent6 -> int1: the store is not a kind of a unitization and it does not rake unselfconsciousness.; int1 -> int2: there is something such that it is not a unitization and does not rake unselfconsciousness.; __UNKNOWN__