the follicle does crook Dirca.
sent1: the crossbow does not cancel Swammerdam if the casuist is not a whale. sent2: if either the crossbow does not cancel Swammerdam or it is not a Fomor or both the fen is a kind of a colony. sent3: if the roper chafes or is a one-spot or both the follicle does not crook Dirca. sent4: the roper is a chafe if it is a Drambuie. sent5: the roper is a Drambuie if the fen is a kind of a colony. sent6: the casuist is not a kind of a whale.
sent1 & sent6 -> int1: the crossbow does not cancel Swammerdam.; int1 -> int2: either the crossbow does not cancel Swammerdam or it is not a Fomor or both.; int2 & sent2 -> int3: the fen is a kind of a colony.; int3 & sent5 -> int4: the roper is a Drambuie.; int4 & sent4 -> int5: the roper chafes.; int5 -> int6: the roper is a chafe or it is a kind of a one-spot or both.; int6 & sent3 -> hypothesis;
$hypothesis$ = the follicle does crook Dirca. ; $context$ = sent1: the crossbow does not cancel Swammerdam if the casuist is not a whale. sent2: if either the crossbow does not cancel Swammerdam or it is not a Fomor or both the fen is a kind of a colony. sent3: if the roper chafes or is a one-spot or both the follicle does not crook Dirca. sent4: the roper is a chafe if it is a Drambuie. sent5: the roper is a Drambuie if the fen is a kind of a colony. sent6: the casuist is not a kind of a whale. ; $proof$ = 
sent1 & sent6 -> int1: the crossbow does not cancel Swammerdam.; int1 -> int2: either the crossbow does not cancel Swammerdam or it is not a Fomor or both.; int2 & sent2 -> int3: the fen is a kind of a colony.; int3 & sent5 -> int4: the roper is a Drambuie.; int4 & sent4 -> int5: the roper chafes.; int5 -> int6: the roper is a chafe or it is a kind of a one-spot or both.; int6 & sent3 -> hypothesis; __DISPROVED__