the fact that the lightbulb is comatose is not wrong.
sent1: the penis is not follicular if there is something such that the fact that it is a kind of follicular thing that does not shelter Lagarostrobus is false. sent2: the fact that the duchess is follicular but it does not shelter Lagarostrobus does not hold if the broth is not a kind of a contested. sent3: The gimmickry distinguishes penis. sent4: the penis distinguishes gimmickry. sent5: The Lagarostrobus does shelter lightbulb. sent6: everything does not wire Velazquez. sent7: something is follicular if it is a Weizmann. sent8: the lightbulb is a Weizmann if the penis does distinguish gimmickry. sent9: if the fact that that the penis does distinguish gimmickry but it is not a Weizmann does not hold is true the lightbulb is comatose. sent10: if something shelters Lagarostrobus and it is follicular it is not comatose. sent11: the fact that something is a kind of a contested that is not a kind of a precedence is not true if it does not wire Velazquez. sent12: the lightbulb does shelter Lagarostrobus. sent13: if there exists something such that the fact that it is a contested that is not a kind of a precedence is not true then the broth is not a contested.
sent8 & sent4 -> int1: the lightbulb is a Weizmann.; sent7 -> int2: the lightbulb is follicular if it is a Weizmann.; int1 & int2 -> int3: the lightbulb is follicular.; int3 & sent12 -> int4: the lightbulb does shelter Lagarostrobus and it is follicular.; sent10 -> int5: the lightbulb is not comatose if it shelters Lagarostrobus and it is follicular.; int4 & int5 -> hypothesis;
the lightbulb is comatose.
sent11 -> int6: that the proconsul is a contested but it is not a kind of a precedence is incorrect if it does not wire Velazquez.; sent6 -> int7: the proconsul does not wire Velazquez.; int6 & int7 -> int8: that the proconsul is a kind of a contested that is not a precedence is wrong.; int8 -> int9: there is nothing that is a contested and is not a precedence.; int9 -> int10: that the shawny is a contested but it is not a precedence does not hold.; int10 -> int11: there is something such that that it does contest and it is not a precedence is not correct.; int11 & sent13 -> int12: that the broth is not a contested hold.; int12 & sent2 -> int13: the fact that the duchess is follicular but it does not shelter Lagarostrobus is not right.; int13 -> int14: there is something such that that it is follicular and does not shelter Lagarostrobus is wrong.; int14 & sent1 -> int15: the penis is not follicular.;
$hypothesis$ = the fact that the lightbulb is comatose is not wrong. ; $context$ = sent1: the penis is not follicular if there is something such that the fact that it is a kind of follicular thing that does not shelter Lagarostrobus is false. sent2: the fact that the duchess is follicular but it does not shelter Lagarostrobus does not hold if the broth is not a kind of a contested. sent3: The gimmickry distinguishes penis. sent4: the penis distinguishes gimmickry. sent5: The Lagarostrobus does shelter lightbulb. sent6: everything does not wire Velazquez. sent7: something is follicular if it is a Weizmann. sent8: the lightbulb is a Weizmann if the penis does distinguish gimmickry. sent9: if the fact that that the penis does distinguish gimmickry but it is not a Weizmann does not hold is true the lightbulb is comatose. sent10: if something shelters Lagarostrobus and it is follicular it is not comatose. sent11: the fact that something is a kind of a contested that is not a kind of a precedence is not true if it does not wire Velazquez. sent12: the lightbulb does shelter Lagarostrobus. sent13: if there exists something such that the fact that it is a contested that is not a kind of a precedence is not true then the broth is not a contested. ; $proof$ = 
sent8 & sent4 -> int1: the lightbulb is a Weizmann.; sent7 -> int2: the lightbulb is follicular if it is a Weizmann.; int1 & int2 -> int3: the lightbulb is follicular.; int3 & sent12 -> int4: the lightbulb does shelter Lagarostrobus and it is follicular.; sent10 -> int5: the lightbulb is not comatose if it shelters Lagarostrobus and it is follicular.; int4 & int5 -> hypothesis; __DISPROVED__