the autoplasty is a Libby.
sent1: the autoplasty does not transact if the Christian is not a beat but servomechanical. sent2: the autoplasty is a kind of a Libby if the bridal-wreath does metamorphose. sent3: something metamorphoses if that it is not servomechanical and is a FHA is incorrect. sent4: if the Christian does transact then the moke is not a beat. sent5: if the moke is not a beat then the fact that the bridal-wreath is a kind of non-servomechanical thing that is a FHA does not hold. sent6: something is not a Libby if the fact that it is not scalar and not a middling is incorrect. sent7: something transacts if the fact that it is scalar is correct. sent8: the Christian does middle. sent9: the fact that the fact that the bridal-wreath is servomechanical and a FHA hold is not true if the moke does not beat.
sent7 -> int1: the Christian transacts if it is a scalar.; sent3 -> int2: if that the bridal-wreath is a kind of non-servomechanical a FHA is false it does metamorphose.;
the autoplasty is not a Libby.
sent6 -> int3: if the fact that the autoplasty is not scalar and it is not a middling is false it is not a Libby.;
$hypothesis$ = the autoplasty is a Libby. ; $context$ = sent1: the autoplasty does not transact if the Christian is not a beat but servomechanical. sent2: the autoplasty is a kind of a Libby if the bridal-wreath does metamorphose. sent3: something metamorphoses if that it is not servomechanical and is a FHA is incorrect. sent4: if the Christian does transact then the moke is not a beat. sent5: if the moke is not a beat then the fact that the bridal-wreath is a kind of non-servomechanical thing that is a FHA does not hold. sent6: something is not a Libby if the fact that it is not scalar and not a middling is incorrect. sent7: something transacts if the fact that it is scalar is correct. sent8: the Christian does middle. sent9: the fact that the fact that the bridal-wreath is servomechanical and a FHA hold is not true if the moke does not beat. ; $proof$ = 
sent7 -> int1: the Christian transacts if it is a scalar.; sent3 -> int2: if that the bridal-wreath is a kind of non-servomechanical a FHA is false it does metamorphose.; __UNKNOWN__