if the anticatalyst is a kind of a post-horse the flagellate is magnetic.
sent1: there is something such that it is a ungraciousness. sent2: the silversmith broadsides quarterfinal or does broadside Sicilian or both. sent3: there is something such that it is a ungraciousness and it does broadside rimmed. sent4: if something that does broadside Sicilian does broadside quarterfinal it is not magnetic. sent5: the silversmith does broadside rimmed. sent6: if the silversmith does not broadside quarterfinal then that the flagellate is magnetic is right. sent7: that the silversmith is a ungraciousness is not wrong. sent8: there is something such that it does not broadside rimmed. sent9: the silversmith broadsides quarterfinal and/or does broadside Sicilian if the anticatalyst does not broadsides quarterfinal. sent10: if the silversmith does not broadside quarterfinal and/or broadsides Sicilian that the flagellate is magnetic is true. sent11: the anticatalyst is a ungraciousness. sent12: the silversmith either does not broadside quarterfinal or does broadside Sicilian or both if the anticatalyst does not broadside quarterfinal. sent13: the anticatalyst magnifies if there exists something such that it is a ungraciousness that does not broadside rimmed. sent14: something does not broadside quarterfinal if it does magnify and is a post-horse. sent15: the bitumastic is magnetic. sent16: the silversmith is not a kind of a post-horse. sent17: the anticatalyst is a kind of an infamy. sent18: there is something such that the fact that it is a ungraciousness and it does not broadside rimmed is right. sent19: if something is caesural and is orbital then it is not a kind of a bedstraw.
sent18 & sent13 -> int1: the anticatalyst magnifies.; void -> assump1: Let's assume that the anticatalyst is a post-horse.; int1 & assump1 -> int2: the anticatalyst does magnify and is a post-horse.; sent14 -> int3: if the anticatalyst magnifies and it is a post-horse it does not broadside quarterfinal.; int2 & int3 -> int4: the anticatalyst does not broadside quarterfinal.; int4 & sent12 -> int5: the silversmith does not broadside quarterfinal or it does broadside Sicilian or both.; int5 & sent10 -> int6: the flagellate is magnetic.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the anticatalyst is a kind of a post-horse the flagellate is magnetic. ; $context$ = sent1: there is something such that it is a ungraciousness. sent2: the silversmith broadsides quarterfinal or does broadside Sicilian or both. sent3: there is something such that it is a ungraciousness and it does broadside rimmed. sent4: if something that does broadside Sicilian does broadside quarterfinal it is not magnetic. sent5: the silversmith does broadside rimmed. sent6: if the silversmith does not broadside quarterfinal then that the flagellate is magnetic is right. sent7: that the silversmith is a ungraciousness is not wrong. sent8: there is something such that it does not broadside rimmed. sent9: the silversmith broadsides quarterfinal and/or does broadside Sicilian if the anticatalyst does not broadsides quarterfinal. sent10: if the silversmith does not broadside quarterfinal and/or broadsides Sicilian that the flagellate is magnetic is true. sent11: the anticatalyst is a ungraciousness. sent12: the silversmith either does not broadside quarterfinal or does broadside Sicilian or both if the anticatalyst does not broadside quarterfinal. sent13: the anticatalyst magnifies if there exists something such that it is a ungraciousness that does not broadside rimmed. sent14: something does not broadside quarterfinal if it does magnify and is a post-horse. sent15: the bitumastic is magnetic. sent16: the silversmith is not a kind of a post-horse. sent17: the anticatalyst is a kind of an infamy. sent18: there is something such that the fact that it is a ungraciousness and it does not broadside rimmed is right. sent19: if something is caesural and is orbital then it is not a kind of a bedstraw. ; $proof$ = 
sent18 & sent13 -> int1: the anticatalyst magnifies.; void -> assump1: Let's assume that the anticatalyst is a post-horse.; int1 & assump1 -> int2: the anticatalyst does magnify and is a post-horse.; sent14 -> int3: if the anticatalyst magnifies and it is a post-horse it does not broadside quarterfinal.; int2 & int3 -> int4: the anticatalyst does not broadside quarterfinal.; int4 & sent12 -> int5: the silversmith does not broadside quarterfinal or it does broadside Sicilian or both.; int5 & sent10 -> int6: the flagellate is magnetic.; [assump1] & int6 -> hypothesis; __PROVED__