the gargoyle is a parser.
sent1: there exists something such that it does not oppose man-eater. sent2: something is not a parser if the fact that it hashes trompillo and it is not a pleaser is not correct. sent3: the morocco is a kind of non-symbolic thing that is Slovakian if there is something such that it does not oppose man-eater. sent4: the fact that something is not brachial is correct if it is not symbolic and is Slovakian. sent5: that the gargoyle hashes trompillo and is not a pleaser does not hold if the morocco does not oppose Ontario. sent6: something does not oppose Ontario if it is not brachial.
sent4 -> int1: if the morocco is a kind of non-symbolic thing that is Slovakian then it is not brachial.; sent1 & sent3 -> int2: the morocco is non-symbolic but it is Slovakian.; int1 & int2 -> int3: the morocco is not brachial.; sent6 -> int4: the morocco does not oppose Ontario if it is not brachial.; int3 & int4 -> int5: the morocco does not oppose Ontario.; int5 & sent5 -> int6: that the gargoyle hashes trompillo but it is not a pleaser does not hold.; sent2 -> int7: if that the gargoyle does hash trompillo but it is not a pleaser is incorrect then it is not a parser.; int6 & int7 -> hypothesis;
$hypothesis$ = the gargoyle is a parser. ; $context$ = sent1: there exists something such that it does not oppose man-eater. sent2: something is not a parser if the fact that it hashes trompillo and it is not a pleaser is not correct. sent3: the morocco is a kind of non-symbolic thing that is Slovakian if there is something such that it does not oppose man-eater. sent4: the fact that something is not brachial is correct if it is not symbolic and is Slovakian. sent5: that the gargoyle hashes trompillo and is not a pleaser does not hold if the morocco does not oppose Ontario. sent6: something does not oppose Ontario if it is not brachial. ; $proof$ = 
sent4 -> int1: if the morocco is a kind of non-symbolic thing that is Slovakian then it is not brachial.; sent1 & sent3 -> int2: the morocco is non-symbolic but it is Slovakian.; int1 & int2 -> int3: the morocco is not brachial.; sent6 -> int4: the morocco does not oppose Ontario if it is not brachial.; int3 & int4 -> int5: the morocco does not oppose Ontario.; int5 & sent5 -> int6: that the gargoyle hashes trompillo but it is not a pleaser does not hold.; sent2 -> int7: if that the gargoyle does hash trompillo but it is not a pleaser is incorrect then it is not a parser.; int6 & int7 -> hypothesis; __DISPROVED__