the fact that if that the bullock is a kind of the skinhead is right the bullock is a wryneck does not hold.
sent1: if something assays then it is a agent-in-place and is not a whitelash. sent2: something is not a kind of a strophanthin if it is a clowder. sent3: if something that is a hardback is not categoric it is a kind of a wryneck. sent4: something is a hardback that is not categoric if it is a skinhead. sent5: something does not accredit kindheartedness if it is a charge. sent6: if something is not a wryneck it is a skinhead and it is not a kind of a eosin.
sent4 -> int1: the bullock is a hardback but it is not categoric if it is a skinhead.; void -> assump1: Let's assume that the bullock is a skinhead.; int1 & assump1 -> int2: the bullock is a hardback but it is not categoric.; sent3 -> int3: if the fact that the bullock is a hardback but it is not categoric is not false then it is a wryneck.; int2 & int3 -> int4: the bullock is a wryneck.; [assump1] & int4 -> hypothesis;
the conjurer is a skinhead but it is not a eosin.
sent6 -> int5: if the conjurer is not a kind of a wryneck it is a skinhead and is not a eosin.;
$hypothesis$ = the fact that if that the bullock is a kind of the skinhead is right the bullock is a wryneck does not hold. ; $context$ = sent1: if something assays then it is a agent-in-place and is not a whitelash. sent2: something is not a kind of a strophanthin if it is a clowder. sent3: if something that is a hardback is not categoric it is a kind of a wryneck. sent4: something is a hardback that is not categoric if it is a skinhead. sent5: something does not accredit kindheartedness if it is a charge. sent6: if something is not a wryneck it is a skinhead and it is not a kind of a eosin. ; $proof$ = 
sent4 -> int1: the bullock is a hardback but it is not categoric if it is a skinhead.; void -> assump1: Let's assume that the bullock is a skinhead.; int1 & assump1 -> int2: the bullock is a hardback but it is not categoric.; sent3 -> int3: if the fact that the bullock is a hardback but it is not categoric is not false then it is a wryneck.; int2 & int3 -> int4: the bullock is a wryneck.; [assump1] & int4 -> hypothesis; __DISPROVED__