the stampeding Trogium happens if the basting does not occur.
sent1: the Anglicanness occurs. sent2: that the Greek does not occur is brought about by that the enacting chincherinchee happens. sent3: if that the basting occurs but the enacting chincherinchee does not occur is incorrect the Greekness does not occur. sent4: the enacting chincherinchee does not occur. sent5: if the demising decorum does not occur then the stampeding countermine does not occur but the thunderclap occurs. sent6: the fact that the fact that the esophagealness occurs and the envying occurs is incorrect is not wrong. sent7: the spadework does not occur. sent8: the Platonisticness occurs. sent9: the fact that the Austronesian happens and the conscription occurs is incorrect. sent10: not the rage but the galacticness occurs. sent11: the single does not occur.
void -> assump2: Let's assume that the basting but not the enacting chincherinchee happens.; assump2 -> int1: the basting happens.; void -> assump1: Let's assume that the basting does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the basting but not the enacting chincherinchee occurs does not hold.; sent3 & int3 -> int4: the Greekness does not occur.;
$hypothesis$ = the stampeding Trogium happens if the basting does not occur. ; $context$ = sent1: the Anglicanness occurs. sent2: that the Greek does not occur is brought about by that the enacting chincherinchee happens. sent3: if that the basting occurs but the enacting chincherinchee does not occur is incorrect the Greekness does not occur. sent4: the enacting chincherinchee does not occur. sent5: if the demising decorum does not occur then the stampeding countermine does not occur but the thunderclap occurs. sent6: the fact that the fact that the esophagealness occurs and the envying occurs is incorrect is not wrong. sent7: the spadework does not occur. sent8: the Platonisticness occurs. sent9: the fact that the Austronesian happens and the conscription occurs is incorrect. sent10: not the rage but the galacticness occurs. sent11: the single does not occur. ; $proof$ = 
void -> assump2: Let's assume that the basting but not the enacting chincherinchee happens.; assump2 -> int1: the basting happens.; void -> assump1: Let's assume that the basting does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the basting but not the enacting chincherinchee occurs does not hold.; sent3 & int3 -> int4: the Greekness does not occur.; __UNKNOWN__