the schist is a Faroese and arboreal.
sent1: the foreground is a kind of a numbers. sent2: if that the foreground numbers and/or is monotonic is not correct then it is not avifaunal. sent3: the schist is arboreal if the midwife flocculates. sent4: the peg does not lap schist and is not avifaunal if the foreground is not avifaunal. sent5: there exists something such that the fact that it does lap cerebrum hold. sent6: the peg numbers. sent7: the fact that the schist does not lap schist is right. sent8: if the peg does not lap schist and is avifaunal then the schist is a Faroese. sent9: the stainer is a kind of brachycephalic thing that is arboreal. sent10: the foreground is not avifaunal if that either it is not a kind of a numbers or it is monotonic or both does not hold. sent11: the schist is a Faroese if the peg laps schist and is non-avifaunal. sent12: the foreground does not lap cerebrum if something that numbers is not monotonic. sent13: the midwife flocculates or is arboreal or both. sent14: the foreground laps schist if the midwife does flocculate but it is not a numbers. sent15: the foreground numbers if there exists something such that that it does lap cerebrum is not wrong. sent16: the midwife is monotonic or it does flocculate or both. sent17: the peg either laps schist or is arboreal or both. sent18: the schist is a Faroese or is avifaunal or both. sent19: the fact that the foreground is not a numbers or monotonic or both is wrong if something does lap cerebrum. sent20: the foreground does not flocculate and it is not avifaunal if the midwife is not avifaunal. sent21: the fact that the midwife is not avifaunal and/or is arboreal is incorrect if something flocculates. sent22: if the midwife is arboreal then the schist is arboreal. sent23: the fact that the schist is a Faroese hold if the peg does not lap schist and is not avifaunal.
sent5 & sent19 -> int1: that the foreground does not number and/or it is monotonic is false.; int1 & sent10 -> int2: the foreground is not avifaunal.; int2 & sent4 -> int3: the peg does not lap schist and is not avifaunal.; int3 & sent23 -> int4: the schist is a Faroese.; sent13 & sent3 & sent22 -> int5: the schist is arboreal.; int4 & int5 -> hypothesis;
the fact that the schist is a Faroese and it is arboreal does not hold.
$hypothesis$ = the schist is a Faroese and arboreal. ; $context$ = sent1: the foreground is a kind of a numbers. sent2: if that the foreground numbers and/or is monotonic is not correct then it is not avifaunal. sent3: the schist is arboreal if the midwife flocculates. sent4: the peg does not lap schist and is not avifaunal if the foreground is not avifaunal. sent5: there exists something such that the fact that it does lap cerebrum hold. sent6: the peg numbers. sent7: the fact that the schist does not lap schist is right. sent8: if the peg does not lap schist and is avifaunal then the schist is a Faroese. sent9: the stainer is a kind of brachycephalic thing that is arboreal. sent10: the foreground is not avifaunal if that either it is not a kind of a numbers or it is monotonic or both does not hold. sent11: the schist is a Faroese if the peg laps schist and is non-avifaunal. sent12: the foreground does not lap cerebrum if something that numbers is not monotonic. sent13: the midwife flocculates or is arboreal or both. sent14: the foreground laps schist if the midwife does flocculate but it is not a numbers. sent15: the foreground numbers if there exists something such that that it does lap cerebrum is not wrong. sent16: the midwife is monotonic or it does flocculate or both. sent17: the peg either laps schist or is arboreal or both. sent18: the schist is a Faroese or is avifaunal or both. sent19: the fact that the foreground is not a numbers or monotonic or both is wrong if something does lap cerebrum. sent20: the foreground does not flocculate and it is not avifaunal if the midwife is not avifaunal. sent21: the fact that the midwife is not avifaunal and/or is arboreal is incorrect if something flocculates. sent22: if the midwife is arboreal then the schist is arboreal. sent23: the fact that the schist is a Faroese hold if the peg does not lap schist and is not avifaunal. ; $proof$ = 
sent5 & sent19 -> int1: that the foreground does not number and/or it is monotonic is false.; int1 & sent10 -> int2: the foreground is not avifaunal.; int2 & sent4 -> int3: the peg does not lap schist and is not avifaunal.; int3 & sent23 -> int4: the schist is a Faroese.; sent13 & sent3 & sent22 -> int5: the schist is arboreal.; int4 & int5 -> hypothesis; __PROVED__