the brachiopod is lawful.
sent1: there is something such that the fact that it is non-hydrophobic and patterns Brule is false. sent2: if something is a kind of a Patwin then that it is not lawful and is skinless is incorrect. sent3: the laudator is a Patwin. sent4: that something is not skinless but it is lawful does not hold if it singles youngness. sent5: that the laudator is not a indomethacin and does single youngness does not hold if it is union. sent6: there exists something such that it is not a kind of a dirk and it is skinless. sent7: there is something such that that it is a kind of a dirk and it is skinless is not correct. sent8: the fact that something is skinned a Patwin is not right if it is a dirk. sent9: if something is not skinless then the fact that the brachiopod is lawful is not wrong. sent10: the fact that something is not a dirk but skinless is incorrect if it singles youngness. sent11: that the laudator is not skinless but it is lawful is not right. sent12: the brachiopod is skinless. sent13: the laudator does single youngness and it is a Patwin. sent14: that the brachiopod is not a kind of a dirk but it is lawful does not hold if it is skinless. sent15: the brachiopod is not lawful if the liveryman is both a Patwin and lawful. sent16: the secretase is a problem. sent17: the fact that the brachiopod is not lawful is false if there is something such that that it is not a dirk but skinless is not right. sent18: if the dragoman does not single dosed then the liveryman is both not a group and not facultative. sent19: the laudator is skinless if the fact that there is something such that the fact that it is not a Patwin and it is a dirk does not hold is not wrong. sent20: there is something such that that it is non-lawful thing that does single youngness is wrong. sent21: the secretase is a kind of a Patwin. sent22: the brachiopod is a kind of a millionairess and it is aerobics.
sent10 -> int1: the fact that the laudator is not a dirk and is skinless is wrong if it does single youngness.; sent13 -> int2: the laudator singles youngness.; int1 & int2 -> int3: that the laudator is not a dirk but it is skinless is false.; int3 -> int4: there exists something such that the fact that it is not a dirk and is skinless does not hold.; int4 & sent17 -> hypothesis;
the superstrate is lawful.
$hypothesis$ = the brachiopod is lawful. ; $context$ = sent1: there is something such that the fact that it is non-hydrophobic and patterns Brule is false. sent2: if something is a kind of a Patwin then that it is not lawful and is skinless is incorrect. sent3: the laudator is a Patwin. sent4: that something is not skinless but it is lawful does not hold if it singles youngness. sent5: that the laudator is not a indomethacin and does single youngness does not hold if it is union. sent6: there exists something such that it is not a kind of a dirk and it is skinless. sent7: there is something such that that it is a kind of a dirk and it is skinless is not correct. sent8: the fact that something is skinned a Patwin is not right if it is a dirk. sent9: if something is not skinless then the fact that the brachiopod is lawful is not wrong. sent10: the fact that something is not a dirk but skinless is incorrect if it singles youngness. sent11: that the laudator is not skinless but it is lawful is not right. sent12: the brachiopod is skinless. sent13: the laudator does single youngness and it is a Patwin. sent14: that the brachiopod is not a kind of a dirk but it is lawful does not hold if it is skinless. sent15: the brachiopod is not lawful if the liveryman is both a Patwin and lawful. sent16: the secretase is a problem. sent17: the fact that the brachiopod is not lawful is false if there is something such that that it is not a dirk but skinless is not right. sent18: if the dragoman does not single dosed then the liveryman is both not a group and not facultative. sent19: the laudator is skinless if the fact that there is something such that the fact that it is not a Patwin and it is a dirk does not hold is not wrong. sent20: there is something such that that it is non-lawful thing that does single youngness is wrong. sent21: the secretase is a kind of a Patwin. sent22: the brachiopod is a kind of a millionairess and it is aerobics. ; $proof$ = 
sent10 -> int1: the fact that the laudator is not a dirk and is skinless is wrong if it does single youngness.; sent13 -> int2: the laudator singles youngness.; int1 & int2 -> int3: that the laudator is not a dirk but it is skinless is false.; int3 -> int4: there exists something such that the fact that it is not a dirk and is skinless does not hold.; int4 & sent17 -> hypothesis; __PROVED__