the softy is not a phoenix.
sent1: the Liberian is a maiden. sent2: something is a kind of a phoenix if it is a Marshall. sent3: the Liberian is a Marshall if it is a maiden. sent4: if something is not periodontic and it is not actinomorphic it is not a phoenix. sent5: the Liberian is not actinomorphic if the softy is a Marshall. sent6: that the Liberian is a kind of actinomorphic thing that is not a maiden does not hold. sent7: that the Liberian is not periodontic is not false if it is a maiden and it is not a kind of a Marshall. sent8: the softy is both a Marshall and a maiden if the Liberian is not tearless. sent9: if that the softy is non-periodontic thing that is not actinomorphic does not hold then the Liberian is not a kind of a Marshall. sent10: if the fleawort is not a kind of a bracero then the fact that that either it is not a bulldog or it does decrease legislation or both is correct does not hold. sent11: the fact that the Liberian is not a kind of a phoenix and is not a Marshall is wrong. sent12: the Liberian is not a commiseration.
void -> assump1: Let's assume that the fact that the softy is a kind of non-periodontic thing that is not actinomorphic is false.; sent9 & assump1 -> int1: the Liberian is not a Marshall.; sent3 & sent1 -> int2: the Liberian is a Marshall.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the softy is not periodontic and it is not actinomorphic.; sent4 -> int5: the fact that the softy is not a kind of the phoenix if that the softy is not periodontic and it is not actinomorphic hold is not incorrect.; int4 & int5 -> hypothesis;
the softy is a kind of a phoenix.
sent2 -> int6: the fact that the softy is a kind of a phoenix is not false if it is a Marshall.;
$hypothesis$ = the softy is not a phoenix. ; $context$ = sent1: the Liberian is a maiden. sent2: something is a kind of a phoenix if it is a Marshall. sent3: the Liberian is a Marshall if it is a maiden. sent4: if something is not periodontic and it is not actinomorphic it is not a phoenix. sent5: the Liberian is not actinomorphic if the softy is a Marshall. sent6: that the Liberian is a kind of actinomorphic thing that is not a maiden does not hold. sent7: that the Liberian is not periodontic is not false if it is a maiden and it is not a kind of a Marshall. sent8: the softy is both a Marshall and a maiden if the Liberian is not tearless. sent9: if that the softy is non-periodontic thing that is not actinomorphic does not hold then the Liberian is not a kind of a Marshall. sent10: if the fleawort is not a kind of a bracero then the fact that that either it is not a bulldog or it does decrease legislation or both is correct does not hold. sent11: the fact that the Liberian is not a kind of a phoenix and is not a Marshall is wrong. sent12: the Liberian is not a commiseration. ; $proof$ = 
void -> assump1: Let's assume that the fact that the softy is a kind of non-periodontic thing that is not actinomorphic is false.; sent9 & assump1 -> int1: the Liberian is not a Marshall.; sent3 & sent1 -> int2: the Liberian is a Marshall.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the softy is not periodontic and it is not actinomorphic.; sent4 -> int5: the fact that the softy is not a kind of the phoenix if that the softy is not periodontic and it is not actinomorphic hold is not incorrect.; int4 & int5 -> hypothesis; __PROVED__