the janissary is a kind of an airflow.
sent1: the janissary does destruct. sent2: the fact that the janissary is a kind of a beats hold if the clout destructs. sent3: the batik destructs. sent4: that the clout does destruct is right if it does not beat. sent5: if the clout destructs then the splicer is an inaugural. sent6: the clout is not a beats. sent7: if something does not destruct and is inaugural then it is a beats. sent8: there is something such that it is not Hellenic. sent9: if the splicer is an inaugural then the janissary is an airflow. sent10: something is not an airflow if it destructs and it is not a beats. sent11: the splicer beats.
sent4 & sent6 -> int1: the clout destructs.; sent5 & int1 -> int2: the splicer is a kind of an inaugural.; sent9 & int2 -> hypothesis;
the ayatollah beats.
sent7 -> int3: the ayatollah is a beats if it does not destruct and is an inaugural.;
$hypothesis$ = the janissary is a kind of an airflow. ; $context$ = sent1: the janissary does destruct. sent2: the fact that the janissary is a kind of a beats hold if the clout destructs. sent3: the batik destructs. sent4: that the clout does destruct is right if it does not beat. sent5: if the clout destructs then the splicer is an inaugural. sent6: the clout is not a beats. sent7: if something does not destruct and is inaugural then it is a beats. sent8: there is something such that it is not Hellenic. sent9: if the splicer is an inaugural then the janissary is an airflow. sent10: something is not an airflow if it destructs and it is not a beats. sent11: the splicer beats. ; $proof$ = 
sent4 & sent6 -> int1: the clout destructs.; sent5 & int1 -> int2: the splicer is a kind of an inaugural.; sent9 & int2 -> hypothesis; __PROVED__