the locus is formalistic and/or it does crow relationship.
sent1: if the packet does crow relationship the fact that the locus does fortify is true. sent2: if the cornerback is a sombrero then the yogurt damps Pilgrim and/or is not solar. sent3: the locus fortifies if the packet crows relationship and is not formalistic. sent4: the packet fortifies. sent5: the clabber does not damp Pilgrim if the yogurt is not solar. sent6: if the fact that something is a photalgia and not a wrack is not true it is a kind of a Eurafrican. sent7: that something is formalistic and/or it crows relationship does not hold if it does not fortify. sent8: if the fact that something is non-outdoor thing that does conceive is not right then it does not damp photocathode. sent9: if the yogurt damps Pilgrim then the clabber does not damps Pilgrim. sent10: something is a crow and is conscious if the fact that it does damp photocathode is not right. sent11: if the packet fortifies then the locus is formalistic. sent12: if something does not damp Pilgrim then that it is non-outdoor thing that conceives does not hold. sent13: something is a sombrero if it is a Eurafrican. sent14: that the cornerback is a kind of a photalgia but it is not a kind of a wrack does not hold. sent15: the fact that the packet crows Hylidae and does not fast is wrong if the clabber does crow.
sent11 & sent4 -> int1: the locus is formalistic.; int1 -> hypothesis;
the locus does fortify.
$hypothesis$ = the locus is formalistic and/or it does crow relationship. ; $context$ = sent1: if the packet does crow relationship the fact that the locus does fortify is true. sent2: if the cornerback is a sombrero then the yogurt damps Pilgrim and/or is not solar. sent3: the locus fortifies if the packet crows relationship and is not formalistic. sent4: the packet fortifies. sent5: the clabber does not damp Pilgrim if the yogurt is not solar. sent6: if the fact that something is a photalgia and not a wrack is not true it is a kind of a Eurafrican. sent7: that something is formalistic and/or it crows relationship does not hold if it does not fortify. sent8: if the fact that something is non-outdoor thing that does conceive is not right then it does not damp photocathode. sent9: if the yogurt damps Pilgrim then the clabber does not damps Pilgrim. sent10: something is a crow and is conscious if the fact that it does damp photocathode is not right. sent11: if the packet fortifies then the locus is formalistic. sent12: if something does not damp Pilgrim then that it is non-outdoor thing that conceives does not hold. sent13: something is a sombrero if it is a Eurafrican. sent14: that the cornerback is a kind of a photalgia but it is not a kind of a wrack does not hold. sent15: the fact that the packet crows Hylidae and does not fast is wrong if the clabber does crow. ; $proof$ = 
sent11 & sent4 -> int1: the locus is formalistic.; int1 -> hypothesis; __PROVED__