the chessman does hat.
sent1: the fact that the actinolite is a dashboard is true if there is something such that it does mail. sent2: if the chessman is an indent and is a kind of a cosmography the fact that it is a hat hold. sent3: the fact that the electrograph does not reorient Newark hold. sent4: if the electrograph is not agreeable and it does not reorient Newark then it is a kind of a thermosphere. sent5: something that is not impenitent outnumbers Patrick and is not a cosmography. sent6: the electrograph is not agreeable and does not reorient Newark. sent7: if something is a thermosphere then it is impenitent. sent8: if something is a dashboard then it mooches flipper. sent9: if the actinolite does mooch flipper then the chessman is not a kind of a cosmography. sent10: if something that indents is a kind of a cosmography it hats. sent11: the actinolite is a dashboard if there exists something such that it does mail or is impenitent or both. sent12: if something does indent but it is not a cosmography it does hat. sent13: the chessman is a kind of an indent but it is not a kind of a cosmography if the actinolite mooches flipper.
sent4 & sent6 -> int1: the electrograph is a kind of a thermosphere.; sent7 -> int2: the electrograph is impenitent if it is a kind of a thermosphere.; int1 & int2 -> int3: the electrograph is impenitent.; int3 -> int4: the electrograph is a mailing and/or impenitent.; int4 -> int5: either something mails or it is impenitent or both.; int5 & sent11 -> int6: the actinolite is a kind of a dashboard.; sent8 -> int7: if the actinolite is a dashboard it does mooch flipper.; int6 & int7 -> int8: the actinolite does mooch flipper.; int8 & sent13 -> int9: the chessman indents and is not a cosmography.; sent12 -> int10: if the chessman is an indent but it is not a cosmography it does hat.; int9 & int10 -> hypothesis;
the centurion outnumbers Patrick and is not a cosmography.
sent5 -> int11: if the centurion is penitent it does outnumber Patrick and it is not a cosmography.;
$hypothesis$ = the chessman does hat. ; $context$ = sent1: the fact that the actinolite is a dashboard is true if there is something such that it does mail. sent2: if the chessman is an indent and is a kind of a cosmography the fact that it is a hat hold. sent3: the fact that the electrograph does not reorient Newark hold. sent4: if the electrograph is not agreeable and it does not reorient Newark then it is a kind of a thermosphere. sent5: something that is not impenitent outnumbers Patrick and is not a cosmography. sent6: the electrograph is not agreeable and does not reorient Newark. sent7: if something is a thermosphere then it is impenitent. sent8: if something is a dashboard then it mooches flipper. sent9: if the actinolite does mooch flipper then the chessman is not a kind of a cosmography. sent10: if something that indents is a kind of a cosmography it hats. sent11: the actinolite is a dashboard if there exists something such that it does mail or is impenitent or both. sent12: if something does indent but it is not a cosmography it does hat. sent13: the chessman is a kind of an indent but it is not a kind of a cosmography if the actinolite mooches flipper. ; $proof$ = 
sent4 & sent6 -> int1: the electrograph is a kind of a thermosphere.; sent7 -> int2: the electrograph is impenitent if it is a kind of a thermosphere.; int1 & int2 -> int3: the electrograph is impenitent.; int3 -> int4: the electrograph is a mailing and/or impenitent.; int4 -> int5: either something mails or it is impenitent or both.; int5 & sent11 -> int6: the actinolite is a kind of a dashboard.; sent8 -> int7: if the actinolite is a dashboard it does mooch flipper.; int6 & int7 -> int8: the actinolite does mooch flipper.; int8 & sent13 -> int9: the chessman indents and is not a cosmography.; sent12 -> int10: if the chessman is an indent but it is not a cosmography it does hat.; int9 & int10 -> hypothesis; __PROVED__