the faro does not occur.
sent1: that either the faro or the disobedientness or both occurs causes that the faro happens. sent2: the sojourn is brought about by the fact that that the non-inspiratoryness and the non-shelflikeness happens is correct. sent3: the recess does not occur if the obedientness occurs and the irradiating archaeopteryx happens. sent4: the lexicalizing karyotype occurs if the irradiating archaeopteryx does not occur. sent5: the fact that the obedientness happens is correct. sent6: if the sojourning occurs the lexicalizing karyotype occurs. sent7: the fact that the inspiratoriness happens and the recess happens is incorrect. sent8: that not the subartesianness but the obedientness happens is not correct. sent9: if the fact that the non-subartesianness and the obedientness occurs is wrong then the non-subartesian happens. sent10: the fact that the lexicalizing karyotype occurs is true. sent11: that the shelflikeness does not occur is not false if the pratfall does not occur and/or the thunderstorm does not occur. sent12: that the inspiratoriness but not the recessing happens is wrong. sent13: if the fact that the inspiratoriness but not the recess occurs does not hold then the recess happens.
void -> assump1: Let's assume that the irradiating archaeopteryx happens.; sent5 & assump1 -> int1: both the obedientness and the irradiating archaeopteryx occurs.; int1 & sent3 -> int2: the recess does not occur.; sent13 & sent12 -> int3: the recessing occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the irradiating archaeopteryx does not occur.;
the faro happens.
$hypothesis$ = the faro does not occur. ; $context$ = sent1: that either the faro or the disobedientness or both occurs causes that the faro happens. sent2: the sojourn is brought about by the fact that that the non-inspiratoryness and the non-shelflikeness happens is correct. sent3: the recess does not occur if the obedientness occurs and the irradiating archaeopteryx happens. sent4: the lexicalizing karyotype occurs if the irradiating archaeopteryx does not occur. sent5: the fact that the obedientness happens is correct. sent6: if the sojourning occurs the lexicalizing karyotype occurs. sent7: the fact that the inspiratoriness happens and the recess happens is incorrect. sent8: that not the subartesianness but the obedientness happens is not correct. sent9: if the fact that the non-subartesianness and the obedientness occurs is wrong then the non-subartesian happens. sent10: the fact that the lexicalizing karyotype occurs is true. sent11: that the shelflikeness does not occur is not false if the pratfall does not occur and/or the thunderstorm does not occur. sent12: that the inspiratoriness but not the recessing happens is wrong. sent13: if the fact that the inspiratoriness but not the recess occurs does not hold then the recess happens. ; $proof$ = 
void -> assump1: Let's assume that the irradiating archaeopteryx happens.; sent5 & assump1 -> int1: both the obedientness and the irradiating archaeopteryx occurs.; int1 & sent3 -> int2: the recess does not occur.; sent13 & sent12 -> int3: the recessing occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the irradiating archaeopteryx does not occur.; __UNKNOWN__