the orchid is not alopecic.
sent1: if that either the colicroot is not a glamorization or it does not sound Maoist or both does not hold then the quarterly does not sound Maoist. sent2: if the colicroot does not sound Maoist the fact that the orchid sound Maoist and it galls orchid does not hold. sent3: the quarterly is not neolithic or is not a kind of a prototherian or both if it is not a callus. sent4: the orchid is a glamorization if that it does not sound Maoist and galls orchid is not true. sent5: if the quarterly is not a prototherian the colicroot does not sound Maoist. sent6: the fact that the orchid is inauspicious is right. sent7: if the colicroot is not inauspicious then it galls orchid and it is Gallican. sent8: the orchid is alopecic and a callus if the quarterly does not sound Maoist. sent9: if the quarterly is not neolithic the colicroot does not sound Maoist. sent10: the orchid is Gallican if it is a glamorization. sent11: the orchid is not alopecic if it is both Gallican and inauspicious. sent12: the quarterly is not a callus. sent13: if the fact that the colicroot does not sound Maoist is not false that the orchid does not sound Maoist and does gall orchid is false.
sent3 & sent12 -> int1: the quarterly is not neolithic and/or it is not a prototherian.; int1 & sent9 & sent5 -> int2: the colicroot does not sound Maoist.; int2 & sent13 -> int3: that the orchid does not sound Maoist but it does gall orchid is not correct.; int3 & sent4 -> int4: the orchid is a glamorization.; int4 & sent10 -> int5: the orchid is not non-Gallican.; int5 & sent6 -> int6: the orchid is Gallican and is inauspicious.; int6 & sent11 -> hypothesis;
that the orchid is alopecic is not incorrect.
$hypothesis$ = the orchid is not alopecic. ; $context$ = sent1: if that either the colicroot is not a glamorization or it does not sound Maoist or both does not hold then the quarterly does not sound Maoist. sent2: if the colicroot does not sound Maoist the fact that the orchid sound Maoist and it galls orchid does not hold. sent3: the quarterly is not neolithic or is not a kind of a prototherian or both if it is not a callus. sent4: the orchid is a glamorization if that it does not sound Maoist and galls orchid is not true. sent5: if the quarterly is not a prototherian the colicroot does not sound Maoist. sent6: the fact that the orchid is inauspicious is right. sent7: if the colicroot is not inauspicious then it galls orchid and it is Gallican. sent8: the orchid is alopecic and a callus if the quarterly does not sound Maoist. sent9: if the quarterly is not neolithic the colicroot does not sound Maoist. sent10: the orchid is Gallican if it is a glamorization. sent11: the orchid is not alopecic if it is both Gallican and inauspicious. sent12: the quarterly is not a callus. sent13: if the fact that the colicroot does not sound Maoist is not false that the orchid does not sound Maoist and does gall orchid is false. ; $proof$ = 
sent3 & sent12 -> int1: the quarterly is not neolithic and/or it is not a prototherian.; int1 & sent9 & sent5 -> int2: the colicroot does not sound Maoist.; int2 & sent13 -> int3: that the orchid does not sound Maoist but it does gall orchid is not correct.; int3 & sent4 -> int4: the orchid is a glamorization.; int4 & sent10 -> int5: the orchid is not non-Gallican.; int5 & sent6 -> int6: the orchid is Gallican and is inauspicious.; int6 & sent11 -> hypothesis; __PROVED__