if the aminophylline is cerebral then the DSL is not a legislator.
sent1: the mainstay is not a kind of a Feosol and it is not popliteal if the playhouse does not revise thatcher. sent2: if the aminophylline does slight Roth and it is cerebral the DSL is a legislator. sent3: something acquaints DSL but it is not a kind of a legislator if it is not a Feosol. sent4: if something slights Roth or does not acquaint pul or both that the DSL is predestinarian is right. sent5: the DSL is not a kind of a legislator if the aminophylline slights Roth and is cerebral. sent6: the DSL is a legislator. sent7: the playhouse does not revise thatcher. sent8: that everything is a demarche is true. sent9: the aminophylline acquaints pul and it slights Roth. sent10: if the mainstay is not a legislator then the DSL is cerebral and is photographic. sent11: if something is a demarche the fact that it slights Roth and/or it does not acquaint pul hold.
sent9 -> int1: the aminophylline does slight Roth.; void -> assump1: Let's assume that the aminophylline is cerebral.; int1 & assump1 -> int2: the aminophylline slights Roth and it is cerebral.; sent5 & int2 -> int3: the DSL is not a kind of a legislator.; [assump1] & int3 -> hypothesis;
the DSL is predestinarian and it is photographic.
sent11 -> int4: if the thatcher is a demarche it does slight Roth and/or it does not acquaint pul.; sent8 -> int5: the thatcher is a kind of a demarche.; int4 & int5 -> int6: the thatcher slights Roth and/or it does not acquaint pul.; int6 -> int7: either everything slights Roth or it does not acquaint pul or both.; int7 -> int8: the aminophylline does slight Roth and/or it does not acquaint pul.; int8 -> int9: there exists something such that it does slight Roth and/or it does not acquaint pul.; int9 & sent4 -> int10: the DSL is predestinarian.; sent3 -> int11: the mainstay does acquaint DSL but it is not a kind of a legislator if the fact that it is a Feosol is false.; sent1 & sent7 -> int12: the mainstay is not a Feosol and it is not popliteal.; int12 -> int13: the mainstay is not a Feosol.; int11 & int13 -> int14: that the mainstay does acquaint DSL and is not a legislator hold.; int14 -> int15: the mainstay is not a legislator.; sent10 & int15 -> int16: the DSL is cerebral thing that is photographic.; int16 -> int17: the DSL is photographic.; int10 & int17 -> hypothesis;
$hypothesis$ = if the aminophylline is cerebral then the DSL is not a legislator. ; $context$ = sent1: the mainstay is not a kind of a Feosol and it is not popliteal if the playhouse does not revise thatcher. sent2: if the aminophylline does slight Roth and it is cerebral the DSL is a legislator. sent3: something acquaints DSL but it is not a kind of a legislator if it is not a Feosol. sent4: if something slights Roth or does not acquaint pul or both that the DSL is predestinarian is right. sent5: the DSL is not a kind of a legislator if the aminophylline slights Roth and is cerebral. sent6: the DSL is a legislator. sent7: the playhouse does not revise thatcher. sent8: that everything is a demarche is true. sent9: the aminophylline acquaints pul and it slights Roth. sent10: if the mainstay is not a legislator then the DSL is cerebral and is photographic. sent11: if something is a demarche the fact that it slights Roth and/or it does not acquaint pul hold. ; $proof$ = 
sent9 -> int1: the aminophylline does slight Roth.; void -> assump1: Let's assume that the aminophylline is cerebral.; int1 & assump1 -> int2: the aminophylline slights Roth and it is cerebral.; sent5 & int2 -> int3: the DSL is not a kind of a legislator.; [assump1] & int3 -> hypothesis; __PROVED__