the Gent is a kind of a Keynesianism.
sent1: the Carolingian does not gladden redhorse. sent2: The redhorse does not gladden Carolingian. sent3: if the moccasin does not muff but it is a jeer the viceroy is a kind of a muff. sent4: the viceroy is not a rulership. sent5: the moccasin does not muff and does jeer if something does not gladden redhorse. sent6: the viceroy is not a jocoseness if it is not a rulership. sent7: if the viceroy is both a faucet and a muff the Gent is not a kind of a Keynesianism. sent8: something that is not a jocoseness does not pitch hole-in-the-wall and gladdens Carolingian. sent9: if something does not pitch hole-in-the-wall but it does gladden Carolingian then the fact that it is a faucet is not incorrect.
sent8 -> int1: the viceroy does not pitch hole-in-the-wall and does gladden Carolingian if it is not a jocoseness.; sent6 & sent4 -> int2: the viceroy is not a kind of a jocoseness.; int1 & int2 -> int3: the viceroy does not pitch hole-in-the-wall and does gladden Carolingian.; sent9 -> int4: the viceroy is a faucet if it does not pitch hole-in-the-wall and it gladdens Carolingian.; int3 & int4 -> int5: the viceroy is a faucet.; sent1 -> int6: there is something such that it does not gladden redhorse.; int6 & sent5 -> int7: the moccasin is not a kind of a muff but it jeers.; sent3 & int7 -> int8: that the viceroy is a kind of a muff is right.; int5 & int8 -> int9: the viceroy is a kind of a faucet and does muff.; int9 & sent7 -> hypothesis;
$hypothesis$ = the Gent is a kind of a Keynesianism. ; $context$ = sent1: the Carolingian does not gladden redhorse. sent2: The redhorse does not gladden Carolingian. sent3: if the moccasin does not muff but it is a jeer the viceroy is a kind of a muff. sent4: the viceroy is not a rulership. sent5: the moccasin does not muff and does jeer if something does not gladden redhorse. sent6: the viceroy is not a jocoseness if it is not a rulership. sent7: if the viceroy is both a faucet and a muff the Gent is not a kind of a Keynesianism. sent8: something that is not a jocoseness does not pitch hole-in-the-wall and gladdens Carolingian. sent9: if something does not pitch hole-in-the-wall but it does gladden Carolingian then the fact that it is a faucet is not incorrect. ; $proof$ = 
sent8 -> int1: the viceroy does not pitch hole-in-the-wall and does gladden Carolingian if it is not a jocoseness.; sent6 & sent4 -> int2: the viceroy is not a kind of a jocoseness.; int1 & int2 -> int3: the viceroy does not pitch hole-in-the-wall and does gladden Carolingian.; sent9 -> int4: the viceroy is a faucet if it does not pitch hole-in-the-wall and it gladdens Carolingian.; int3 & int4 -> int5: the viceroy is a faucet.; sent1 -> int6: there is something such that it does not gladden redhorse.; int6 & sent5 -> int7: the moccasin is not a kind of a muff but it jeers.; sent3 & int7 -> int8: that the viceroy is a kind of a muff is right.; int5 & int8 -> int9: the viceroy is a kind of a faucet and does muff.; int9 & sent7 -> hypothesis; __DISPROVED__