the fact that the mossback is a kind of a apar but it is not a thumb is not right if the dada is a freak.
sent1: the dada is a kind of non-infelicitous thing that does counterweight Klimt. sent2: the dada is not a kind of a apar but it does counterweight Klimt. sent3: the dada does freak and it does counterweight Klimt if the mossback is not infelicitous. sent4: the fact that that the mossback is a kind of a apar and it is a thumb does not hold if the dada freaks is correct. sent5: if the dada is a apar then the mossback does freak but it does not counterweight Klimt. sent6: that the mossback is not a thumb is correct. sent7: if the mossback sheathes southeast and it is a robalo it does not counterweight Klimt. sent8: if the dada does counterweight Klimt and it does freak then that it is not a apar is not wrong. sent9: the dada is not infelicitous. sent10: if the mossback is not infelicitous that the dada counterweights Klimt is right. sent11: the fact that the mossback is a apar and it is a thumb does not hold. sent12: the mossback is not infelicitous if it is a apar and is not a kind of a thumb. sent13: the dada is a harmonics but it does not throw. sent14: the dada is a thumb but it does not counterweight Klimt if the mossback freaks.
void -> assump1: Let's assume that the fact that the dada freaks hold.; void -> assump2: Let's assume that the mossback is a apar but it is not a kind of a thumb.; sent12 & assump2 -> int1: the mossback is felicitous.;
$hypothesis$ = the fact that the mossback is a kind of a apar but it is not a thumb is not right if the dada is a freak. ; $context$ = sent1: the dada is a kind of non-infelicitous thing that does counterweight Klimt. sent2: the dada is not a kind of a apar but it does counterweight Klimt. sent3: the dada does freak and it does counterweight Klimt if the mossback is not infelicitous. sent4: the fact that that the mossback is a kind of a apar and it is a thumb does not hold if the dada freaks is correct. sent5: if the dada is a apar then the mossback does freak but it does not counterweight Klimt. sent6: that the mossback is not a thumb is correct. sent7: if the mossback sheathes southeast and it is a robalo it does not counterweight Klimt. sent8: if the dada does counterweight Klimt and it does freak then that it is not a apar is not wrong. sent9: the dada is not infelicitous. sent10: if the mossback is not infelicitous that the dada counterweights Klimt is right. sent11: the fact that the mossback is a apar and it is a thumb does not hold. sent12: the mossback is not infelicitous if it is a apar and is not a kind of a thumb. sent13: the dada is a harmonics but it does not throw. sent14: the dada is a thumb but it does not counterweight Klimt if the mossback freaks. ; $proof$ = 
void -> assump1: Let's assume that the fact that the dada freaks hold.; void -> assump2: Let's assume that the mossback is a apar but it is not a kind of a thumb.; sent12 & assump2 -> int1: the mossback is felicitous.; __UNKNOWN__