the mohair is a cogitation if the fact that the spicemill is a fight is right.
sent1: if the spicemill is a fight the mohair is a Furnarius. sent2: something is a cogitation if the fact that it is a Furnarius is true. sent3: if something does strengthen it is both a stop and not a Furnarius. sent4: if the mohair is a fight the spicemill is a kind of a Furnarius. sent5: if something slices Exaeretodon it is cross-sectional. sent6: the spicemill is angry and it strengthens.
void -> assump1: Let's assume that the spicemill does fight.; sent1 & assump1 -> int1: the mohair is a Furnarius.; sent2 -> int2: if the mohair is a Furnarius then it is a cogitation.; int1 & int2 -> int3: the mohair is a cogitation.; [assump1] & int3 -> hypothesis;
that the spicemill is a cogitation is correct.
sent3 -> int4: if the spicemill does strengthen then it is a kind of a stop and it is not a Furnarius.; sent6 -> int5: the spicemill strengthens.; int4 & int5 -> int6: the spicemill does stop but it is not a Furnarius.; int6 -> int7: the spicemill is not a Furnarius.;
$hypothesis$ = the mohair is a cogitation if the fact that the spicemill is a fight is right. ; $context$ = sent1: if the spicemill is a fight the mohair is a Furnarius. sent2: something is a cogitation if the fact that it is a Furnarius is true. sent3: if something does strengthen it is both a stop and not a Furnarius. sent4: if the mohair is a fight the spicemill is a kind of a Furnarius. sent5: if something slices Exaeretodon it is cross-sectional. sent6: the spicemill is angry and it strengthens. ; $proof$ = 
void -> assump1: Let's assume that the spicemill does fight.; sent1 & assump1 -> int1: the mohair is a Furnarius.; sent2 -> int2: if the mohair is a Furnarius then it is a cogitation.; int1 & int2 -> int3: the mohair is a cogitation.; [assump1] & int3 -> hypothesis; __PROVED__