the G books bodice and it is a kind of a anjou.
sent1: the G is a kind of a personhood if it is not paniculate. sent2: the fact that if the hayfork is paniculate the packer does slog charger is true. sent3: if something does slog charger it is a anjou. sent4: the hayfork is either paniculate or a silkgrass or both. sent5: if the G is not paniculate then it is a personhood that books bodice. sent6: the gabardine is not limbic. sent7: the packer is a anjou. sent8: the packer is not a personhood. sent9: the packer is a anjou if the G is not a abcoulomb. sent10: something is not limbic and it does not book bodice if it is not a abcoulomb. sent11: the packer is a abcoulomb if the gabardine is not limbic. sent12: the G does slog charger if the packer is a abcoulomb. sent13: the G is not paniculate. sent14: the G is a personhood.
sent11 & sent6 -> int1: that the packer is a kind of a abcoulomb is right.; int1 & sent12 -> int2: the G slogs charger.; sent3 -> int3: the G is a anjou if that it slogs charger is right.; int2 & int3 -> int4: the G is a anjou.; sent5 & sent13 -> int5: the G is a kind of a personhood that does book bodice.; int5 -> int6: the G does book bodice.; int4 & int6 -> hypothesis;
that the G books bodice and it is a anjou is wrong.
sent10 -> int7: if the gabardine is not a abcoulomb it is non-limbic thing that does not book bodice.;
$hypothesis$ = the G books bodice and it is a kind of a anjou. ; $context$ = sent1: the G is a kind of a personhood if it is not paniculate. sent2: the fact that if the hayfork is paniculate the packer does slog charger is true. sent3: if something does slog charger it is a anjou. sent4: the hayfork is either paniculate or a silkgrass or both. sent5: if the G is not paniculate then it is a personhood that books bodice. sent6: the gabardine is not limbic. sent7: the packer is a anjou. sent8: the packer is not a personhood. sent9: the packer is a anjou if the G is not a abcoulomb. sent10: something is not limbic and it does not book bodice if it is not a abcoulomb. sent11: the packer is a abcoulomb if the gabardine is not limbic. sent12: the G does slog charger if the packer is a abcoulomb. sent13: the G is not paniculate. sent14: the G is a personhood. ; $proof$ = 
sent11 & sent6 -> int1: that the packer is a kind of a abcoulomb is right.; int1 & sent12 -> int2: the G slogs charger.; sent3 -> int3: the G is a anjou if that it slogs charger is right.; int2 & int3 -> int4: the G is a anjou.; sent5 & sent13 -> int5: the G is a kind of a personhood that does book bodice.; int5 -> int6: the G does book bodice.; int4 & int6 -> hypothesis; __PROVED__