the pupil is maxillodental.
sent1: if the pupil is not a fat then it does not exacerbate triskaidekaphobia. sent2: if something does not exacerbate triskaidekaphobia it is a kind of a counterclaim or it does drain cuppa or both. sent3: the pupil is maxillodental if that the twice-pinnate drains cuppa is not incorrect. sent4: if the gib is not a jackstraw the pupil is not fat. sent5: there is something such that it does counterclaim. sent6: if the gib is a counterclaim the twice-pinnate is a kind of a looking. sent7: the gib looks. sent8: something is not maxillodental if that it is maxillodental and is not a kind of a looking does not hold. sent9: something is a kind of a shoring. sent10: the bluefin does not counterclaim if that the gib is a counterclaim and it exacerbates triskaidekaphobia is not right. sent11: the pupil is a kind of a ordinal. sent12: if something that is a looking counterclaims the twice-pinnate drains cuppa. sent13: there exists something such that it looks. sent14: the blackheart drains cuppa. sent15: the gib does drain cuppa. sent16: if the fact that something is a kind of a looking is true it is not maxillodental. sent17: the gib is a counterclaim. sent18: the gib is a looking if something that does drain cuppa is maxillodental. sent19: the twice-pinnate is virtuous and it is a looking. sent20: the pupil drains cuppa.
sent7 & sent17 -> int1: the gib is a kind of a looking that is a counterclaim.; int1 -> int2: something is a looking and it does counterclaim.; int2 & sent12 -> int3: the twice-pinnate does drain cuppa.; sent3 & int3 -> hypothesis;
the bluefin is maxillodental.
$hypothesis$ = the pupil is maxillodental. ; $context$ = sent1: if the pupil is not a fat then it does not exacerbate triskaidekaphobia. sent2: if something does not exacerbate triskaidekaphobia it is a kind of a counterclaim or it does drain cuppa or both. sent3: the pupil is maxillodental if that the twice-pinnate drains cuppa is not incorrect. sent4: if the gib is not a jackstraw the pupil is not fat. sent5: there is something such that it does counterclaim. sent6: if the gib is a counterclaim the twice-pinnate is a kind of a looking. sent7: the gib looks. sent8: something is not maxillodental if that it is maxillodental and is not a kind of a looking does not hold. sent9: something is a kind of a shoring. sent10: the bluefin does not counterclaim if that the gib is a counterclaim and it exacerbates triskaidekaphobia is not right. sent11: the pupil is a kind of a ordinal. sent12: if something that is a looking counterclaims the twice-pinnate drains cuppa. sent13: there exists something such that it looks. sent14: the blackheart drains cuppa. sent15: the gib does drain cuppa. sent16: if the fact that something is a kind of a looking is true it is not maxillodental. sent17: the gib is a counterclaim. sent18: the gib is a looking if something that does drain cuppa is maxillodental. sent19: the twice-pinnate is virtuous and it is a looking. sent20: the pupil drains cuppa. ; $proof$ = 
sent7 & sent17 -> int1: the gib is a kind of a looking that is a counterclaim.; int1 -> int2: something is a looking and it does counterclaim.; int2 & sent12 -> int3: the twice-pinnate does drain cuppa.; sent3 & int3 -> hypothesis; __PROVED__