that the fact that the amorist is not a Haematopodidae and/or is not distant is wrong if the fact that the dispatcher is last is true does not hold.
sent1: the amorist is a brutality if the dispatcher is not a kind of a Haematopodidae and it does not last. sent2: if the dispatcher is a last then it is a brutality. sent3: if there is something such that it is a kind of a consulate then that the Jacquard is not a kind of a brutality or is not a kind of a nefazodone or both is not right. sent4: something is not distant and is not a kind of a charmer if it is a subsystem. sent5: if there exists something such that it is a kind of a consulate that the amorist is not a Haematopodidae and/or is not distant is incorrect. sent6: if the dispatcher is a brutality then it does not sensitize Cossack and it is not a nefazodone. sent7: if the fact that the dispatcher does not sensitize Cossack and it is not a nefazodone is not incorrect the Jacquard is a kind of a consulate. sent8: if the dispatcher does last the amorist is distant.
void -> assump1: Let's assume that the dispatcher lasts.; sent2 & assump1 -> int1: the dispatcher is a kind of a brutality.; int1 & sent6 -> int2: the dispatcher does not sensitize Cossack and it is not a nefazodone.; int2 & sent7 -> int3: the Jacquard is a consulate.; int3 -> int4: there exists something such that it is a consulate.; int4 & sent5 -> int5: that either the amorist is not a Haematopodidae or it is not distant or both does not hold.; [assump1] & int5 -> hypothesis;
if the strawflower is a subsystem it is not distant and is not a charmer.
sent4 -> hypothesis;
$hypothesis$ = that the fact that the amorist is not a Haematopodidae and/or is not distant is wrong if the fact that the dispatcher is last is true does not hold. ; $context$ = sent1: the amorist is a brutality if the dispatcher is not a kind of a Haematopodidae and it does not last. sent2: if the dispatcher is a last then it is a brutality. sent3: if there is something such that it is a kind of a consulate then that the Jacquard is not a kind of a brutality or is not a kind of a nefazodone or both is not right. sent4: something is not distant and is not a kind of a charmer if it is a subsystem. sent5: if there exists something such that it is a kind of a consulate that the amorist is not a Haematopodidae and/or is not distant is incorrect. sent6: if the dispatcher is a brutality then it does not sensitize Cossack and it is not a nefazodone. sent7: if the fact that the dispatcher does not sensitize Cossack and it is not a nefazodone is not incorrect the Jacquard is a kind of a consulate. sent8: if the dispatcher does last the amorist is distant. ; $proof$ = 
void -> assump1: Let's assume that the dispatcher lasts.; sent2 & assump1 -> int1: the dispatcher is a kind of a brutality.; int1 & sent6 -> int2: the dispatcher does not sensitize Cossack and it is not a nefazodone.; int2 & sent7 -> int3: the Jacquard is a consulate.; int3 -> int4: there exists something such that it is a consulate.; int4 & sent5 -> int5: that either the amorist is not a Haematopodidae or it is not distant or both does not hold.; [assump1] & int5 -> hypothesis; __DISPROVED__