the firebrat does mark firebrat.
sent1: the abbey marks outburst. sent2: the stencil is not a Cartesian if it is a cancan and/or it is not a contingency. sent3: the foreplay is a contingency if the orthoscope is a contingency. sent4: the foreplay is not a kind of a contingency if it does not educate. sent5: the fact that the firebrat is not pneumatic is not true. sent6: the abbey marks firebrat if the firebrat does marks firebrat. sent7: something is pneumatic if it is a cancan. sent8: the abbey is a cancan if the stencil is not Cartesian and/or it does not mark outburst. sent9: the foreplay is not a contingency if that it either is Cartesian or does not educate or both is right. sent10: either the stencil is not a Cartesian or it does not mark outburst or both if the foreplay is not a kind of a Cartesian. sent11: if the stencil does educate the foreplay does educate. sent12: if the abbey is pneumatic then the firebrat marks firebrat. sent13: the foreplay is a contingency or it is not a cancan or both. sent14: if the orthoscope does not mark firebrat then the firebrat does not mark firebrat or it is a kind of a contingency or both. sent15: if the stencil educates and/or it is non-Cartesian it does not mark firebrat.
void -> assump1: Let's assume that the foreplay is Cartesian.; assump1 -> int1: the foreplay either is a Cartesian or does not educate or both.; int1 & sent9 -> int2: the foreplay is not a contingency.; sent7 -> int3: the fact that the abbey is pneumatic if that the abbey is a cancan is not wrong hold.;
$hypothesis$ = the firebrat does mark firebrat. ; $context$ = sent1: the abbey marks outburst. sent2: the stencil is not a Cartesian if it is a cancan and/or it is not a contingency. sent3: the foreplay is a contingency if the orthoscope is a contingency. sent4: the foreplay is not a kind of a contingency if it does not educate. sent5: the fact that the firebrat is not pneumatic is not true. sent6: the abbey marks firebrat if the firebrat does marks firebrat. sent7: something is pneumatic if it is a cancan. sent8: the abbey is a cancan if the stencil is not Cartesian and/or it does not mark outburst. sent9: the foreplay is not a contingency if that it either is Cartesian or does not educate or both is right. sent10: either the stencil is not a Cartesian or it does not mark outburst or both if the foreplay is not a kind of a Cartesian. sent11: if the stencil does educate the foreplay does educate. sent12: if the abbey is pneumatic then the firebrat marks firebrat. sent13: the foreplay is a contingency or it is not a cancan or both. sent14: if the orthoscope does not mark firebrat then the firebrat does not mark firebrat or it is a kind of a contingency or both. sent15: if the stencil educates and/or it is non-Cartesian it does not mark firebrat. ; $proof$ = 
void -> assump1: Let's assume that the foreplay is Cartesian.; assump1 -> int1: the foreplay either is a Cartesian or does not educate or both.; int1 & sent9 -> int2: the foreplay is not a contingency.; sent7 -> int3: the fact that the abbey is pneumatic if that the abbey is a cancan is not wrong hold.; __UNKNOWN__