there is something such that it enfeebles outdoorswoman and suffers speleology.
sent1: if the tocsin does wire then the Merovingian does enfeeble outdoorswoman. sent2: if that the tocsin is both not Trojan and an arrowhead is incorrect it is a kind of a wired. sent3: if the fact that something is not a Levant but it is an arrowhead is false then it does wire. sent4: if something is not secular that it is a polish and it wires is not correct. sent5: something does wire if it is not an arrowhead. sent6: if the Spandau is a kind of a Trojan that the Merovingian is secular and/or it is not a kind of a Lens is not true. sent7: the tocsin does polish. sent8: the Merovingian is not secular. sent9: if the fact that the tocsin is not a polish is not correct then that it is not a Levant and is an arrowhead is not correct. sent10: if that the Merovingian is secular and/or is not a kind of a Lens is not correct then the fact that it does suffer speleology is right. sent11: the Spandau is Trojan but it is not a Hindustani.
sent3 -> int1: if the fact that the tocsin is both not a Levant and an arrowhead is not true it is a kind of a wired.; sent9 & sent7 -> int2: the fact that the tocsin is not a Levant but it is an arrowhead is not right.; int1 & int2 -> int3: the tocsin is a wired.; int3 & sent1 -> int4: the Merovingian enfeebles outdoorswoman.; sent11 -> int5: the Spandau is a Trojan.; sent6 & int5 -> int6: the fact that the Merovingian is secular and/or it is not a kind of a Lens is incorrect.; sent10 & int6 -> int7: the Merovingian does suffer speleology.; int4 & int7 -> int8: the Merovingian enfeebles outdoorswoman and does suffer speleology.; int8 -> hypothesis;
that the banner is a kind of an aerial that does suffer speleology is not false.
sent4 -> int9: the fact that the caller is a kind of a polish that wires is not right if it is not secular.;
$hypothesis$ = there is something such that it enfeebles outdoorswoman and suffers speleology. ; $context$ = sent1: if the tocsin does wire then the Merovingian does enfeeble outdoorswoman. sent2: if that the tocsin is both not Trojan and an arrowhead is incorrect it is a kind of a wired. sent3: if the fact that something is not a Levant but it is an arrowhead is false then it does wire. sent4: if something is not secular that it is a polish and it wires is not correct. sent5: something does wire if it is not an arrowhead. sent6: if the Spandau is a kind of a Trojan that the Merovingian is secular and/or it is not a kind of a Lens is not true. sent7: the tocsin does polish. sent8: the Merovingian is not secular. sent9: if the fact that the tocsin is not a polish is not correct then that it is not a Levant and is an arrowhead is not correct. sent10: if that the Merovingian is secular and/or is not a kind of a Lens is not correct then the fact that it does suffer speleology is right. sent11: the Spandau is Trojan but it is not a Hindustani. ; $proof$ = 
sent3 -> int1: if the fact that the tocsin is both not a Levant and an arrowhead is not true it is a kind of a wired.; sent9 & sent7 -> int2: the fact that the tocsin is not a Levant but it is an arrowhead is not right.; int1 & int2 -> int3: the tocsin is a wired.; int3 & sent1 -> int4: the Merovingian enfeebles outdoorswoman.; sent11 -> int5: the Spandau is a Trojan.; sent6 & int5 -> int6: the fact that the Merovingian is secular and/or it is not a kind of a Lens is incorrect.; sent10 & int6 -> int7: the Merovingian does suffer speleology.; int4 & int7 -> int8: the Merovingian enfeebles outdoorswoman and does suffer speleology.; int8 -> hypothesis; __PROVED__