the fact that the filialness does not occur and the flocking drove does not occur is false.
sent1: that both the sectarianness and the flocking refractoriness happens is brought about by the non-micropylarness. sent2: the segregating selfsameness occurs. sent3: that the non-nonmigratoriness and the sectarian occurs causes that the filialness does not occur. sent4: both the non-separateness and the flocking refractoriness happens if the ichorousness happens. sent5: if the flocking terrace occurs that the flocking drove and the non-behavioristicness happens is not right. sent6: if the flocking coldness occurs then the ichorousness happens. sent7: the articulateness does not occur if that the flocking terrace does not occur but the filialness happens is not right. sent8: the flocking drove does not occur if the fact that the flocking drove but not the behavioristicness occurs is not true. sent9: if the nonmigratoriness occurs the behavioristicness happens. sent10: the non-nonmigratoriness and the sectarian occurs if the articulating happens. sent11: that the flocking terrace does not occur is caused by either that the behavioristicness occurs or that the articulateness happens or both. sent12: the migratoryness brings about that the inattentiveness does not occur and the leg does not occur. sent13: the micropylarness does not occur. sent14: the fact that that the inattentiveness does not occur and the leg does not occur hold prevents the sectarian. sent15: the flocking coldness occurs.
void -> assump1: Let's assume that the nonmigratoriness does not occur.; sent12 & assump1 -> int1: the inattentiveness does not occur and the leg does not occur.; int1 & sent14 -> int2: the sectarianness does not occur.; sent1 & sent13 -> int3: the sectarian and the flocking refractoriness happens.; int3 -> int4: the sectarian happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the nonmigratoriness happens.; int6 & sent9 -> int7: the behavioristicness occurs.; int7 -> int8: the behavioristicness occurs or the articulateness happens or both.; int8 & sent11 -> int9: the flocking terrace does not occur.;
the crystallineness occurs and the flocking village occurs.
$hypothesis$ = the fact that the filialness does not occur and the flocking drove does not occur is false. ; $context$ = sent1: that both the sectarianness and the flocking refractoriness happens is brought about by the non-micropylarness. sent2: the segregating selfsameness occurs. sent3: that the non-nonmigratoriness and the sectarian occurs causes that the filialness does not occur. sent4: both the non-separateness and the flocking refractoriness happens if the ichorousness happens. sent5: if the flocking terrace occurs that the flocking drove and the non-behavioristicness happens is not right. sent6: if the flocking coldness occurs then the ichorousness happens. sent7: the articulateness does not occur if that the flocking terrace does not occur but the filialness happens is not right. sent8: the flocking drove does not occur if the fact that the flocking drove but not the behavioristicness occurs is not true. sent9: if the nonmigratoriness occurs the behavioristicness happens. sent10: the non-nonmigratoriness and the sectarian occurs if the articulating happens. sent11: that the flocking terrace does not occur is caused by either that the behavioristicness occurs or that the articulateness happens or both. sent12: the migratoryness brings about that the inattentiveness does not occur and the leg does not occur. sent13: the micropylarness does not occur. sent14: the fact that that the inattentiveness does not occur and the leg does not occur hold prevents the sectarian. sent15: the flocking coldness occurs. ; $proof$ = 
void -> assump1: Let's assume that the nonmigratoriness does not occur.; sent12 & assump1 -> int1: the inattentiveness does not occur and the leg does not occur.; int1 & sent14 -> int2: the sectarianness does not occur.; sent1 & sent13 -> int3: the sectarian and the flocking refractoriness happens.; int3 -> int4: the sectarian happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the nonmigratoriness happens.; int6 & sent9 -> int7: the behavioristicness occurs.; int7 -> int8: the behavioristicness occurs or the articulateness happens or both.; int8 & sent11 -> int9: the flocking terrace does not occur.; __UNKNOWN__