the satinleaf is a dimetrodon.
sent1: if there exists something such that it is chaotic the satinleaf is a dustpan. sent2: either everything is sepaloid or it does rumble or both. sent3: if that the tibia is not non-sepaloid hold then the vitality is capitalistic. sent4: something is not a kind of a dimetrodon and/or is a reimbursement if it is not non-chaotic. sent5: either the licentiate is a reimbursement or it is a dustpan or both. sent6: if the orthodontist is a dustpan the electroplater is chaotic. sent7: something is a kind of a dimetrodon if it is a kind of a dustpan. sent8: the vitality is a succulent if the outfit is a sea. sent9: there exists something such that it is cousinly and/or it is cheerful. sent10: if the tibia is a rumble then the vitality is capitalistic. sent11: the licentiate is a kind of a dustpan. sent12: the TC is a kind of a dimetrodon if the satinleaf is chaotic. sent13: the licentiate is chaotic or a reimbursement or both.
sent13 -> int1: something is chaotic and/or it is a kind of a reimbursement.; sent7 -> int2: if the satinleaf is a dustpan then it is a dimetrodon.;
the TC is a dimetrodon.
$hypothesis$ = the satinleaf is a dimetrodon. ; $context$ = sent1: if there exists something such that it is chaotic the satinleaf is a dustpan. sent2: either everything is sepaloid or it does rumble or both. sent3: if that the tibia is not non-sepaloid hold then the vitality is capitalistic. sent4: something is not a kind of a dimetrodon and/or is a reimbursement if it is not non-chaotic. sent5: either the licentiate is a reimbursement or it is a dustpan or both. sent6: if the orthodontist is a dustpan the electroplater is chaotic. sent7: something is a kind of a dimetrodon if it is a kind of a dustpan. sent8: the vitality is a succulent if the outfit is a sea. sent9: there exists something such that it is cousinly and/or it is cheerful. sent10: if the tibia is a rumble then the vitality is capitalistic. sent11: the licentiate is a kind of a dustpan. sent12: the TC is a kind of a dimetrodon if the satinleaf is chaotic. sent13: the licentiate is chaotic or a reimbursement or both. ; $proof$ = 
sent13 -> int1: something is chaotic and/or it is a kind of a reimbursement.; sent7 -> int2: if the satinleaf is a dustpan then it is a dimetrodon.; __UNKNOWN__