the jig is a halberd and it is a Steele.
sent1: the jig is a kind of a halberd if the Rebel is non-homeopathic and it is non-muscular. sent2: if there is something such that it is not a liverwurst the jig jams Trojan. sent3: something is a Steele if it does jam Trojan. sent4: everything is not homeopathic and it is not muscular.
sent4 -> int1: the Rebel is not homeopathic and it is not muscular.; int1 & sent1 -> int2: the jig is a halberd.; sent3 -> int3: if the jig does jam Trojan then it is a Steele.;
$hypothesis$ = the jig is a halberd and it is a Steele. ; $context$ = sent1: the jig is a kind of a halberd if the Rebel is non-homeopathic and it is non-muscular. sent2: if there is something such that it is not a liverwurst the jig jams Trojan. sent3: something is a Steele if it does jam Trojan. sent4: everything is not homeopathic and it is not muscular. ; $proof$ = 
sent4 -> int1: the Rebel is not homeopathic and it is not muscular.; int1 & sent1 -> int2: the jig is a halberd.; sent3 -> int3: if the jig does jam Trojan then it is a Steele.; __UNKNOWN__