the farmerette does not finish farmerette.
sent1: the skylark does not finish farmerette. sent2: the farmerette is not a kind of a fatigue. sent3: if something is not a Tudor and it is not a fatigue it does not finish farmerette. sent4: if that something is both a details and supernal is wrong that it is not supernal is right. sent5: if something is not supernal then it is not a rest and not a fatigue. sent6: the flattop is supernal. sent7: if the flattop is supernal then the fact that the farmerette is not a kind of a fatigue is not false. sent8: that something is a details and it is supernal does not hold if it does not finish farmerette. sent9: the flattop is not supernal if it is not a fatigue and does not finish farmerette. sent10: the farmerette finishes farmerette if the flattop does not finishes farmerette and is a details. sent11: that the prod is not a Tudor is not wrong. sent12: the farmerette is not Tudor and not a fatigue if the flattop is supernal. sent13: the flattop outflanks poler. sent14: the flattop is Tudor. sent15: the farmerette does not finish farmerette if it is non-Tudor a fatigue. sent16: if the farmerette is a fatigue then the flattop is non-Tudor and does not finish farmerette. sent17: if something is not a kind of a Tudor and is a fatigue it does not finish farmerette. sent18: the Libyan restores and is a FAA.
sent3 -> int1: the farmerette does not finish farmerette if it is not a Tudor and it is not a fatigue.; sent12 & sent6 -> int2: the farmerette is non-Tudor thing that is not a fatigue.; int1 & int2 -> hypothesis;
the flattop is not a rest and it is not a kind of a fatigue.
sent5 -> int3: if the flattop is not supernal then it does not rest and is not a fatigue.; sent4 -> int4: if the fact that the flattop does detail and is not non-supernal is not correct it is not non-supernal.; sent8 -> int5: if the flattop does not finish farmerette the fact that it details and it is supernal does not hold.; sent18 -> int6: the Libyan restores.; int6 -> int7: something does restore.;
$hypothesis$ = the farmerette does not finish farmerette. ; $context$ = sent1: the skylark does not finish farmerette. sent2: the farmerette is not a kind of a fatigue. sent3: if something is not a Tudor and it is not a fatigue it does not finish farmerette. sent4: if that something is both a details and supernal is wrong that it is not supernal is right. sent5: if something is not supernal then it is not a rest and not a fatigue. sent6: the flattop is supernal. sent7: if the flattop is supernal then the fact that the farmerette is not a kind of a fatigue is not false. sent8: that something is a details and it is supernal does not hold if it does not finish farmerette. sent9: the flattop is not supernal if it is not a fatigue and does not finish farmerette. sent10: the farmerette finishes farmerette if the flattop does not finishes farmerette and is a details. sent11: that the prod is not a Tudor is not wrong. sent12: the farmerette is not Tudor and not a fatigue if the flattop is supernal. sent13: the flattop outflanks poler. sent14: the flattop is Tudor. sent15: the farmerette does not finish farmerette if it is non-Tudor a fatigue. sent16: if the farmerette is a fatigue then the flattop is non-Tudor and does not finish farmerette. sent17: if something is not a kind of a Tudor and is a fatigue it does not finish farmerette. sent18: the Libyan restores and is a FAA. ; $proof$ = 
sent3 -> int1: the farmerette does not finish farmerette if it is not a Tudor and it is not a fatigue.; sent12 & sent6 -> int2: the farmerette is non-Tudor thing that is not a fatigue.; int1 & int2 -> hypothesis; __PROVED__