the bushbuck is reasonable.
sent1: that the bushbuck interposes ghostwriter is true if the calla does interposes ghostwriter. sent2: that the transcriber is adscript and/or it does not volatilize is false if the calla curbs bushbuck. sent3: the calla is not a Sheridan and/or does not curb Pergamum. sent4: the dinghy is crustose thing that does curb loneliness. sent5: that the arbiter is not crustose hold. sent6: if the calla is apteral then it does curb bushbuck. sent7: the fact that the bushbuck is not a Novosibirsk and it is not unhappy does not hold if it interposes ghostwriter. sent8: the calla is crustose. sent9: the bushbuck is reasonable thing that does not reflect if the fact that the dinghy is not reasonable hold. sent10: that something is reasonable thing that is not adscript is wrong if it does not curb bushbuck. sent11: something is a kind of crustose thing that does volatilize if it does not curb loneliness. sent12: the calla is apteral. sent13: the fact that the calla does interpose ghostwriter and it does stub Setophaga is not wrong if it does not curb Pergamum. sent14: the calla does not curb Pergamum if either it is not a kind of a Sheridan or it does not curb Pergamum or both. sent15: that the dinosaur does not curb loneliness is correct if there exists something such that that it is both reasonable and not adscript is incorrect. sent16: if that the bushbuck is not a Novosibirsk and is not unhappy is incorrect the transcriber is not apteral. sent17: the dinghy curbs loneliness. sent18: the dinghy does not curb bushbuck and it does not reflect if there exists something such that it is not apteral.
sent4 -> int1: the dinghy is crustose.; void -> assump1: Let's assume that the dinghy is reasonable.; int1 & assump1 -> int2: the dinghy is reasonable and crustose.; sent6 & sent12 -> int3: the calla does curb bushbuck.; sent2 & int3 -> int4: the fact that the transcriber is adscript and/or does not volatilize does not hold.;
the dinosaur volatilizes.
sent11 -> int5: the dinosaur is crustose and does volatilize if it does not curb loneliness.; sent10 -> int6: that the dinghy is both reasonable and not adscript does not hold if it does not curb bushbuck.; sent14 & sent3 -> int7: the calla does not curb Pergamum.; sent13 & int7 -> int8: the calla interposes ghostwriter and does stub Setophaga.; int8 -> int9: the calla does interpose ghostwriter.; sent1 & int9 -> int10: the bushbuck interposes ghostwriter.; sent7 & int10 -> int11: the fact that that the bushbuck is not a Novosibirsk and is not unhappy is true is wrong.; sent16 & int11 -> int12: the transcriber is not apteral.; int12 -> int13: something is not apteral.; int13 & sent18 -> int14: the dinghy does not curb bushbuck and does not reflect.; int14 -> int15: that the dinghy does not curb bushbuck is right.; int6 & int15 -> int16: the fact that the dinghy is not unreasonable but non-adscript is incorrect.; int16 -> int17: there is something such that that it is reasonable and is not adscript is false.; int17 & sent15 -> int18: the fact that the dinosaur does not curb loneliness is not wrong.; int5 & int18 -> int19: the dinosaur is crustose and it does volatilize.; int19 -> hypothesis;
$hypothesis$ = the bushbuck is reasonable. ; $context$ = sent1: that the bushbuck interposes ghostwriter is true if the calla does interposes ghostwriter. sent2: that the transcriber is adscript and/or it does not volatilize is false if the calla curbs bushbuck. sent3: the calla is not a Sheridan and/or does not curb Pergamum. sent4: the dinghy is crustose thing that does curb loneliness. sent5: that the arbiter is not crustose hold. sent6: if the calla is apteral then it does curb bushbuck. sent7: the fact that the bushbuck is not a Novosibirsk and it is not unhappy does not hold if it interposes ghostwriter. sent8: the calla is crustose. sent9: the bushbuck is reasonable thing that does not reflect if the fact that the dinghy is not reasonable hold. sent10: that something is reasonable thing that is not adscript is wrong if it does not curb bushbuck. sent11: something is a kind of crustose thing that does volatilize if it does not curb loneliness. sent12: the calla is apteral. sent13: the fact that the calla does interpose ghostwriter and it does stub Setophaga is not wrong if it does not curb Pergamum. sent14: the calla does not curb Pergamum if either it is not a kind of a Sheridan or it does not curb Pergamum or both. sent15: that the dinosaur does not curb loneliness is correct if there exists something such that that it is both reasonable and not adscript is incorrect. sent16: if that the bushbuck is not a Novosibirsk and is not unhappy is incorrect the transcriber is not apteral. sent17: the dinghy curbs loneliness. sent18: the dinghy does not curb bushbuck and it does not reflect if there exists something such that it is not apteral. ; $proof$ = 
sent4 -> int1: the dinghy is crustose.; void -> assump1: Let's assume that the dinghy is reasonable.; int1 & assump1 -> int2: the dinghy is reasonable and crustose.; sent6 & sent12 -> int3: the calla does curb bushbuck.; sent2 & int3 -> int4: the fact that the transcriber is adscript and/or does not volatilize does not hold.; __UNKNOWN__