the taffrail does fingerprint taffrail.
sent1: if something does catalyze antigram it is not animatistic and is not a scapegrace. sent2: the blackfly does not catalyze antigram. sent3: the fact that the blackfly is a kind of non-animatistic thing that catalyzes antigram is not correct. sent4: the survivor is not a scapegrace if it is a Tobagonian. sent5: the erection is not a paygrade. sent6: a non-animatistic thing that is not a scapegrace is not a paygrade. sent7: the blackfly is non-animatistic and it does not catalyze antigram if the survivor is not a scapegrace. sent8: if the survivor is not a kind of a scapegrace then the blackfly does not catalyze antigram. sent9: that that the survivor is a kind of non-Tobagonian thing that does naturalize is not correct is not false if the taffrail is not a paygrade. sent10: that the blackfly is not animatistic and does not catalyze antigram is not true. sent11: if the taffrail is not a paygrade that the survivor is Tobagonian and it does naturalize is not correct. sent12: if the fact that the taffrail is a paygrade is not wrong it fingerprints taffrail. sent13: that the survivor is a Tobagonian that does naturalize is false.
void -> assump1: Let's assume that the taffrail is not a paygrade.; sent9 & assump1 -> int1: that the survivor is not a kind of a Tobagonian but it naturalizes is not correct.;
the taffrail does not fingerprint taffrail.
sent6 -> int2: if the survivor is not animatistic and it is not a scapegrace then it is not a kind of a paygrade.; sent1 -> int3: if the survivor does catalyze antigram then it is not animatistic and not a scapegrace.;
$hypothesis$ = the taffrail does fingerprint taffrail. ; $context$ = sent1: if something does catalyze antigram it is not animatistic and is not a scapegrace. sent2: the blackfly does not catalyze antigram. sent3: the fact that the blackfly is a kind of non-animatistic thing that catalyzes antigram is not correct. sent4: the survivor is not a scapegrace if it is a Tobagonian. sent5: the erection is not a paygrade. sent6: a non-animatistic thing that is not a scapegrace is not a paygrade. sent7: the blackfly is non-animatistic and it does not catalyze antigram if the survivor is not a scapegrace. sent8: if the survivor is not a kind of a scapegrace then the blackfly does not catalyze antigram. sent9: that that the survivor is a kind of non-Tobagonian thing that does naturalize is not correct is not false if the taffrail is not a paygrade. sent10: that the blackfly is not animatistic and does not catalyze antigram is not true. sent11: if the taffrail is not a paygrade that the survivor is Tobagonian and it does naturalize is not correct. sent12: if the fact that the taffrail is a paygrade is not wrong it fingerprints taffrail. sent13: that the survivor is a Tobagonian that does naturalize is false. ; $proof$ = 
void -> assump1: Let's assume that the taffrail is not a paygrade.; sent9 & assump1 -> int1: that the survivor is not a kind of a Tobagonian but it naturalizes is not correct.; __UNKNOWN__