the compere does not frisk self-starter.
sent1: if the rooftop is not a Tachyglossus and is a kind of a Czech the apprehender is not a adience. sent2: the apprehender is unfit if the credenza is unfit. sent3: there exists something such that that it is ropy is correct. sent4: the self-starter is unfit. sent5: the apprehender is not a Tachyglossus. sent6: the sweetmeat is not a adience. sent7: if the apprehender is a kind of a Ichyostega but it is not a kind of a Czech then the rooftop is a Ichyostega. sent8: the rooftop is not ropy. sent9: the self-starter is not ropy if the apprehender is unfit and not a adience. sent10: the compere does frisk self-starter if the rooftop is a Ichyostega. sent11: the rooftop is not a Ichyostega and it is not a Tachyglossus if there is something such that it is fit. sent12: if the apprehender is unfit then the compere is unfit. sent13: the sweetmeat is not a Ichyostega. sent14: the credenza is unfit. sent15: if the self-starter is not ropy then the compere does not frisk self-starter. sent16: the apprehender is not a adience if the rooftop is not a Tachyglossus and is not a Czech. sent17: the rooftop is not a kind of a Tachyglossus and is not a kind of a Czech if something is not a Ichyostega. sent18: the rooftop is unfit and is not a Czech.
sent13 -> int1: something is not a Ichyostega.; int1 & sent17 -> int2: the rooftop is not a kind of a Tachyglossus and is not Czech.; int2 & sent16 -> int3: the apprehender is not a adience.; sent2 & sent14 -> int4: the apprehender is unfit.; int3 & int4 -> int5: the apprehender is unfit but it is not a adience.; int5 & sent9 -> int6: the self-starter is not ropy.; int6 & sent15 -> hypothesis;
the compere frisks self-starter.
$hypothesis$ = the compere does not frisk self-starter. ; $context$ = sent1: if the rooftop is not a Tachyglossus and is a kind of a Czech the apprehender is not a adience. sent2: the apprehender is unfit if the credenza is unfit. sent3: there exists something such that that it is ropy is correct. sent4: the self-starter is unfit. sent5: the apprehender is not a Tachyglossus. sent6: the sweetmeat is not a adience. sent7: if the apprehender is a kind of a Ichyostega but it is not a kind of a Czech then the rooftop is a Ichyostega. sent8: the rooftop is not ropy. sent9: the self-starter is not ropy if the apprehender is unfit and not a adience. sent10: the compere does frisk self-starter if the rooftop is a Ichyostega. sent11: the rooftop is not a Ichyostega and it is not a Tachyglossus if there is something such that it is fit. sent12: if the apprehender is unfit then the compere is unfit. sent13: the sweetmeat is not a Ichyostega. sent14: the credenza is unfit. sent15: if the self-starter is not ropy then the compere does not frisk self-starter. sent16: the apprehender is not a adience if the rooftop is not a Tachyglossus and is not a Czech. sent17: the rooftop is not a kind of a Tachyglossus and is not a kind of a Czech if something is not a Ichyostega. sent18: the rooftop is unfit and is not a Czech. ; $proof$ = 
sent13 -> int1: something is not a Ichyostega.; int1 & sent17 -> int2: the rooftop is not a kind of a Tachyglossus and is not Czech.; int2 & sent16 -> int3: the apprehender is not a adience.; sent2 & sent14 -> int4: the apprehender is unfit.; int3 & int4 -> int5: the apprehender is unfit but it is not a adience.; int5 & sent9 -> int6: the self-starter is not ropy.; int6 & sent15 -> hypothesis; __PROVED__