the grease-gun is not custard-like.
sent1: if the goatherd is a Praetorian then it is tuberous. sent2: if the goatherd does compromise goatherd then the grease-gun is inanimate. sent3: the Kickapoo prepares plaza. sent4: that the Kickapoo is animate is not wrong if it prepares plaza. sent5: the grease-gun compromises goatherd if it animates. sent6: the fact that the grease-gun does not compromise goatherd is not incorrect if it is not animate. sent7: something compromises goatherd if it is both not inanimate and seasonable. sent8: the goatherd does animate or it is tuberous or both. sent9: something that does not animate is not custard-like. sent10: something is a kind of a Praetorian if it does compromise goatherd. sent11: if the fact that the Kickapoo is unseasonable and is a Clio is not right then it is not unseasonable. sent12: if the goatherd is tuberous or it does compromise goatherd or both then the grease-gun is not animate. sent13: the grease-gun is not tuberous. sent14: the grease-gun is custard-like if the goatherd is custard-like. sent15: if the grease-gun is not unseasonable the goatherd is both animate and custard-like. sent16: if the Kickapoo is tuberous and non-custard-like the goatherd is non-custard-like. sent17: the goatherd is a Praetorian. sent18: that the grease-gun does not wive is not incorrect.
sent1 & sent17 -> int1: the goatherd is tuberous.; int1 -> int2: the goatherd is not non-tuberous and/or it compromises goatherd.; int2 & sent12 -> int3: the grease-gun does not animate.; sent9 -> int4: the grease-gun is not custard-like if it does not animate.; int3 & int4 -> hypothesis;
the grease-gun is custard-like.
sent10 -> int5: the Kickapoo is a Praetorian if it does compromise goatherd.; sent7 -> int6: the Kickapoo compromises goatherd if it is not inanimate and it is seasonable.; sent4 & sent3 -> int7: the fact that the Kickapoo does animate hold.;
$hypothesis$ = the grease-gun is not custard-like. ; $context$ = sent1: if the goatherd is a Praetorian then it is tuberous. sent2: if the goatherd does compromise goatherd then the grease-gun is inanimate. sent3: the Kickapoo prepares plaza. sent4: that the Kickapoo is animate is not wrong if it prepares plaza. sent5: the grease-gun compromises goatherd if it animates. sent6: the fact that the grease-gun does not compromise goatherd is not incorrect if it is not animate. sent7: something compromises goatherd if it is both not inanimate and seasonable. sent8: the goatherd does animate or it is tuberous or both. sent9: something that does not animate is not custard-like. sent10: something is a kind of a Praetorian if it does compromise goatherd. sent11: if the fact that the Kickapoo is unseasonable and is a Clio is not right then it is not unseasonable. sent12: if the goatherd is tuberous or it does compromise goatherd or both then the grease-gun is not animate. sent13: the grease-gun is not tuberous. sent14: the grease-gun is custard-like if the goatherd is custard-like. sent15: if the grease-gun is not unseasonable the goatherd is both animate and custard-like. sent16: if the Kickapoo is tuberous and non-custard-like the goatherd is non-custard-like. sent17: the goatherd is a Praetorian. sent18: that the grease-gun does not wive is not incorrect. ; $proof$ = 
sent1 & sent17 -> int1: the goatherd is tuberous.; int1 -> int2: the goatherd is not non-tuberous and/or it compromises goatherd.; int2 & sent12 -> int3: the grease-gun does not animate.; sent9 -> int4: the grease-gun is not custard-like if it does not animate.; int3 & int4 -> hypothesis; __PROVED__