the undercharge is avian.
sent1: the fact that the maxilla is not a sow and it does not marble trey does not hold if the XXX does not marble trey. sent2: if there exists something such that it is insensitive and/or it is a kind of a love-token the XXX does not marble trey. sent3: if the methicillin does not marble metopion the fact that the sail does marble metopion and is a clotheshorse does not hold. sent4: the fact that that the XXX is a sow and it does marble trey is not correct hold. sent5: if the fact that the XXX does not marble trey and is not a love-token is not true that the theca does not marble metopion is right. sent6: the adrenergic is not a love-token. sent7: that the theca does marble metopion and is a love-token is incorrect. sent8: the sail is not a sow. sent9: something is insensitive or it does not number disarrayed or both if it is not a kind of a love-token. sent10: the sail does not number disarrayed if that the theca is both not a clotheshorse and not a love-token is not correct. sent11: something is a love-token and/or it does marble metopion. sent12: the undercharge is not avian if that the sail marbles metopion and is a kind of a clotheshorse is not correct. sent13: the theca does number disarrayed and it is insensitive. sent14: if the undercharge is not avian then that the sail does not marble metopion but it is avian is wrong. sent15: the methicillin does not marble metopion if the maxilla marbles trey. sent16: the sail does not sow if the maxilla is not a clotheshorse. sent17: if that the sail is a kind of a clotheshorse and does number disarrayed is incorrect then the theca is not insensitive. sent18: that the maxilla does not sow and marbles trey is false. sent19: if the fact that the fact that the maxilla is not a sow and does not marble trey is correct is not right then the methicillin does not marble metopion. sent20: the theca is not a clotheshorse if there exists something such that either it does number disarrayed or it is a love-token or both.
sent13 -> int1: the theca is insensitive.; int1 -> int2: the theca is insensitive or it is a love-token or both.; int2 -> int3: something is insensitive and/or it is a love-token.; int3 & sent2 -> int4: the XXX does not marble trey.; sent1 & int4 -> int5: that the maxilla is not a kind of a sow and does not marble trey is false.; sent19 & int5 -> int6: the methicillin does not marble metopion.; sent3 & int6 -> int7: that the sail does marble metopion and it is a kind of a clotheshorse is not correct.; sent12 & int7 -> hypothesis;
the undercharge is avian.
sent9 -> int8: if the theca is not a kind of a love-token either it is insensitive or it does not number disarrayed or both.;
$hypothesis$ = the undercharge is avian. ; $context$ = sent1: the fact that the maxilla is not a sow and it does not marble trey does not hold if the XXX does not marble trey. sent2: if there exists something such that it is insensitive and/or it is a kind of a love-token the XXX does not marble trey. sent3: if the methicillin does not marble metopion the fact that the sail does marble metopion and is a clotheshorse does not hold. sent4: the fact that that the XXX is a sow and it does marble trey is not correct hold. sent5: if the fact that the XXX does not marble trey and is not a love-token is not true that the theca does not marble metopion is right. sent6: the adrenergic is not a love-token. sent7: that the theca does marble metopion and is a love-token is incorrect. sent8: the sail is not a sow. sent9: something is insensitive or it does not number disarrayed or both if it is not a kind of a love-token. sent10: the sail does not number disarrayed if that the theca is both not a clotheshorse and not a love-token is not correct. sent11: something is a love-token and/or it does marble metopion. sent12: the undercharge is not avian if that the sail marbles metopion and is a kind of a clotheshorse is not correct. sent13: the theca does number disarrayed and it is insensitive. sent14: if the undercharge is not avian then that the sail does not marble metopion but it is avian is wrong. sent15: the methicillin does not marble metopion if the maxilla marbles trey. sent16: the sail does not sow if the maxilla is not a clotheshorse. sent17: if that the sail is a kind of a clotheshorse and does number disarrayed is incorrect then the theca is not insensitive. sent18: that the maxilla does not sow and marbles trey is false. sent19: if the fact that the fact that the maxilla is not a sow and does not marble trey is correct is not right then the methicillin does not marble metopion. sent20: the theca is not a clotheshorse if there exists something such that either it does number disarrayed or it is a love-token or both. ; $proof$ = 
sent13 -> int1: the theca is insensitive.; int1 -> int2: the theca is insensitive or it is a love-token or both.; int2 -> int3: something is insensitive and/or it is a love-token.; int3 & sent2 -> int4: the XXX does not marble trey.; sent1 & int4 -> int5: that the maxilla is not a kind of a sow and does not marble trey is false.; sent19 & int5 -> int6: the methicillin does not marble metopion.; sent3 & int6 -> int7: that the sail does marble metopion and it is a kind of a clotheshorse is not correct.; sent12 & int7 -> hypothesis; __DISPROVED__